Publication


Monographs

  1. W.M. Wonham and Kai Cai, "Supervisory Control of Discrete-Event Systems", in production, Springer, 2018. (website)
  2. Kai Cai and W.M. Wonham, "Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems", Lecture Notes in Control and Information Sciences, vol. 459, Springer, 2016. (website)

Journal Articles

Ongoing work 2018

  1. S. Kawamura, K. Cai, M. Ye, and Z. Lin, "Tight bound on parameter of surplus-based averaging algorithm over balanced digraphs", submitted for publication, 2018.
  2. . Y. Liu, K. Cai, and Z. Li, "Scalable supervisory control of multi-agent discrete-event systems", submitted for publication, 2017.
  3. T. Motoyama and K. Cai, "Top-down synthesis of multi-agent formation control: an eigenstructure assignment based approach", submitted for publication, 2017.
  4. R. Zhang and K. Cai, "Supervisor localization of timed discrete-event systems under partial observation and communication delay", submitted for publication, 2017.

2018

  1. Y. Tatsumoto, M. Shiraishi, K. Cai, Z. Lin, "Application of online supervisory control of discrete-event systems to multi-robot warehouse automation", Control Engineering Practice, accepted, 2018.
  2. T. Imae and K. Cai, "On algebraic connectivity of directed scale-free networks", Journal of the Franklin Institute, accepted, 2018.
  3. R. Zhang and K. Cai, "Supervisor localization for large discrete-event systems under partial observation", International Journal of Control, accepted, 2018.
  4. W.M. Wonham, K. Cai, and K. Rudie, "Supervisory control of discrete-event systems: a brief history", Annual Reviews in Control, vol. 45, pp. 250-256, 2018.
  5. K. Cai, R. Zhang, and W.M. Wonham, "Relative coobservability in decentralized supervisory control of discrete-event systems", International Journal of Control, accepted, 2018.
  6. . K. Cai, R. Zhang, and W.M. Wonham, "Characterizations and effective computation of supremal relatively observable sublanguages", Discrete Event Dynamic Systems, vol. 28, no. 2, pp. 269-287, 2018.
  7. Y. Tatsumoto, M. Shiraishi, K. Cai, "Application of Supervisory Control Theory with Warehouse Automation Case Study", Transactions of the Institute of Systems, Control and Information Engineers (ISCIE), Special Issue on Event-Driven Approach to System Design -- Application and Development, vol. 62, no. 6, pp. 203-208, 2018.

2017

  1. Y. Xu, G. Yan, K. Cai, Z. Lin, "Fast centralized integer resource allocation algorithm and its distributed extension over digraphs", Neurocomputing, vol. 270, pp. 91-100, Dec. 2017.
  2. R. Zhang, K. Cai, and W.M. Wonham, "Supervisor localization of discrete-event systems under partial observation", Automatica, vol. 81, no. 7, pp. 142-147, Jul. 2017.
  3. Y. Xu, T. Han, K. Cai, Z. Lin, G. Yan, and M. Fu, "A distributed algorithm for resource allocation over dynamic digraphs", IEEE Transactions on Signal Processing, vol. 65, no. 10, pp. 2600-2612, May 2017.
  4. K. Cai, R. Zhang, W.M. Wonham, "Correction to 'Relative observability of discrete-event systems and its supremal sublanguages'", IEEE Transactions on Automatic Control, vol. 62, no. 1, pp. 511, Nov. 2017.

2016

  1. K. Cai, R. Zhang, and W.M. Wonham, "Relative observability and coobservability of timed discrete-event systems", IEEE Transactions on Automatic Control, vol. 61, no. 11, pp. 3382-3395, Nov. 2016.
  2. R. Zhang, K. Cai, Y. Gan, and W.M. Wonham, "Delay-robustness in distributed control of timed discrete-event systems based on supervisor localization", International Journal of Control, vol. 89, no. 10, pp. 2055-2072, Oct. 2016.
  3. R. Zhang, K. Cai, Y. Gan, Z. Wang, and W.M. Wonham, "Distributed supervisory control of discrete-event systems with communication delay", Discrete Event Dynamic Systems, vol. 26, no. 2, pp. 263-293, Jun. 2016.

