Wednesday, April 23, 2014

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía


Robust computations with dynamical systems

1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario
    registrado en Universia

  Descargar recurso   Descargar recurso

Detalles del recurso

Pertenece a: Sapientia Repositório Institucional Universidade do Algarve  

Descripción: In this paper we discuss the computational power of Lipschitz dynamical systems which are robust to in nitesimal perturbations. Whereas the study in [1] was done only for not-so-natural systems from a classical mathematical point of view (discontinuous di erential equation systems, discontinuous piecewise a ne maps, or perturbed Turing machines), we prove that the results presented there can be generalized to Lipschitz and computable dynamical systems. In other words, we prove that the perturbed reachability problem (i.e. the reachability problem for systems which are subjected to in nitesimal perturbations) is co-recursively enumerable for this kind of systems. Using this result we show that if robustness to in nitesimal perturbations is also required, the reachability problem becomes decidable. This result can be interpreted in the following manner: undecidability of veri cation doesn't hold for Lipschitz, computable and robust systems. We also show that the perturbed reachability problem is co-r.e. complete even for C1-systems.

Autor(es): Bournez, Olivier -  Graça, Daniel -  Hainry, Emmanuel - 

Id.: 55204972

Idioma: eng  - 

Versión: 1.0

Estado: Final

Palabras claveVeri cation - 

Tipo de recurso: bookPart  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: openAccess

Requerimientos técnicos:  Browser: Any - 

Relación: [References] Lecture Notes in Computer Science ARCoSS (Advanced Research in Computing and Software Science);6281
[References] http://www.springerlink.com/content/pux2120952u4207t/

Fecha de contribución: 05-dic-2013

Contacto:

Localización:


Otros recursos del mismo autor(es)

  1. LIX Nom de l’unité:
  2. Some bounds on the computational power of Piecewise Constant Derivative systems. We study the computational power of Piecewise Constant Derivative (PCD) systems. PCD systems are dy...
  3. Non-computability, unpredictability, and financial markets One of the most significant achievements from theoretical computer science was to show that there ar...
  4. Effective computability of solutions of ordinary differential equations: the thousand monkeys approach In this note we consider the computability of the solution of the initial- value problem for ordinar...
  5. Effective computability of solutions of ordinary differential equations: the thousand monkeys approach In this note we consider the computability of the solution of the initial- value problem for ordinar...

Otros recursos de la misma colección

  1. Negociação de significados no 1.º ano de escolaridade: conceitos e processos matemáticos Este artigo discute o papel da negociação de significados na definição de conceitos e processos mate...
  2. Uma tarefa de investigação em organização e tratamento de dados no 1.º ciclo: realização da tarefa e reflexão da professora Esta comunicação procura compreender a forma como uma professora do 1.º ciclo conduz os alunos na re...
  3. Comunicação no ensino-aprendizagem da matemática: práticas no 1.º ciclo do ensino básico O presente estudo analisa a evolução das conceções e práticas de comunicação matemática do professor...
  4. Sobre a necessidade de consideração da componente vibração em projetos onde não é normalmente considerada As componentes que são normalmente consideradas nas Avaliações de Impacte Ambiental, para um determi...
  5. Functional modifications associated with gastrointestinal tract organogenesis during metamorphosis in Atlantic halibut (Hippoglossus hippoglossus) Background: Flatfish metamorphosis is a hormone regulated post-embryonic developmental event that tr...

Valoración de los usuarios

No hay ninguna valoración para este recurso.Sea el primero en valorar este recurso.
 

Busque un recurso