What Will Be Eventually True of Polynomial Hybrid Automata?
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Elementarily computable functions over the real numbers and R-sub-recursive functions
Theoretical Computer Science - Automata, languages and programming: Algorithms and complexity (ICALP-A 2004)
Continuity and computability of reachable sets
Theoretical Computer Science
A note on discreteness and virtuality in analog computing
Theoretical Computer Science
Decidability and Universality in Symbolic Dynamical Systems
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Robust safety of timed automata
Formal Methods in System Design
Robust computations with dynamical systems
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Noise vs computational intractability in dynamics
Proceedings of the 3rd Innovations in Theoretical Computer Science Conference
Turing universality in dynamical systems
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Safety verification of non-linear hybrid systems is quasi-semidecidable
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Computational universality in symbolic dynamical systems
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Real recursive functions and real extensions of recursive functions
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
A robust interpretation of duration calculus
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Delta-Decidability over the Reals
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Decidability and Universality in Symbolic Dynamical Systems
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Undecidability of quantized state feedback control for discrete time linear hybrid systems
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Computation with perturbed dynamical systems
Journal of Computer and System Sciences
Robust weighted timed automata and games
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
Safety verification of non-linear hybrid systems is quasi-decidable
Formal Methods in System Design
Hi-index | 0.00 |
Abstract: We investigate the computational power of several models of dynamical systems under infinitesimal perturbations of their dynamics. We consider in our study models for discrete and continuous time dynamical systems: Turing machines, Piecewise affine maps, Linear hybrid automata and Piecewise constant derivative systems (a simple model of hybrid systems). We associate with each of these models a notion of perturbed dynamics by a small varepsilon (w.r.t. to a suitable metrics), and define the perturbed reachability relation as the intersection of all reachability relations obtained by varepsilon-perturbations, for all possible values of varepsilon. We show that for the four kinds of models we consider, the perturbed reachability relation is co-recursively enumerable, and that any co-r.e. relation can be defined as the perturbed reachability relation of such models. A corollary of this result is that systems that are robust, i.e., their reachability relation is stable under infinitesimal perturbation, are decidable.