2015

  1. K. Cai and W.M. Wonham, "New results on supervisor localization, with case studies", Discrete Event Dynamic Systems, vol. 25, no. 1-2, pp. 203-226, Jun. 2015.
  2. K. Cai, R. Zhang, and W.M. Wonham, "Relative observability of discrete-event systems and its supremal sublanguages", IEEE Transactions on Automatic Control, vol. 60, no. 3, pp. 659-670, Mar. 2015.
  3. K. Cai, B. D.O. Anderson, C. Yu, and G. Mao, "Local average consensus in distributed measurement of spatial-temporal varying parameters: 1d case", Automatica, vol. 52, no. 2, pp. 135-145, Feb. 2015.

2014

  1. 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.
  2. K. Cai and H. Ishii, "Average consensus on arbitrary strongly connected digraphs with time-varying topologies", IEEE Transactions on Automatic Control, vol. 59, no. 4, pp. 1066-1071, Apr. 2014.

2013

  1. R. Zhang, K. Cai, Y. Gan, Z. Wang, and W.M. Wonham, "Supervision localization of timed discrete-event systems", Automatica, vol. 49, no. 9, pp. 2786-2794, Sep. 2013.

2012

  1. K. Cai, "Averaging over general random networks", IEEE Transactions on Automatic Control, vol. 57, no. 12, pp. 3186-3191 , Dec. 2012.
  2. K. Cai and H. Ishii, "Average consensus on general strongly connected digraphs", Automatica, vol. 48, no. 11, pp. 2750-2761, Nov. 2012.
  3. K. Cai and H. Ishii, "Convergence time analysis of quantized gossip consensus on digraphs", Automatica, vol. 48, no. 9, pp. 2344-2351, Sep. 2012.

2011

  1. K. Cai and H. Ishii, "Quantized consensus and averaging on gossip digraphs", IEEE Transactions on Automatic Control, vol. 56, no. 9, pp. 2087-2100, Sep. 2011.
  2. K. Cai and H. Ishii, "Quantized average consensus on gossip digraphs with reduced computation", SICE Journal of Control, Measurement, and System Integration, Special Issue on Advances in Networking for Distributed Control and Measurement, vol.4, no. 3, pp. 236-242, May 2011.

2010

  1. 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.
  2. 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, pp. 605-618, Mar. 2010.

2009

  1. L. Feng, K. Cai, and W.M. Wonham, "A structural approach to the nonblocking supervisory control of discrete-event systems", International Journal of Advanced Manufacturing Technology, vol. 41, no. 11-12, pp. 1152-1168, Apr. 2009.

Conference Papers

2018

  1. M. Shiraishi, Y. Tatsumoto, K. Cai, and Z. Lin, "Online supervisory control of multi-agent discrete-event systems with warehouse automation case study", in Proceeding of SICE Annual Conference, pp. 1059-1062, Nara, Japan, Sep. 2018.
  2. Y. Tong, K. Cai, and A. Giua, "Decentralized opacity enforcement in discrete event systems using supervisory control", in Proceeding of SICE Annual Conference, pp. 1053-1058, Nara, Japan, Sep. 2018.
  3. S. Kawamura and K. Cai, "Further study on parameter bound of surplus-based averaging algorithm", in Proceeding of the 23rd International Symposium on Mathematical Theory of Networks and Systems, pp. 787-790, Hong Kong, Jul. 2018.
  4. T. Imae and K. Cai, "On spectral properties of directed scale-free networks", in Proceeding of the 23rd International Symposium on Mathematical Theory of Networks and Systems, pp. 828-830, Hong Kong, Jul. 2018.
  5. R. Zhang and K. Cai, "Localization-based distributed control for large discrete-event systems under partial observation", in Proceeding of the 30th Chinese Control and Decision Conference, pp. 1492-1497, Shenyang, China, Jun. 2018.
  6. R. Zhang and K. Cai, "Supervisor localization of discrete-event systems with infinite behavior", in Proceeding of Workshop on Discrete Event Systems, pp. 372-377, Sorrento, Italy, May 2018.
  7. Y. Liu, K. Cai, Z. Li, "On scalable supervisory control of multi-agent discrete-event systems", in Proceeding of Workshop on Discrete Event Systems, pp. 36-41, Sorrento, Italy, May 2018.

