Supervisor Localization
Master thesis
Journal publications
- Main and first result: one local controller for each agent
K. Cai and W.M. Wonham, "Supervisor localization: a top-down approach to distributed control of discrete-event systems", IEEE Transactions on Automatic Control, vol. 55, no. 3, p. 605-618, Mar. 2010.
- Case study: Production cell of 10^8 state size
K. Cai and W.M. Wonham, "Supervisor localization for large discrete-event systems -- case study Production Cell", International Journal of Advanced Manufacturing Technology, vol. 50, no. 9-12, pp. 1189-1202, Oct. 2010.
- Extended localisation: one local controller for each controllable event
K. Cai and W.M. Wonham, “New results on supervisor localization with case studies”, Discrete Event Dynamic Systems, to appear, 2014. [Online]
- Localization in timed discrete-event systems
Renyuan Zhang, Kai Cai, Yongmei Gan, Zhaoan Wang, and W.M. Wonham, "Supervision localization of timed discrete-event systems", Automatica, vol. 49, no. 9, pp. 2786-2794, Sep. 2013.
- Localization in state-tree structures for efficient computation
K. Cai and W.M. Wonham, "Supervisor localization of discrete-event systems based on state tree structures", IEEE Transactions on Automatic Control, vol. 59, no. 5, pp. 1329-1335, May 2014.
Conference publications
- K. Cai, R. Zhang, W.M. Wonham, "Supervision localization of timed discrete-event systems", in Proceeding of American Control Conference, pp. 5686-5691, Washington D.C., Jun. 2013.
- K. Cai and W.M. Wonham, "Supervisor localization of discrete-event systems based on state tree structures", in Proceeding of the 51st IEEE Conference on Decision and Control (CDC'12), pp. 5822-5827, Maui, HI, Dec. 2012.
- Renyuan Zhang, Kai Cai, Yongmei Gan, Zhaoan Wang, and W.M. Wonham, "Checking delay-robustness of distributed supervisors of discrete-event systems", IET International Conference on Information Science and Control Engineering, pp. 350-355, Shenzhen, China, Dec. 2012.
- K. Cai and W.M. Wonham, "New results on supervisor localization, with application to multi-agent formations", in Proceeding of Workshop of Discrete-Event Systems (WODES'12), pp. 233-238, Guadalajara, Mexico, Oct. 2012.
- K. Cai and W.M. Wonham, "Supervisor localization for large-scale discrete-event systems", in Proceeding of the 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference (CDC-CCC'09), pp. 3099-3105, Shanghai, China, Dec. 2009.
- K. Cai and W.M. Wonham, "Supervisor localization: a top-down approach to distributed control of discrete-event systems", in Proceeding of the 2nd Mediterranean Conference on Intelligent Systems and Automation, vol. 1107, pp. 302-308, Zarzis, Tunisia, Mar. 2009.
Software package: TCT
Slides (slides 1; slides 2)
Workshop at CDC'12