Safety control of hierarchical synchronous discrete event systems: A state-based approach

Proceedings of the 20th IEEE International Symposium on Intelligent Control, ISIC '05 and the 13th Mediterranean Conference on Control and Automation, MED '05

Volumn 2005, Issue , 2005, Pages 889-895

  Gaudin, Benoit ^a   Marchand, Hervé ^a  

^a UNIVERSITÉ DE RENNES 1   (France)

Author keywords

Discrete Event Systems; Hierarchical Systems; State Avoidance Control Problem; Supervision and control

Indexed keywords

DISCRETE TIME CONTROL SYSTEMS; FUNCTIONS; ONLINE SYSTEMS; PROBLEM SOLVING;

DISCRETE EVENT SYSTEMS; STATE AVOIDANCE CONTROL PROBLEM; SUPERVISION AND CONTROL;

HIERARCHICAL SYSTEMS;

EID: 33745212918     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/.2005.1467132     Document Type: Conference Paper

References (16)

1. W. M. Wonham, "Notes on control of discrete-event systems," Department of ECE, University of Toronto, Tech. Rep. ECE 1636F/1637S, July 2003.
2. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.
3. M. deQueiroz and J. Cury, "Synthesis and implementation of local modular supervisory control for a manufacturing cell," in Proceedings of the 6th International Workshop on Discrete Event Systems, October 2002, pp. 377-382.
4. K. Akesson, H. Flordal, and M. Fabian, "Exploiting modularity for synthesis and verification of supervisors," in Proc. of the IFAC, July 2002.
5. Y. Willner and M. Heymann, "Supervisory control of concurrent discrete-event systems," International Journal of Control, vol. 54, no. 5, pp. 1143-1169, 1991.
6. K. Rohloff and S. Lafortune, "The control and verification of similar agents operating in a broadcast network environment," in 42nd IEEE Conference on Decision and Control, Hawaii, USA, December 2003.
7. R. Minhas, "Complexity reduction in discrete event systems," Ph.D. dissertation, Univeristy of Toronto, September 2002.
8. R. Leduc, "Hierarchical interface based supervisory control," Ph.D. dissertation, Dept. of Elec. & Comp. Engrg., Univ. of Toronto, 2002.
9. P. Gohari-Moghadam, "A linguistic framework for controller hierarchical des," M.A.S.C. Thesis, Dept. of Electl. & Comptr. Engrg., University of Toronto, April 1998.
10. Y. Brave and M. Heymann, "Control of discrete event systems modeled as hierarchical state machines," IEEE Transacations on Automatic Control, vol. 38, no. 12, pp. 1803-1819, December 1993.
11. B. Wang, "Top-down design for RW supervisory control theory," Masc Thesis, Univ. of Toronto, June 1995.
12. C. Ma, "Non blocking supervisory control of state tree structures," Ph.D. dissertation, Univeristy of Toronto, February 2004.
13. H. Marchand and B. Gaudin, "Supervisory control problems of hierarchical finite state machines," in 41th IEEE Conference on Decision and Control, Las Vegas, USA, December 2002.
14. D. Harel, "Statecharts: A visual formalism for complex systems," Science of Computer Programming, vol. 8, no. 3, pp. 231-274, June 1987.
15. A. Vahidi, B. Lennarston, and M. Fabian, "Efficient supervisory synthesis of large systems," in Workshop on Discrete Event Systems, WODES'04, September 2004.
16. B. Gaudin and H. Marchand, "Efficient computation of supervisors for loosely synchronous discrete event systems: A state-based approach," in 6th IFAC World Congress, Prague, Czech Republic, July 2005.