2017

  1. T. Imae and K. Cai, "Algebraic connectivity of directed scale-free networks", in Proceeding of the 60th Japan Joint Automatic Control Conference, pp. 1275-1278, Tokyo, Japan, Nov. 2017.
  2. S. Kawamura and K. Cai, "Tight bound on parameter of surplus-based averaging algorithm over balanced digraphs", in Proceeding of the 60th Japan Joint Automatic Control Conference, pp. 1271-1274, Tokyo, Japan, Nov. 2017.
  3. W.M. Wonham, K. Cai, and K. Rudie, "Supervisory control of discrete-event systems: a brief history -- 1980-2015", in Proceeding of the 20th IFAC World Congress, pp. 1827-1833, Toulouse, France, Jul. 2017.
  4. T. Motoyama and K. Cai, "Top-down synthesis of multi-agent formation control: an eigenstructure assignment based approach", in Proceeding of American Control Conference, pp. 259-264, Seattle, WA, May 2017.

2016

  1. R. Zhang and K. Cai, "Supervisor localization of timed discrete-event systems under partial observation", in Proceeding of the 55th IEEE Conference on Decision and Control (CDC'16), pp. 4752-4757, Las Vegas, NV, Dec. 2016.
  2. T. Motoyama, K. Cai, and S. Hara, "Hierarchical formation control of multi-agent system by eigenstructure assignment", in Proceeding of the 59th Japan Joint Automatic Control Conference, ID ThA5-4, Kitakyushu, Japan, Nov. 2016.
  3. R. Zhang and K. Cai, "On supervisor localization based distributed control of discrete-event systems under partial observation", in Proceeding of American Control Conference, pp. 764-769, Boston, MA, Jul. 2016.
  4. K. Cai and W.M. Wonham, "A new algorithm for computing the supremal relatively observable sublanguage", in Proceeding of International Workshop on Discrete Event Systems, pp. 8-13, Xi'an, China, May 2016.

2015

  1. K. Cai and T. Motoyama, "Eigenstructure assignment for synthesis of multi-agent consensus algorithms", in Proceeding of the 58th Japan Joint Automatic Control Conference, ID 2B1-2, Kobe, Japan, Nov. 2015.
  2. R. Zhang, K. Cai, "Online computation of supremal relatively observable sublanguage of discrete-event systems", in Proceeding of the 34th Chinese Control Conference, pp. 2263-2267, Hangzhou, China, Jul. 2015.
  3. K. Cai, R. Zhang, W.M. Wonham, "On relative coobservability of discrete-event systems", in Proceeding of American Control Conference, pp. 371-376, Chicago, IL, Jul. 2015.
  4. Y. Xu, T. Han, K. Cai, Z. Lin, "A fully distributed approach to resource allocation problem under directed and switching topologies", in Proceeding of the 10th Asian Control Conference, Kota Kinabalu, Malasia, 2015.
  5. K. Cai, "On reliable surplus-based averaging and optimization algorithms under communication constraints", in Proceeding of the 59th Annual Conference of the Institute of Systems, Control and Information Engineers (ISCIE), ID 311-6, Osaka, Japan, May 2015.

2014

  1. R. Zhang, K. Cai, W.M. Wonham, "Delay-robustness in distributed control of timed discrete-event systems based on supervisor localization", in Proceeding of the 53rd IEEE Conference on Decision and Control (CDC'14), pp. 6719-6724, Los Angeles, CA, Dec. 2014.
  2. K. Cai, R. Zhang, W.M. Wonham, "On relative observability of timed discrete-event systems", in Proceeding of International Workshop on Discrete-Event Systems (WODES'14), pp. 208-213, Cachan, France, May 2014.

2013

  1. K. Cai, R. Zhang, W.M. Wonham, "On relative observability of discrete-event systems", in Proceeding of the 52nd IEEE Conference on Decision and Control (CDC'13), pp. 7285-7290, Florence, Italy, Dec. 2013.
  2. K. Cai, B. D.O. Anderson, C. Yu, "Local average consensus in distributed measurement of spatial-temporal varying parameters: 1d case", in Proceeding of the 52nd IEEE Conference on Decision and Control (CDC'13), pp. 2139-2144, Florence, Italy, Dec. 2013.
  3. 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.

2012

  1. 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.
  2. 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.
  3. K. Cai and W.M. Wonham, "New results on supervisor localization, with application to multi-agent formations", in Proceeding of International Workshop on Discrete-Event Systems (WODES'12), pp. 233-238, Guadalajara, Mexico, Oct. 2012.
  4. K. Cai and H. Ishii, "Average consensus on arbitrary strongly connected digraphs with dynamic topologies", in Proceeding of American Control Conference (ACC'12), pp. 14-19, Montreal, Canada, Jun. 2012.

2011

  1. K. Cai and H. Ishii, "Average consensus on general digraphs", in Proceeding of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC'11), pp. 1956-1961, Orlando, FL, US, Dec. 2011.
  2. K. Cai and H. Ishii, "Average consensus on general digraphs", in Proceeding of the 11th SICE Annual Conference on Control Systems, ID 175-1-2, Okinawa, Japan, Mar. 2011.

2010

  1. K. Cai and H. Ishii, "Convergence time analysis of quantized gossip algorithms on digraphs", in Proceeding of the 49th IEEE Conference on Decision and Control (CDC'10), pp. 7669-7674, Atlanta, GA, US, Dec. 2010.
  2. K. Cai and H. Ishii, "Convergence time analysis of quantized consensus algorithms on gossip digraphs", in Proceeding of the 39th SICE Symposium on Control Theory, pp. 249-252, Osaka, Japan, Sep. 2010.
  3. K. Cai and H. Ishii, "Further results on randomized quantized averaging: a surplus-based approach", in Proceeding of IEEE Multi-Conference on Systems and Control (MSC'10), pp. 1558-1563, Yokohama, Japan, Sep. 2010.
  4. K. Cai and H. Ishii, "Gossip consensus and averaging algorithms with quantization", in Proceeding of American Control Conference (ACC'10), pp. 6306-6311, Baltimore, MD, US, Jun. 2010.

2009

  1. K. Cai and H. Ishii, "Quantized consensus on gossip digraphs", in Proceeding of the 38th SICE Symposium on Control Theory, pp. 281-284, Osaka, Japan, Sep. 2009.
  2. 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.
  3. 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.

Theses

Ph.D. Thesis

Kai Cai, "Multi-Agent Consensus and Averaging on General Network Topology", Department of Computational Intelligence and Systems Science, Tokyo Institute of Technology, 2011 (Advisor: H. Ishii).

Master Thesis

Kai Cai, "Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems", Systems Control Group, Department of Electrical and Computer Engineering, University of Toronto, 2008 (Advisor: W.M. Wonham).


Others

K. Cai, “Discrete-event control theory for flexible manufacturing”, part of “The Impact of Control Technology, 2nd ed.”, IEEE Control Systems Society, 2014.