Computing approximating automata for a class of linear hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1567, Issue , 1999, Pages 16-37

  Chutinan, Alongkrit ^a   Krogh, Bruce H ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; LINEAR SYSTEMS; MAPPING; VECTOR SPACES;

CONTINUOUS DYNAMICS; FINITE-STATE REPRESENTATIONS; FIXED-POINT COMPUTATION; FORWARD-AND-BACKWARD; INPUT-OUTPUT BEHAVIOR; LINEAR HYBRID AUTOMATA; LINEAR HYBRID SYSTEMS; VERIFICATION PROBLEMS;

AUTOMATA THEORY;

EID: 0004838133     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49163-5_2     Document Type: Conference Paper

References (11)

1. R. Alur, T. A. Henzinger, and P.-H. Ho. Automatic symbolic verification of em-bedded systems. IEEE Trans. on Software Engineering, 22(3):181-201, Mar 1996.
2. A. Chutinan and B. H. Krogh. Computing approximating automata for a class of hybrid systems. Mathematical Modeling of Systems: Special Issue on Discrete Event Models of Continuous Systems, submitted.
3. J. E. R. Cury, B. H. Krogh, and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Trans. on Automatic Control, to appear in the Special Issue on Hybrid Systems, 1997. a preliminary version of this paper also appeared in Proc. 34th IEEE CDC, pp. 1461-1466.
4. P. W. Glynn. A gsmp formalism for discrete event systems. Proceedings of the IEEE, 77(1):14-23, Jan 1989.
5. B. H. Krogh. Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems. In Proc. 1993 IEEE International Symposium on In-telligent Control, pages 180-185, Aug 1993.
6. R. P. Kurshan. Computer-Aided Verfication of Coordinating Processes. Princeton University Press, Princeton, NJ, 1994.
7. K. L. McMillan. Neuro-Dynamic Programming. Klumer, 1993.
8. T. Niinomi and B. K. Krogh. Modeling and analsyis of swithced-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, pages 155-172. Springer-Verlag, 1995.
9. T. Niinomi, B. K. Krogh, and J. E. R. Cury. Refinements of approximating automa-ta for synthesis of supervisory controllers for hybrid systems. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems III, pages 475-484. Springer-Verlag, 1996.
10. J. Raisch and S. D. O'Young. Discrete approximation and supervisory control of continuous systems. IEEE Trans. on Automatic Control, page to appear, 1998.
11. P. J. G. Ramadge and W. M. Wonham. The control of discrete event systems. Pro-ceedings of the IEEE, 77(1):81-98, Jan 1989.