Supervisory eventuality synthesis

Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

Volumn , Issue , 2002, Pages 323-328

  Xia, Hao ^a   Trontis, A ^a   Pang, Yan ^a   Spathopoulos, M P ^a  

^a UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; DISCRETE EVENT SIMULATION;

CLOSED SYSTEMS; CONTROL ACTIONS; DISCRETE EVENTS; FEEDBACK CONTROLLER; HYBRID AUTOMATONS; INITIAL STATE; REACHABILITY ANALYSIS; SYNTHESIS PROBLEMS;

CONTROLLERS;

EID: 84936760543     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2002.1167706     Document Type: Conference Paper

References (12)

1. P. Antsaklis, W. Kohn, M. Lemmon, A. Nerode, and S. Sastry. Hybrid Systems V, volume 1567 of LNCS. Springer-Verlag, Berlin, 1999.
2. E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli. Effective synthesis for swithcing controllers for linear systems. Proceedings of the IEEE, Vol.88(7):pp.1011-1026, 2000.
3. J. Aubin. Viability Theory. Birkhauser, Boston, 1991.
4. T. Dang. Verification and Synthesis of Hybrid systems. Ph.d. dissertation, Institut National Polytechnique de Grenoble, 2000.
5. J. Davoren and A. Nerode. Logics for hybrid systems. Proceedings of the IEEE, Vol.88(7):pp.985-1011, 2000.
6. T. Henzinger and S. Sastry. Hybrid Systems: control and computation, volume 1386 of LNCS. Springer-Verlag, Berlin, 1998.
7. J. Lygeros, C. Tomlin, and S. Sastry. controllers for reachability specifications for hybrid systems. Automatica, Vol.35(3):pp.349-370, 1999.
8. N. Lynch and B. Krogh. Hybrid Systems: computation and control, volume 1790 of LNCS. Springer-Verlag, Berlin, 2000.
9. O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed system. Proceedings of STACKS, 1995.
10. P. Ramadge and W.Wonham. The control of discrete events systems. Proceedings of the IEEE, 77(1):pp. 81-98, 1989.
11. C. Tomlin. Hybrid control of air traffic management systems. Ph.d. dissertation, Department of Electrical and Electonic Engineering, University of California at Berkeley., 1998.
12. F. Vaandrager and J. van Schuppen. Hybrid Systems : Computation and control, volume 1569 of LNCS. Springer-Verlag, Berlin, 1999.