Computing Approximating Automata for a Class of Hybrid Systems

Mathematical and Computer Modelling of Dynamical Systems

Volumn 6, Issue 1, 2000, Pages 30-50

  Chutinan, Alongkrit ^a   Krogh, Bruce H ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Approximation; Automata; Formal languages; Hybrid systems; Verification

Indexed keywords

EID: 0034423496     PISSN: 13873954     EISSN: None     Source Type: Journal    
DOI: 10.1076/1387-3954(200003)6:1;1-Q;FT030     Document Type: Article

References (14)

1. Alur, R., Henzinger, T.A. and Ho, P.-H.: Automatic symbolic verification of embedded systems. IEEE Trans. on Software Engineering, 22(3): 181-201, 1996.
2. Chutinan, A. and Krogh, B.H.: Computing approximating automata for a class of linear hybrid systems. In Hybrid Systems V, Lecture Notes in Computer Science. Springer-Verlag, 1998.
3. Chutinan, A. and Krogh, B.H.: Computing polyhedral approximations to dynamic flow pipes. In Proc. 37th IEEE Conf. On Decision and Control, Dec 1998.
4. Clarke, E., Grumberg, O. and Long, D.: Verification tools for finite-state concurrent systems. In Proceedings of A Decade of Concurrency: Reflections and Perspectives, pp. 124-75, REX School/Symposium, Noordwijkerhout, The Netherlands, 1-4 June 1993. Springer-Verlag, Berlin, Germany, 1994.
5. Cury, J.E.R., Krogh, B.H. and Niinomi, T.: Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Trans. on Automatic Control, 43(4): 564-569, Apr 1998. a preliminary version of this paper also appeared in Proc. 34th IEEE CDC, pp. 1461-1466.
6. Cury, J.E.R., Krogh, B.H. and Niinomi, T.: Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Trans. on Automatic Control, 43(4): 564-569, Apr 1998. a preliminary version of this paper also appeared in Proc. 34th IEEE CDC, pp. 1461-1466.
7. Henzinger, T.A., Ho, P.-H. and Wong-Toi, H.: Algorithmic analysis of nonlinear hybrid systems. IEEE Trans. on Automatic Control, 43(4): 540-554, 1998.
8. Kurshan, R.P.: Computer-Aided Verification of Coordinating Processes. Princeton University Press, 1994.
9. Lafferriere, G., Pappas, G.J. and Sastry, S.: Hybrid systems with finite bisimulations. Technical Report UCB/ERL M98/15, University of California at Berkeley, 1998.
10. Niinomi, T. and Krogh, B.H.: Modeling and analysis of switched-mode hybrid systems driven by threshold events. In H. Khalil, J. Chow, and P.A. Ioannou, editors, Proc. of Workshop on Advances in Control Systems and its Applications, pp. 155-172. Springer-Verlag, 1995.
11. Niinomi, T., Krogh, B.H. and Cury, J.E.R.: Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems. In R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Hybrid Systems III, pp. 475-484. Springer-Verlag, 1996.
12. Puri, A., Varaiya, P. and Borkar, V.: Hybrid Systems III: Verification and Control, chapter ∈ -Approximation of Differential Inclusions, pp. 362-372. Lecture Notes in Computer Science. Springer, 1996.
13. Ramadge, P.J. and Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE, 77(1): 81-98, 1989.
14. Sreenivas, R.S. and Krogh, B.H.: On condition/event systems with discrete state realizations. Discrete Event Dynamic Systems: Theory and Applications, 1: 209-236, 1991.