Supervisory control problems of hierarchical finite state machines

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 2002, Pages 1199-1204

  Marchand, H ^a   Gaudin, B ^a  

^a VerTeCs Team ^*  (France)

Author keywords

Discrete event systems; Hierarchical structures; Optimal control; Supervisory control problem

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTATIONAL METHODS; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; FEEDBACK CONTROL; FINITE AUTOMATA; GRAPH THEORY; ITERATIVE METHODS; OPTIMAL CONTROL SYSTEMS;

DISCRETE EVENT SYSTEM; GRAPHICAL SPECIFICATION FORMALISM; HIERARCHICAL FINITE STATE MACHINE; HIERARCHICAL STRUCTURE;

SCADA SYSTEMS;

EID: 0036993494     PISSN: 01912216     EISSN: None     Source Type: Journal    
DOI: 10.1109/CDC.2002.1184677     Document Type: Article

References (10)

1. R. Alur and M. Yannakakis. Model checking of hierarchical state machines. In Sixth ACM Symposium on the Foundations of Software Engineering, volume 23, 6 of Software Engineering Notes, pages 175-188, New York, 1998.
2. Y. Brave and M. Heimann. Control of discrete event systems modeled as hierarchical state machines. IEEE Transactions on Automatic Control, 38(12): 1803-1819, December 1993.
3. C. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.
4. 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.
5. D. Harel and A. Pneuli. On the development of reactive systems. In Logics and Models of Concurrent Systems, volume 13 of NATO ASI Series, pages 477-498, New York, 1985.
6. R.J. Leduc. Hierarchical Interface Based Supervisory Control. PhD thesis, Dept. of Elec. & Comp. Engrg., Univ. of Toronto, 2002.
7. P. J. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems, 77(1):81-98, 1989.
8. R. Sengupta and S. Lafortune. An optimal control theory for discrete event systems. SIAM Journal on Control and Optimization, 36(2), March 1998.
9. G. Shen and P. Caines. Control consistency and hierarchically accelerated dynamic programming. In 37th IEEE Conference on Decision and Control, pages 1686-1691, 1998.
10. K. C. Wong and W. M. Wonham, Hierarchical control of discrete-event systems. Discrete Event Dynamic Systems, 6:241-273, 1996.