Skip to Main content Skip to Navigation
New interface

Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics

Abstract : This thesis is devoted to the problem of computing reachable sets of linear and hybrid systems. In the first part, after exposing existing approaches for reachability analysis of linear systems, we present the main contribution of the thesis: a new algorithmic scheme for linear time-invariant systems that definitely outperforms existing algorithms. As the exact implementation furnishes a representation of the reachable sets that is sometimes hard to manipulate, we propose an approximate version that is not subject to the wrapping effect, an uncontrolled growth of the approximation errors. We also discuss a variant of this algorithm specialized to support functions, a functional representation of convex sets. In the second part, we extend this work to hybrid systems. We first show how to deal with the constraints on the continuous dynamics imposed by the invariants. Then, we present algorithms for approximating the intersection of the continuous reachable sets with hyperplanar guards.
Document type :
Complete list of metadata

Cited literature [69 references]  Display  Hide  Download
Contributor : Colas Le Guernic Connect in order to contact the contributor
Submitted on : Monday, November 9, 2009 - 4:02:38 PM
Last modification on : Friday, March 25, 2022 - 11:09:17 AM
Long-term archiving on: : Saturday, November 26, 2016 - 1:15:44 PM


  • HAL Id : tel-00422569, version 2



Colas Le Guernic. Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics. Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2009. English. ⟨NNT : ⟩. ⟨tel-00422569v2⟩



Record views


Files downloads