Approximate bisimulation relations for constrained linear systems

Automatica

Volumn 43, Issue 8, 2007, Pages 1307-1317

  Girard, Antoine ^a   Pappas, George J ^b  

^a UNIV GRENOBLE ALPES   (France)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Abstractions; Approximation; Bisimulation; Lyapunov techniques; Safety

Indexed keywords

COMPUTATIONAL EFFICIENCY; COMPUTER SIMULATION; LINEAR MATRIX INEQUALITIES; LYAPUNOV FUNCTIONS; MATLAB; SECURITY SYSTEMS;

ABSTRACTIONS; BISIMULATION FUNCTIONS; CONSTRAINED LINEAR SYSTEMS; LYAPUNOV TECHNIQUES; SAFETY VERIFICATION;

LINEAR SYSTEMS;

EID: 34347343847     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2007.01.019     Document Type: Article

References (28)

1. Angeli D. A Lyapunov approach to incremental stability properties. IEEE Transactions on Automatic Control 47 (2002) 410-422
2. Antoulas A.C., Sorensen D.C., and Gugercin S. A survey of model reduction methods for large-scale systems. Contemporary Mathematics 280 (2000) 193-219
3. Asarin, E., Bournez, O., Dang, T., & Maler, O. (2000). Approximate reachability analysis of piecewise linear dynamical systems, In HSCC, Lecture Notes in Computer Science (Vol. 1790) (pp. 21-31). Berlin: Springer.
4. Aubin, J. P. (1991). Viability Theory. Birkhauser, 1991.
5. Chutinan, A., & Krogh, B. H. (1999). Verification of polyhedral invariant hybrid automata using polygonal flow pipe approximations. In HSCC, Lecture Notes in Computer Science (Vol. 1569) (pp. 76-90). Berlin: Springer.
6. Clarke E.M., Grumberg O., and Peled D.A. Model checking (2000), MIT Press, Cambridge, MA
7. de Alfaro, L., Faella, M., & Stoelinga, M. (2004). Linear and branching metrics for quantitative transition systems. In ICALP'04, Lecture Notes in Computer Science (Vol. 3142): (pp. 1150-1162). Berlin: Springer.
8. Desharnais J., Gupta V., Jagadeesan R., and Panangaden P. Metrics for labelled markov processes. Theoretical Computer Science 318 3 (2004) 323-354
9. Freeman R.A., and Kokotovic P.V. Inverse optimality in robust stabilization. SIAM Journal on Control and Optimization 34 4 (1996) 1365-1391
10. Girard, A. (2005). Reachability of uncertain linear systems using zonotopes. In HSCC, Lecture Notes in Computer Science (Vol. 3414) (pp. 291-305). Berlin: Springer.
11. Girard, A., Julius, A. A., & Pappas, G. J. MATISSE (2005). 〈http://www.seas.upenn.edu/~agirard/Software/MATISSE/〉
12. Girard, A., & Pappas, G. J. (2005a). Approximate bisimulations for constrained linear systems. In Proceedings of CDC and ECC (pp. 4700-4705).
13. Girard, A., & Pappas, G. J. (2005b). Approximate bisimulations for nonlinear dynamical systems. In Proceedings of CDC and ECC (pp. 684-689).
14. Girard A., and Pappas G.J. Approximation metrics for discrete and continuous systems. IEEE Transaction on Automatic Control 52 5 (2007) 782-793
15. Haghverdi E., Tabuada P., and Pappas G.J. Bisimulation relations for dynamical, control, and hybrid systems. Theoretical Computer Science 342 2-3 (2005) 229-261
16. Han, Z., & Krogh, B. H. (2006). Reachability analysis of large-scale affine systems using low-dimensional polytopes. In HSCC, Lecture Notes in Computer Science (Vol. 3927) (pp. 287-301). Berlin: Springer.
17. Kurzhanski, A., & Varaiya, P. (2000). Ellipsoidal techniques for reachability analysis. In HSCC, Lecture Notes in Computer Science (Vol. 1790) Berlin: Springer.
18. Kvasnica, M., Grieder, P., & Baotić, M. (2004). Multi-parametric toolbox (MPT). 〈http://control.ee.ethz.ch/~mpt/〉.
19. Löfberg, J. (2004). YALMIP: a toolbox for modeling and optimization in MATLAB. In Proceedings of CACSD〈 http://control.ee.ethz.ch/~joloef/yalmip.php〉.
20. Mitchell, I., & Tomlin, C. (2000). Level set methods for computation in hybrid systems. In HSCC, Lecture Notes in Computer Science (Vol. 1790) Berlin: Springer.
21. Pappas G.J. Bisimilar linear systems. Automatica 39 12 (2003) 2035-2047
22. Pola, G., van der Schaft, A. J., & Di Benedetto, M. D. (2004). Bisimulation theory for switching linear systems. In Proceedings of CDC (pp. 555-569).
23. Sastry S. Nonlinear systems: analysis, stability and control (1999), Springer, Berlin
24. Sontag E., and Wang Y. Lyapunov characterizations of input to output stability. SIAM Journal on Control and Optimization 39 (2001) 226-249
25. Sturm J.F. Using SEDUMI 1.02, a MATLAB toolbox for optimization over symmetric cones. Optimization Methods and Softwares 11-12 (1999) 625-653
26. van der Schaft A. Equivalence of dynamical systems by bisimulation. IEEE Transactions on Automatic Control 49 12 (2004) 2160-2172
27. Wonham W.M. Linear multivariable control: a geometric approach (1979), Springer, Berlin
28. Yazarel, H., & Pappas, G. J. (2004). Geometric programming relaxations for linear system reachability. In Proceedings of ACC.