Approximate simulation relations for hybrid systems

Discrete Event Dynamic Systems: Theory and Applications

Volumn 18, Issue 2, 2008, Pages 163-179

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

^a UNIV GRENOBLE ALPES   (France)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Abstractions; Approximate simulation relation; Approximation; Hybrid systems

Indexed keywords

ABSTRACTING; ALGORITHMS; APPROXIMATION THEORY; COMPUTATION THEORY;

APPROXIMATE SIMULATION RELATION; HYBRID SYSTEMS; REACHABILITY ANALYSIS;

DISCRETE EVENT SIMULATION;

EID: 43149107467     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-007-0029-9     Document Type: Article

References (22)

1. de Alfaro L, Faella M, Stoelinga M (2004) Linear and branching metrics for quantitative transition systems, ICALP'04, LNCS, vol 3142. Springer, pp 1150-1162
2. Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho P-H, Nicollin X, Olivero A, Sifakis J, Yovine S (1995) The algorithmic analysis of hybrid systems. Theor Comput Sci 138(1):3-34
3. Alur R, Henzinger TA, Lafferriere G, Pappas GJ (2000) Discrete abstractions of hybrid systems. In: Proceedings of the IEEE, vol 88(7), pp 971-984
4. Belta C, Isler V, Pappas GJ (2005) Discrete abstractions for robot planning and control in polygonal environments. IEEE Trans on Robotics 21(5):864-874
5. Clarke EM, Grumberg O, Peled DA (2000) Model checking. MIT Press
6. Desharnais J, Gupta V, Jagadeesan R, Panangaden P (2004) Metrics for labelled Markov processes. Theor Comput Sci 318(3):323-354
7. Fainekos GE, Girard A, Pappas GJ (2007) Hierarchical synthesis of hybrid controllers from temporal logic specifications. Hybrid systems: computation and control, LNCS, vol 4416. Springer, pp 203-216
8. Freeman RA, Kokotovic PV (1996) Inverse optimality in robust stabilization. SIAM J Control Optim 34(4):1365-1391
9. Frehse G (2005) PHAVer: algorithmic verification of hybrid systems past hyTech. Hybrid systems: computation and control, LNCS, vol 3414. Springer, pp 258-273
10. Girard A, Pappas GJ (2007a) Approximation metrics for discrete and continuous systems. IEEE Trans Autom Control 52(5):782-798
11. Girard A, Pappas GJ (2007b) Approximation bisimulation relations for constrained linear systems. Automatica 43(8):1307-1317
12. Girard A, Pappas GJ (2005) Approximate bisimulations for nonlinear dynamical systems. In: Proc. IEEE Conference on Decision and Control and European Control Conference. IEEE, pp 684-689, December
13. Haghverdi E, Tabuada P, Pappas GJ (2005) Bisimulation relations for dynamical, control, and hybrid systems. Theor Comput Sci 342(2-3):229-262
14. Julius AA (2006) Approximate abstraction of stochastic hybrid automata. Hybrid systems: computation and control, LNCS, vol 3927. Springer, pp 318-332
15. Julius AA, Girard A, Pappas GJ (2006) Approximate bisimulation for a class of stochastic hybrid systems. In: Proc American Control Conference
16. Liberzon D, Sontag ED, Wang Y (2002) Universal construction of feedback laws achieving ISS and integral-ISS disturbance attenuation. Syst Control Lett 46:111-127
17. Milner R (1989) Communication and concurrency. Prentice-Hall
18. Pappas GJ (2003) Bisimilar linear systems. Automatica 39(12):2035-2047
19. Pola G, van der Schaft AJ, Di Benedetto MD (2004) Bisimulation theory for switching linear systems. In: Proc of the 43rd IEEE Conference on Decision and Control
20. Prajna S, Papachristodoulou A, Seiler P, Parrilo PA (2005) SOSTOOLS and its control applications. Positive Polynomials in Control. Springer
21. Tabuada P (2007) Symbolic models for control systems. Acta Informatica 43(7):477-500
22. van der Schaft A (2004) Equivalence of dynamical systems by bisimulation. IEEE Trans Autom Control 49(12):2160-2172