Supervisor localization

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

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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