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.

Mots-clés : Stabilité Décidabilité Mortalité Systèmes Linéaires par Morceaux Systèmes Hybrides Systèmes Affines par Morceaux Sytèmes Dynamiques

Document type :

Reports

Domain :

Computer Science [cs]

Complete list of metadatas

https://hal-lara.archives-ouvertes.fr/hal-02101802
Contributor : Colette Orange <>
Submitted on : Wednesday, April 17, 2019 - 9:06:39 AM
Last modification on : Thursday, November 21, 2019 - 2:38:42 AM

RR1999-05.pdf

Files produced by the author(s)

Deciding stability and mortality of piecewise affine dynamical systems

File

Identifiers

Collections

Citation

Export

Metrics

43

109

Deciding stability and mortality of piecewise affine dynamical systems

File

Identifiers

Collections

Citation

Export

Share

Metrics

43

109