On-line supervisory control of hybrid systems using embedded simulations

Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006

Volumn , Issue , 2006, Pages 137-142

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

^a NATIONAL RESEARCH COUNCIL CANADA   (Canada)

^b MEMORIAL UNIVERSITY OF NEWFOUNDLAND   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COMPUTATIONAL METHODS; DISCRETE EVENT SIMULATION; INDUSTRIAL APPLICATIONS; INDUSTRIAL PLANTS; REAL TIME CONTROL;

DISCRETE EVENT CONTROLLERS; DISCRETE EVENT MODELS; EMBEDDED SIMULATION; SUPERVISORY CONTROL; SUPERVISORY CONTROLLERS;

INTEGRATED CONTROL;

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

References (12)

1. J. Raisch and S. O'Young, "Discrete approximation and supervisory control of continuous systems," IEEE Transactions on Automatic Control, vol. 43, pp. 569-573, April 1998.
2. R. Su, S. Abdelwahed, G. Karsai, and G. Biswas, "Discrete abstraction and supervisory control for switching systems," in IEEE International Conference on Systems, Man, and Cybernetics, vol. 1, pp. 415-421, IEEE, October 2003.
3. S. Abdelwahed, R. Su, and S. Neema, "A feasible lookahead control for systems with finite control set," in Proceedings of the 2005 IEEE Conference on Control Applications, pp. 663-668, IEEE, August 2005.
4. S. Chung, S. Lafortune, and F. Lin, "Limited lookahead policies in supervisory control of discrete event systems," IEEE Transactions on Automatic Control, vol. 37, pp. 1921-1935, December 1992.
5. X. Koutsoukos, P. Antsaklis, J. Stiver, and M. Lemmon, "Supervisory control of hybrid systems," in Proceedings of the IEEE, pp. 1026-1048, IEEE, July 2000.
6. P. Ramadge and W. Wonham, "The conrol of discrete event systems," Proceedings of the IEEE, vol. 77, pp. 81-98, January 1989.
7. S. Chung, S. Lafortune, and F. Lin, "Supervisory control using variable lookahead policies," Discrete Event Dynamic System: Theory and Applications, vol. 4, pp. 237-268, July 1994.
8. N. Hadj-Alouane, S. Lafortune, and F. Lin, "Variable lookahead supervisory control with state information," IEEE Transactions on Automatic Control, vol. 39, pp. 2398-2410, December 1994.
9. R. Kumar, H. M. Chung, and S. I. Marcus, "Extension based limited lookahead supervision of discrete event systems," Automatica, vol. 34, no. 11, pp. 1327-1344, 1998.
10. J. Millan and S. O'Young, "Hybrid modeling of tandem dynamically positioned vessels," in Proceedings of the 39th IEEE Conference on Decision and Control, December 2000.
11. T. A. Henzinger, P. Ho, and H. Wong-Toi, "HyTech: A model checker for hybrid systems," Software Tools for Technology Transfer, vol. 1, pp. 110-122, 1997.
12. J. Millan and S. O'Young, "Hybrid system control using an online discrete event supervisory strategy," in IFAC Conference on Analysis and Design of Hybrid Systems, IFAC, June 2006.