A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems

Abstract : Reachability analysis of nonlinear uncertain hybrid systems, i.e., continuous-discrete dynamical systems whose continuous dynamics, guard sets and reset functions are defined by nonlinear functions, can be decomposed in three algorithmic steps: computing the reachable set when the system is in a given operation mode, computing the discrete transitions, i.e., detecting and localizing when (and where) the continuous flowpipe intersects the guard sets, and aggregating the multiple trajectories that result from an uncertain transition once the whole flow-pipe has transitioned so that the algorithm can resume. This paper proposes a comprehensive method that provides a nicely integrated solution to the hybrid reachability problem. At the core of the method is the concept of MSPB, i.e., geometrical object obtained as the Minkowski sum of a parallelotope and an axes aligned box. MSPB are a way to control the over-approximation of the Taylor's interval integration method. As they happen to be a specific type of zonotope, they articulate perfectly with the zonotope bounding method that we propose to enclose in an optimal way the set of flowpipe trajectories generated by the transition process. The method is evaluated both theoretically by analyzing its complexity and empirically by applying it to well-chosen hybrid nonlinear examples.
Complete list of metadatas

Cited literature [70 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01650701
Contributor : Christophe Combastel <>
Submitted on : Sunday, December 10, 2017 - 1:21:50 PM
Last modification on : Saturday, October 26, 2019 - 1:31:18 AM

File

IEEE_TAC_postprint.pdf
Files produced by the author(s)

Identifiers

Citation

Moussa Maiga, Nacim Ramdani, Louise Travé-Massuyès, Christophe Combastel. A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (9), pp.2341-2356. ⟨10.1109/tac.2015.2491740⟩. ⟨hal-01650701⟩

Share

Metrics

Record views

419

Files downloads

454