Approximate bisimulations for nonlinear dynamical systems

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 684-689

  Girard, Antoine ^a   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BISIMULATION EQUIVALENCE; DISCRETE SYSTEMS; HYBRID SYSTEMS; NONDETERMINISTIC SYSTEMS;

APPROXIMATION THEORY; COMPUTATIONAL METHODS; COMPUTER AIDED ANALYSIS; FUNCTION EVALUATION; LYAPUNOV METHODS;

NONLINEAR CONTROL SYSTEMS;

EID: 33847239948     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1582235     Document Type: Conference Paper

References (23)

1. E. Asarin, T. Dang, and A. Girard, "Reachability of non-linear systems using conservative approximations," in Hybrid Systems: Computation and Control, ser. LNCS, vol. 2623. Springer, 2003, pp. 22-35.
2. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. MIT Press, 2000.
3. L. de Alfaro, M. Faella, and M. Stoelinga, "Linear and branching metrics for quantitative transition systems," in ICALP'04, ser. LNCS, vol. 3142. Springer, 2004, pp. 1150-1162.
4. J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden, "Metrics for labelled markov processes," Theoretical Computer Science, vol. 318, no. 3, pp. 323-354, June 2004.
5. R. A. Freeman and P. V. Kokotovic, "Inverse optimality in robust stabilization," SIAM J. Control and Optimization, vol. 34, no. 4, pp. 1365-1391, July 1996.
6. A. Girard, "Reachability of uncertain linear systems using zonotopes," in Hybrid Systems: Computation and Control, ser. LNCS, vol. 3414. Springer, 2005, pp. 291-305.
7. A. Girard and G. J. Pappas, "Approximate bisimulations for constrained linear systems," in Proc. 44th IEEE Conference on Decision and Control and European Control Conference, December 2005.
8. _, "Approximation metrics for discrete and continuous systems," May 2005, technical Report MS-CIS-05-10, Dept. of CIS, University of Pennsylvania.
9. E. Haghverdi, P. Tabuada, and G. J. Pappas, "Bisimulation relations for dynamical, control, and hybrid systems," Theoretical Computer Science, vol. 342, pp. 229-261, 2005.
10. Z. Han and B. H. Krogh, "Reachability of hybrid control systems using reduced-order models," in Proc. American Control Conference, Boston, MA, July 2004.
11. S. Lall, J. E. Marsden, and S. Glavaski, "A subspace approach to balanced truncation for model reduction of nonlinear control systems," International Journal on Robust and Nonlinear Control, vol. 12, no. 5, pp. 519-535, 2002.
12. D. Liberzon, E. D. Sontag, and Y. Wang, "Universal construction of feedback laws achieving ISS and integral-ISS disturbance attenuation," Systems and Control Letters, vol. 46, pp. 111-127, 2002.
13. I. Mitchell and C. Tomlin, "Level set methods for computation in hybrid systems," in Hybrid Systems: Computation and Control, ser. LNCS, vol. 1790. Springer, 2000.
14. A. Papachristodoulou and S. Prajna, "On the construction of Lyapunov functions using the sum of squares decomposition," in Proc. 41st IEEE Conference on Decision and Control, December 2002.
15. G. J. Pappas, "Bisimilar linear systems," Automatica, vol. 39, no. 12, pp. 2035-2047, December 2003.
16. P. A. Parrilo, "Structured semideflnite programs and semialgebraic methods in robustness and optimization," Ph.D. dissertation, California Institute of Technology, Pasadena, CA, 2000.
17. S. Prajna, A. Papachristodoulou, P. Seiler, and P. A. Parrilo. (2004) SOSTOOLS, sum of squares optimization toolbox for MATLAB. User's guide. [Online]. Available: http://www.cds.caltech/edu/sostools
18. _, "SOSTOOLS and its control applications," in Positive Polynomials in Control. Springer, 2005, to appear.
19. J. F. Sturm, "Using SEDUMI 1.02, a MATLAB toolbox for optimization over symmetric cones," Optimization Methods and Softwares, vol. 11-12, pp. 625-653, 1999.
20. P. Tabuada and G. J. Pappas, "Bisimilar control affine systems," Systems and Control Letters, vol. 52, pp. 49-58, 2004.
21. K. C. Toh, R. H. Tutuncu, and M. J. Todd. SDPT3 - a MATLAB software package for semidefinite quadratic linear programming. [Online]. Available: http://www.math.nus.edu.sg/~mattohkc/sdpt3.html
22. A. van der Schaft, "Equivalence of dynamical systems by bisimulation," IEEE Trans. Automatic Control, vol. 49, pp. 2160-2172, 2004.
23. H. Yazarel and G. J. Pappas, "Geometric programming relaxations for linear system reachability," in Proc. American Control Conference, Boston, MA, June 2004.