Measuring robustness of dynamical systems. Relating time and space to length and precision

by   Manon Blanc, et al.

Verification of discrete time or continuous time dynamical systems over the reals is known to be undecidable. It is however known that undecidability does not hold for various classes of systems: if robustness is defined as the fact that reachability relation is stable under infinitesimal perturbation, then their reachability relation is decidable. In other words, undecidability implies sensitivity under infinitesimal perturbation, a property usually not expected in systems considered in practice, and hence can be seen (somehow informally) as an artefact of the theory, that always assumes exactness. In a similar vein, it is known that, while undecidability holds for logical formulas over the reals, it does not hold when considering delta-undecidability: one must determine whether a property is true, or δ-far from being true. We first extend the previous statements to a theory for general (discrete time, continuous-time, and even hybrid) dynamical systems, and we relate the two approaches. We also relate robustness to some geometric properties of reachability relation. But mainly, when a system is robust, it then makes sense to quantify at which level of perturbation. We prove that assuming robustness to polynomial perturbations on precision leads to reachability verifiable in complexity class PSPACE, and even to a characterization of this complexity class. We prove that assuming robustness to polynomial perturbations on time or length of trajectories leads to similar statements, but with PTIME. It has been recently unexpectedly shown that the length of a solution of a polynomial ordinary differential equation corresponds to a time of computation: PTIME corresponds to solutions of polynomial differential equations of polynomial length. Our results argue that the answer is given by precision: space corresponds to the involved precision.


The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems

We study fundamental reachability problems on pseudo-orbits of linear dy...

Reachability Analysis of a General Class of Neural Ordinary Differential Equations

Continuous deep learning models, referred to as Neural Ordinary Differen...

Reachability in Dynamical Systems with Rounding

We consider reachability in dynamical systems with discrete linear updat...

Characterising Robust Instances of Ultimate Positivity for Linear Dynamical Systems

Linear Dynamical Systems, both discrete and continuous, are invaluable m...

Polynomial time computable functions over the reals characterized using discrete ordinary differential equations

The class of functions from the integers to the integers computable in p...

Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis

Hybrid systems are complex dynamical systems that combine discrete and c...

Robust Invariant Sets Computation for Switched Discrete-Time Polynomial Systems

In this paper we systematically study the (maximal) robust invariant set...

Please sign up or login with your details

Forgot password? Click here to reset