Reachability analysis of linear systems using support functions

Nonlinear Analysis: Hybrid Systems

Volumn 4, Issue 2, 2010, Pages 250-262

  Le Guernic, Colas ^a   Girard, Antoine ^b  

^a VERIMAG   (France)

^b UNIV GRENOBLE ALPES   (France)

Author keywords

Computational methods; Linear systems; Reachability analysis; Support functions

Indexed keywords

CONTINUOUS-TIME LINEAR SYSTEMS; CONVEX SET; INITIAL STATE; REACHABILITY ANALYSIS; REACHABLE SET; SUPPORT FUNCTIONS; TIME INTERVAL; ZONOTOPES;

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; LINEAR SYSTEMS; SET THEORY;

CONTINUOUS TIME SYSTEMS;

EID: 77949654161     PISSN: 1751570X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.nahs.2009.03.002     Document Type: Article

References (17)

1. Clarke E., Grumberg O., and Peled D. Model Checking (2000), MIT Press
2. T. Dang, Vérification et synthèse des systèmes hybrides, Ph.D. Thesis, Institut National Polytechnique de Grenoble, 2000
3. Tomlin C., Mitchell I., Bayen A., and Oishi M. Computational techniques for the verification and control of hybrid systems. Proc. IEEE 91 7 (2003) 986-1001
4. Bemporad A., and Morari M. Verification of hybrid systems via mathematical programming. Hybrid Systems: Computation and Control. LNCS vol. 1569 (1999), Springer 31-45
5. Chutinan A., and Krogh B. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. Hybrid Systems: Computation and Control. LNCS vol. 1569 (1999), Springer 76-90
6. Asarin E., Dang T., Maler O., and Bournez O. Approximate reachability analysis of piecewise-linear dynamical systems. Hybrid Systems: Computation and Control. LNCS vol. 1790 (2000), Springer 20-31
7. Kurzhanski A., and Varaiya P. Ellipsoidal techniques for reachability analysis. Hybrid Systems: Computation and Control. LNCS vol. 1790 (2000), Springer 202-214
8. Mitchell I., and Tomlin C. Level set methods for computation in hybrid systems. Hybrid Systems: Computation and Control. LNCS vol. 1790 (2000), Springer 310-323
9. P. Varaiya, Reach set computation using optimal control, in: Proc. KIT Workshop on Verification of Hybrid Systems, Verimag, Grenoble, 1998
10. Girard A. Reachability of uncertain linear systems using zonotopes. Hybrid Systems: Computation and Control. LNCS vol. 3414 (2005), Springer 291-305
11. Girard A., Le Guernic C., and Maler O. Efficient computation of reachable sets of linear time-invariant systems with inputs. Hybrid Systems: Computation and Control. LNCS vol. 3927 (2006), Springer 257-271
12. Kurzhanskiy A., and Varaiya P. Ellipsoidal techniques for reachability analysis of discrete time linear systems. IEEE Trans. Automat. Control 52 1 (2007) 26-38
13. A. Girard, C. Le Guernic, Efficient reachability analysis for linear systems using support functions, in: IFAC World Congress, 2008
14. Bertsekas D., Nedic A., and Ozdaglar A. Convex Analysis and Optimization (2003), Athena Scientific
15. Boyd S., and Vandenberghe L. Convex Optimization (2004), Cambridge University Press
16. Rockafellar R., and Wets R. Variatianal Analysis (1998), Springer
17. Z. Han, Formal verification of hybrid systems using model order reduction and decomposition, Ph.D. Thesis, Department of ECE, Carnegie Mellon University, 2005