Sciweavers

MFCS
2010
Springer

Robust Computations with Dynamical Systems

13 years 11 months ago
Robust Computations with Dynamical Systems
Abstract. In this paper we discuss the computational power of Lipschitz dynamical systems which are robust to infinitesimal perturbations. Whereas the study in [1] was done only for not-so-natural systems from a classical mathematical point of view (discontinuous differential equation systems, discontinuous piecewise affine 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 infinitesimal perturbations) is co-recursively enumerable for this kind of systems. Using this result we show that if robustness to infinitesimal perturbations is also required, the reachability problem becomes decidable. This result can be interpreted in the following manner: undecidability of verification doesn’t hold for Lipschitz, computable and robust systems. We also show that the p...
Olivier Bournez, Daniel S. Graça, Emmanuel
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where MFCS
Authors Olivier Bournez, Daniel S. Graça, Emmanuel Hainry
Comments (0)