Hybrid control loops, A/D maps, and dynamic specifications

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

Volumn 2289, Issue , 2002, Pages 149-163

  Davoren, J M ^a   Moor, T ^a   Nerode, A ^b  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

^b Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FEEDBACK; HYBRID SYSTEMS; INTERFACE STATES;

CLOSED FEEDBACK LOOP; CONTINUOUS PLANT; DYNAMIC SPECIFICATIONS; FINITE STATE CONTROL; GENERAL DYNAMICS; HYBRID CONTROLS; SUPERVISORY CONTROLLERS; SYNTHESIS PROBLEMS;

SPECIFICATIONS;

EID: 33846683128     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45873-5_14     Document Type: Conference Paper

References (17)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
2. R. Alur, T.A. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971–984, July 2000.
3. J-P. Aubin and H. Frankowska. Set-Valued Analysis. Birkhäuser, Boston, 1990.
4. J. M. Davoren and T. Moor. Logic-based design and synthesis of controllers for hybrid systems. Technical report, RSISE, Australian National University, July 2000. Submitted for publication.
5. J.M. Davoren and A. Nerode. Logics for hybrid systems. Proceedings of the IEEE, 88:985–1010, July 2000.
6. B. A. Krogh J. E. R. Cury and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control, Special issue on hybrid systems, 43:564–568, 1998.
7. X. Koutsoukos, P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon. Supervisory control of hybrid systems. Proceedings of the IEEE, 88:1026–1049, July 2000.
8. K. Kuratowski. Topology, volume 1. Academic Press, New York, 1966.
9. T. Moor and J. M. Davoren. Robust controller synthesis for hybrid systems using modal logic. In M. D. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control (HSCC’01), volume 2034 of LNCS, pages 433–446. Springer-Verlag, 2001.
10. T. Moor and J. Raisch. Supervisory control of hybrid systems within a behavioural framework. Systems and Control Letters, 38:157–166, 1999.
11. T. Moor, J. Raisch, and S. D. O’Young. Discrete supervisory control of hybrid systems based on l-complete approximations. in print, scheduled 2002.
12. A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. Grossman et al., editor, Hybrid Systems, L NCS 736, pages 297–316. Springer-Verlag, 1993.
13. J. Raisch and S. D. O’Young. Discrete approximation and supervisory control of continuous systems. IEEE Transactions on Automatic Control, Special issue on hybrid systems, 43:569–573, 1998.
14. P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event systems. SIAM J. Control and Optimization, 25:206–230, 1987.
15. P. J. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77:81–98, 1989.
16. J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon. Interface and controller design for hybrid systems. In P.J. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, LNCS 999, pages 462–492. Springer-Verlag, 1995.
17. J. C. Willems. Paradigms and puzzles in the theory of dynamic systems. IEEE Transactions on Automatic Control, 36:258–294, 1991.