On the supervisory control of multi-agent product systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 2002, Pages 1181-1186

  Romanovski, I ^a   Caines, P E ^b  

^a QUEEN S UNIVERSITY   (Canada)

^b MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; DISCRETE TIME CONTROL SYSTEMS; FINITE AUTOMATA; MULTI AGENT SYSTEMS; RECURSIVE FUNCTIONS; STATE SPACE METHODS; THEOREM PROVING;

CENTRAL CLASSICAL SUPERVISORY CONTROL; MULTI-AGENT PRODUCT SYSTEM; VECTOR LANGUAGE MODEL;

SCADA SYSTEMS;

EID: 0036993493     PISSN: 01912216     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.sysconle.2006.08.010     Document Type: Article

References (11)

1. C.G.Cassandras and S.Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Publishers, 1999.
2. P.Hubbard Hierarchical Supervisory Control Systems, Ph.D. Thesis, Dept. of Electrical and Computer Engineering, McGill University, December 1999.
3. P.Hubbard and P.E.Caines. Initial Investigations of Hierarchical Supervisory Control for Multi-Agent Systems, Proceedings of the 38th IEEE CDC, Phoenix, AZ, 3 (1999), 2218-2223.
4. J.Hartmanis and R.E.Stearns. Algebraic Structure Theory of Sequential Machines. Prentice Hall, 1966.
5. R.Kumar and V.K.Garg, Modeling and Control of Logical Discrete Event Systems, Kluwer Academic Publishers, 1995.
6. T.Kam, T.Villa, R.Brayton, A.Sangiovanni-Vincentelli. Synthesis of Finite State Machines: Functional Optimization Kluwer Academic Publishers, 1997.
7. Y.Li and W.M.Wonham. Control of Vector Discrete-Event Systems I Base Model, IEEE Transactions on Automatic Control 38 (1993), no.8, 1214-1227.
8. I.Romanovski and P.E.Caines, Analysis and Synthesis of Vector Specifications for Multi-Agent Systems, In preparation, 2002.
9. I.Romanovski and P.E.Caines, On Vector Trajectory Specifications for Multi-Agent Product Systems, Proceedings of the 40th IEEE CDC, Orlando, FL., pp.2333-2334, 2001.
10. A.W.Roscoe, The Theory and Practice of Concurrency, Prentice Hall, 1998.
11. W.M.Wonham, Notes on Control of Discrete-Event Systems. Available electronically: www.control.utoronto.ca/cgi-bin/dldes.cgi