Recent progress in continuous and hybrid reachability analysis

Abstract : Set-based reachability analysis computes all possible states a system may attain, and in this sense provides knowledge about the system with a completeness, or coverage, that a finite number of simulation runs can not deliver. Due to its inherent complexity, the application of reachability analysis has been limited so far to simple systems, both in the continuous and the hybrid domain. In this paper we present recent advances that, in combination, significantly improve this applicability, and allow us to find better balance between computational cost and accuracy. The presentation covers, in a unified manner, a variety of methods handling increasingly complex types of continuous dynamics (constant derivative, linear, nonlinear). The improvements include new geometrical objects for representing sets, new approximation schemes, and more flexible combinations of graph-search algorithm and partition refinement. We report briefly some preliminary experiments that have enabled the analysis of systems previously beyond reach.
Type de document :
Communication dans un congrès
IEEE International Symposium on Computer-Aided Control Systems Design 2006, Oct 2006, Munich, Germany. IEEE, pp.1582 - 1587, 2006, 〈10.1109/CACSD-CCA-ISIC.2006.4776877〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00307031
Contributeur : Antoine Girard <>
Soumis le : lundi 28 juillet 2008 - 17:28:35
Dernière modification le : jeudi 11 janvier 2018 - 06:17:41

Identifiants

Collections

Citation

Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, et al.. Recent progress in continuous and hybrid reachability analysis. IEEE International Symposium on Computer-Aided Control Systems Design 2006, Oct 2006, Munich, Germany. IEEE, pp.1582 - 1587, 2006, 〈10.1109/CACSD-CCA-ISIC.2006.4776877〉. 〈hal-00307031〉

Partager

Métriques

Consultations de la notice

137