Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon

Résumé

We propose a numerical analysis of sequences of points of interest associated to the dynamics of hybrid systems. These sequences are made of instants of switching mode or instants when a particular quantity vanishes. This analysis allows one to discover instant of accumulation points, a.k.a. Zeno phenomenon. Some examples are given to show the potential of this approach.
Fichier non déposé

Dates et versions

hal-01383584 , version 1 (18-10-2016)

Identifiants

Citer

Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. International Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩. ⟨hal-01383584⟩
73 Consultations
0 Téléchargements

Altmetric

Partager

More