Hybrid system control using an on-line discrete event supervisory strategy

Analysis and Design of Hybrid Systems 2006

Volumn , Issue , 2006, Pages 402-408

  Millan, James ^a   O'Young, Siu ^b  

^a NATIONAL RESEARCH COUNCIL CANADA   (Canada)

^b MEMORIAL UNIVERSITY OF NEWFOUNDLAND   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTATION THEORY; CONTROL SYSTEM SYNTHESIS; DISCRETE EVENT SIMULATION; HYBRID SYSTEMS;

CONTINUOUS DYNAMICS; CONTROLLER SYNTHESIS; DISCRETE ABSTRACTION; DISCRETE EVENT SUPERVISORY; HYBRID PLANTS; MODELLING FRAMEWORK; PLANT MODEL; SUPERVISORY CONTROLLERS; SYNTHESIS TECHNIQUES; SYSTEM CONTROL;

CONTROLLERS;

EID: 47849103751     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.3182/20060607-3-it-3902.00073     Document Type: Chapter

References (15)

1. Abdelwahed S., Su R., Neema S. A feasible lookahead control for systems with finite control set. In: Proceedings of the 2005 IEEE Conference on Control Applications. IEEE 2005, 663-668.
2. Chung S., Lafortune S., Lin F. Limited lookahead policies in supervisory control of discrete event systems. IEEE Transactions on Automatic Control 1992, 37(12):1921-1935.
3. Chutinan A., Krogh B.H. Computational techniques for hybrid system verification. IEEE Transactions on Automatic Control 2003, 48(1):64-75.
4. Dietrich P., Malik R., Wonham W.M., Brandin B.A. Implementation considera-tions in supervisory control. Synthesis and control of discrete event systems 2002, 185-201.
5. Koutsoukos X.D., Antsaklis P.J., Stiver J.A., Lemmon M.D. Supervisory control of hybrid systems. In: Proceedings of the IEEE 2000, 1026-1048. IEEE.
6. Millan J.P. On-line supervisory control of hybrid systems using embedded simulations. In: Proceedings of the 8th International Workshop on Discrete Event Systems WODES06 2006.
7. Millan J.P. Online Discrete Event Control of Hybrid Systems. PhD thesis. Memorial University of Newfoundland 2006, Expected July 2006.
8. Millan James, Siu O'Young Hybrid modeling of tandem dynamically positioned vessels. In: Proceedings of the 39th IEEE Conference on Decision and Control 2000.
9. Raisch J., O'Young S.D. Discrete approximation and supervisory control of con- tinuous systems. IEEE Transactions on Automatic Control 1998, 43(4):569-573.
10. Ramadge P.J., Wonham W.M. Supervisory control of a class of discrete event processes. SIAM Journal on Control Optimization 1987, 25(1):206-230.
11. Stursberg O. A graph search algorithm for optimal control of hybrid systems. In: Proceedings of the 43rd IEEE Conference on Decision and Control 2004, 1412-1417.
12. Stursberg O., Fehnker A., Han Z., Krogh B.H. Specification-guided analysis of hybrid systems using a hierarchy of validation methods. In: IFAC Conference on Analy- sis and Design of Hybrid Systems. IFAC 2003.
13. Su R., Abdelwahed S., Karsai G., Biswas G. Discrete abstraction and supervisory control for switching systems. In: IEEE International Conference on Systems, Man, and Cybernetics 2003, 1:415-421. IEEE.
14. Henzinger T.A., Ho P., Wong-Toi H. HyTech: A model checker for hybrid systerns. Software Tools for Technology Transfer 1997, 1:110-122.
15. Torrisi F.D., Bemporad A. HYSDEL - a tool for generating computational hybrid models. IEEE Transactions on Control Systerns Technology 2004, 12(2):235-249.