Approximate simulation relations for hybrid systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 2, Issue PART 1, 2006, Pages 106-111

  Girard, Antoine ^a   Julius, A Agung ^a   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Approximate simulation relation; Approximation of hybrid systems

Indexed keywords

APPROXIMATE SIMULATION; APPROXIMATION OF HYBRID SYSTEMS; CONTINUOUS SYSTEM; SAFETY VERIFICATION;

HYBRID SYSTEMS;

HYBRID COMPUTERS;

EID: 79960951261     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Alur, R., T.A. Henzinger, G. Lafferriere and G.J. Pappas (2000). Discrete abstractions of hybrid systems. Proceedings of the IEEE 88, 971-984.
2. Alur, Rajeev, Costas Courcoubetis, Nicolas Halb- wachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis and Sergio Yovine (1995). The algorithmic analysis of hybrid systems.. Theor. Comput. Sci. 138(1), 3-34.
3. Clarke, E. M., O. Grumberg and D. A. Peled (2000). Model Checking. MIT Press.
4. de Alfaro, L., M. Faella and M. Stoelinga (2004). Linear and branching metrics for quantitative transition systems. In: ICALP'04. Vol. 3142 of LNCS. Springer. pp. 1150-1162.
5. Desharnais, J., V. Gupta, R. Jagadeesan and P. Panangaden (2004). Metrics for labelled markov processes. Theor. Comput. Sc. 318(3), 323-354.
6. Freeman, R. A. and P. V. Kokotovic (1996). Inverse optimality in robust stabilization. SIAM J. Control and Optimization 34(4), 1365-1391. (Pubitemid 126562718)
7. Girard, A. (2005). Reachability of uncertain linear systems using zonotopes. In: Hybrid Systems: Computation and Control. Vol. 3414 of LNCS. Springer. pp. 291-305. (Pubitemid 41252074)
8. Girard, A. and G. J. Pappas (2005a). Approximate bisimulations for constrained linear systems. In: Proc. IEEE Conference on Decision and Control and European Control Conference.
9. Girard, A. and G. J. Pappas (2005b). Approximate bisimulations for nonlinear dynamical systems. In: Proc. IEEE Conference on Decision and Control and European Control Conference.
10. Girard, A. and G. J. Pappas (2005c). Approximation metrics for discrete and continuous systems. Technical Report MS-CIS-05-10, Dept. of CIS, University of Pennsylvania.
11. Haghverdi, E., P. Tabuada and G. J. Pappas (2005). Bisimulation relations for dynamical, control, and hybrid systems. Theor. Comput. Sc. 342(2-3), 229-262.
12. Julius, A.A. (2006). Approximate abstraction of stochastic hybrid automata. In: Hybrid Systems: Computation and Control. Vol. 3927 of LNCS. Springer. pp. 318-332. (Pubitemid 44019595)
13. Julius, A.A., A. Girard and G.J. Pappas (2006). Approximate bisimulation for a class of stochastic hybrid systems. In: Proc. American Control Conference.
14. Liberzon, D., E. D. Sontag and Y. Wang (2002). Universal construction of feedback laws achieving ISS and integral-ISS disturbance attenuation. Systems and Control Letters 46, 111-127. (Pubitemid 34527093)
15. Pappas, G. J. (2003). Bisimilar linear systems. Automatica 39(12), 2035-2047.