Supervisory control of concurrent discrete-event systems

International Journal of Control

Volumn 54, Issue 5, 1991, Pages 1143-1169

  Willner, Y ^a   Heymann, M ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL TECHNIQUES;

CONCURRENT SUPERVISORY CONTROL; CONCURRENT SYSTEMS; DISCRETE-EVENT SYSTEMS; GLOBAL SUPERVISORS; SUPERVISORY CONTROL;

CONTROL SYSTEMS, DISCRETE TIME;

EID: 0026254298     PISSN: 00207179     EISSN: 13665820     Source Type: Journal    
DOI: 10.1080/00207179108934202     Document Type: Article

References (11)

1. Cieslak, C., Declaux, C., Fawaz, A., and Varaiya, P., 1988, Supervisory control of discrete event systems with partial observations. I.E.E.E. Transactions on Automatic Control 33, 249-260.
2. Eilenberg, S., 1974, Automata, Languages and Machines (New York: Academic Press).
3. Hoare, C. A. R., 1985, Communicating sequential processes (Englewood Cliffs, NJ: Prentice Hall)
4. Hopcroff, J. E., and Ullman, J. D., 1979, Introduction to Automata Theory Languages and Computation (Reading MA: Addison-Wesley).
5. Kuratowski, K., 1966, Topology (New York: Academic Press).
6. Lin, F., and Wonham, W. M., 1988, Decentralized supervisory control of discrete event systems. Information Sciences, 44, 199-224
7. Lu, W., and Chen, Y., 1989, Structuralized control logic for discrete event system. Proceedings of the International Conference on Control and Application, Jerusalem, Israel.
8. Ramadge, P. J., and Wonham, W. M., 1987 a. Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 25, 206-230; 1987 b, Modular feedback logic for discrete event systems, SIAM Journal on Control and Optimization., 25, 1202-1218
9. Rudie, K., and Wonham, W. M., 1990 a, Supervisory control of communicating processes. Proceedings of the 10th International IFIP Symposium on Protocol Specification, Testing and Verification, Ottawa, Canada, edited by Logrippo, Probert and Ural (Amsterdam: Elsevier/North-Holland),. 243-257; 1990 b, Think globally, act locally: Decentralized superisory control, preprint
10. Tadmor, G., and Maimon, O., 1989, Control of large discrete event systems: constructive algorithms. I.E.E.E. Transactions on Automatic Control, 34, 1164-1168.
11. Wonham, W. M., and Ramadge, P. J., 1987, On the supremal controllable sublanguage of a given language. SIAM Journal on Control and Optimization, 25, 637-659.