Incremental model evolution and reusability of supervisors for discrete event systems

Automatica

Volumn 36, Issue 2, 2000, Pages 243-259

  Chen, Yi Liang ^a   Lafortune, Stéphane ^b,d   Lin, Feng ^c,e,f  

^a ROCKWELL SCIENCE CENTER   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

^c Wayne State University   (United States)

^d Electrical Engineering and Computer Science   (United States)

^e HARVARD UNIVERSITY   (United States)

^f WAYNE STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; STATE SPACE METHODS; THEOREM PROVING;

DISCRETE EVENT SYSTEMS; SYSTEM EVOLUTION;

SCADA SYSTEMS;

EID: 0034140234     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0005-1098(99)00142-9     Document Type: Article

References (22)

1. Agre, J., Clare, L., Lee, J., Brandin, B., Hoskins, J., & Perrone, M. (1995). Autoconfigurable distributed control systems. Proceedings of the second internatioanl symposium on autonomous decentralized systems (pp. 162-168).
2. Cameron, E. J., Griffeth, N., Lin, Y. -J., Nilson, M. E., Schnure, W. K., & Velthuijsen, H. (1993). A feature-interaction benchmark for IN and beyond. IEEE Communications Magazine, 31(3), 64-69.
3. Cassandras, C., Lafortune, S., & Olsder, G. (1995). Introduction to the modelling, control and optimization of discrete event systems. In A. Isidori, Trends in control. A European perspective (pp. 217-291). Berlin: Springer-Verlag.
4. Chen, Y. -L., Lafortune, S., & Lin, F. (1995). Modular supervisory control with priorities for discrete event systems. Proceedings of the 34th IEEE Conference on decision and control (pp. 409-415).
5. Chen, Y. -L., Lafortune, S., & Lin, F. (1996). Priority assignment algorithms for resolving blocking in modular control of discrete event systems. Proceedings of the 35th IEEE conference on decision and control (pp. 2743-2748).
6. Chen, Y. -L., Lafortune, S., & Lin, F. (1997). Resolving feature interactions using modular supervisory control with priorities. In Feature interactions in telecommunications IV (pp. 108-122). Amsterdam: IOS Press.
7. Chen, Y. -L., Lafortune, S., & Lin, F. (1998). Design of nonblocking modular supervisors using event priority functions. Technical Report CGR-98-04, University of Michigan, IEEE Transactions on Automatic Control, To appear.
8. Cieslak, R., Desclaux, C., Fawaz, A., & Varaiya, P. (1988). Supervisory control of discrete-event processes with partial observations. IEEE Transactions on Automatic Control, 33(3), 249-260.
9. Hopcroft, J. E., & Ullman, J. D. (1977). Introduction to automata theory, languages, and computation. Reading, MA: Addison-Wesley.
10. Kumar, R., & Garg, V. K. (1995). Modeling and control of logical discrete event systems. Dordrecht: Kluwer Academic Publishers.
11. Lin, F. (1993). Robust and adaptive supervisory control of discrete event systems. IEEE Transactions on Automatic Control, 38(12), 1848-1852.
12. Lin, F., & Wonham, W. M. (1988a). Decentralized supervisory control of discrete-event systems. Information Sciences, 44, 199-224.
13. Lin, F., & Wonham, W. M. (1988b). On observability of discrete-event systems. Information Sciences, 44, 173-198.
14. Lin, F., & Wonham, W. M. (1990). Decentralized control and coordination of discrete-event systems with partial observation. IEEE Transactions on Automatic Control, 35(12), 1330-1337.
15. National Research Council (1995). Information technology for manufacturing, a research agenda. National Academy Press.
16. Ramadge, P. J., & Wonham, W. M. (1989). The control of discrete event systems. Proceedings of the IEEE, 77(1), 81-98.
17. Rudie, K., & Wonham, W. M. (1992). Think globally, act locally: Decentralized supervisory control. IEEE Transactions on Automatic Control, 37(11), 1692-1708.
18. Thistle, J. G. (1996). Supervisory control of discrete event systems. Mathematical and Computer Modelling, 23(11/12), 25-53.
19. Thistle, J. G., Malhamé, R. P., Hoang, H.-H., & Lafortune, S. (1997). Feature interaction modeling, detection and resolution: A supervisory control approach. In Feature interactions in telecommunications IV (pp. 93-107). Amsterdam: IOS Press.
20. Wonham, W. M., & Ramadge, P. J. (1988). Modular supervisory control of discrete-event systems. Mathematics Control Signals Systems, 1(1), 13-30.
21. Young, S. D., & Garg, V. K. (1995). Model uncertainty in discrete event systems. SIAM Journal Control and Optimization, 33, 208-226.
22. Zhong, H., & Wonham, W. M. (1990). On the consistency of hierarchical supervision in discrete-event systems. IEEE Transactions on Automatic Control, 35(10), 1125-1134.