Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation

Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support

Abstract : In model based design, one constructs a mathematical model of the system and uses it to design the system so that it exhibits the desired properties. For safety critical systems, it can be of utmost importance to verify these safety properties on the model, e.g., to account for parameter variations. Computing a finite number of system behaviors via simulation is not sufficient to guarantee safety properties. With a reachability analysis one can compute a cover of all possible system behaviors, potentially infinite, accounting for any non-determinism in the model, and with which one can guarantee safety properties. Systems of interest often exhibit both continuous and discrete behavior and such systems are called hybrid systems. Reachability computation is considered hard for continuous and hybrid systems. Only recently, scalable methods for reachability computation have been developed based on implicit set representations using the mathematical construct of support functions. In this thesis, we develop an extendable tool called SpaceEx for reachability of hybrid systems. Two reachability algorithms have been implemented in SpaceEx, one based on the PHAVer tool for linear hybrid automata and the other based on support functions for piecewise affine dynamics. The support function based algorithm has been tuned and its scalability has been improved by switching set representations. We propose an improved image computation algorithm for discrete transition that further reduces the over-approximation error and illustrate its accuracy and efficiency with several case studies.
Document type :
Complete list of metadata

Cited literature [51 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Thursday, December 20, 2012 - 5:12:48 PM
Last modification on : Friday, March 25, 2022 - 9:43:52 AM
Long-term archiving on: : Thursday, March 21, 2013 - 3:50:53 AM


Version validated by the jury (STAR)


  • HAL Id : tel-00768033, version 1



Rajarshi Ray. Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support. Autre [cs.OH]. Université de Grenoble, 2012. Français. ⟨NNT : 2012GRENM021⟩. ⟨tel-00768033⟩



Record views


Files downloads