Deciding stability and mortality of piecewise affine dynamical systems

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

Reports (Research report)

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 (Research report)

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 : Wednesday, October 26, 2022 - 8:15:25 AM

Deciding stability and mortality of piecewise affine dynamical systems

File

Identifiers

Collections

Citation

Export

Metrics

26

136

Deciding stability and mortality of piecewise affine dynamical systems

File

Identifiers

Collections

Citation

Export

Share

Metrics

26

136