Deciding stability and mortality of piecewise affine dynamical systems

Vincent Blondel; Olivier Bournez; Pascal Koiran; Christos Papadimitriou; John Tsitsiklis

Reports

Deciding stability and mortality of piecewise affine dynamical systems

Vincent Blondel ¹ Olivier Bournez ¹ Pascal Koiran ¹ Christos Papadimitriou ¹ John Tsitsiklis ¹

1 LIP - Laboratoire de l'Informatique du Parallélisme

Abstract : We show that several global properties (attractivity, global asymptotic stability and mortality) of discrete time dynamical systems defined by iteration of piecewise-affine maps are undecidable. Such results had been known only for local properties (e.g., point-to-point reachability). These three properties are undecidable in dimension at least two, but turn out to be decidable in one dimension for continuous maps.

Keywords : Stability Mortality Piecewise Affine Systems Piecewise Linear Systems Hybrid Systems Dynamical Systems Decidability

Document type :

Reports

Domain :

Computer Science [cs]

Complete list of metadata

https://hal-lara.archives-ouvertes.fr/hal-02101802
Contributor : Colette ORANGE Connect in order to contact the contributor
Submitted on : Wednesday, April 17, 2019 - 9:06:39 AM
Last modification on : Friday, May 13, 2022 - 10:18:05 PM

Deciding stability and mortality of piecewise affine dynamical systems

File

Identifiers

Collections

Citation

Export

Metrics

23

121

Deciding stability and mortality of piecewise affine dynamical systems

File

Identifiers

Collections

Citation

Export

Share

Metrics

23

121