Affiliation:
1. Graduate School of Engineering Science, Osaka University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference27 articles.
1. [1] P.J. Ramadge and W.M. Wonham, “Supervisory control of a class of discrete-event process,” SIAM J. Contr. Optimiz., vol.25, no.1, pp.475-498, 1987.
2. [2] P.J. Ramadge and W.M. Wonham, “The control of discrete event systems,” Proc. IEEE, vol.77, no.1, pp.81-98, 1989.
3. [3] N. Khakpour, F. Arbab, and E. Rutten, “Supervisory controller synthesis for safe software adaptation,” Proc. 12th International Workshop on Discrete Event Systems, pp.39-45, 2014.
4. [4] J. Baeten and J. Markovski, “The role of supervisory controller synthesis in automatic control software development,” Science of Computer Programming, vol.97, no.1, pp.17-22, 2015.
5. [5] J. Campos, C. Seatzu, and X. Xie, ed., Formal methods in manufacturing, CRC Press, Boca Raton, Florida, 2014.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献