Approximate simulation relations for hybrid systems

Analysis and Design of Hybrid Systems 2006

Volumn , Issue , 2006, Pages 106-111

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

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATE SIMULATION; BISIMULATION RELATIONS; CONTINUOUS SYSTEM; CONTROLLER SYNTHESIS; DISCRETE SYSTEMS; NOISY OBSERVATIONS; REAL NUMBER; SAFETY CONTROLLER; SAFETY VERIFICATION; SIMULATION RELATION;

HYBRID SYSTEMS;

EID: 34247609933     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.3182/20060607-3-it-3902.00022     Document Type: Chapter

References (15)

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