科研工作:

2014.1-至今 西北工业大学自动化学院, 讲师  2015.6-2015.7 日本大阪市立大学，访问研究 研究方向：离散事件系统监督控制，交通控制 科研项目： 1. 城市交通信号控制系统的混杂自动机模型及其监督控制研究，中央高校基本科研业务费基础研究基金资助项目，2014. 2. 城市交通信号控制系统的扩展离散事件系统的监督控制研究，国家自然科学基金青年项目，2015. On going work: 1. Kai Cai, Renyuan Zhang, W.M. Wonham. Relative coobservability in decentralized supervisory control of discrete-event systems. Submitted for publication, 2017. 2017: [J1] Renyuan Zhang, Kai Cai, and W.M. Wonham. Supervisor localization of discrete-event systems under partial observation. Automatica, 2017, 81: 142-147. [J2]. Kai Cai, Renyuan Zhang, W.M. Wonham. Characterizations and effective computation of supremal relatively observable sublanguages. Discrete Event Dynamic Systems, accepted, 2017. 2016: [J1] Renyuan Zhang, Kai Cai, Yongmei Gan, W.M. Wonham. Distributed supervisory control of discrete-event systems with communication delay. Discrete Event Dynamic Systems, 2016, 26(2): 263-293.  [J2] Renyuan Zhang, Kai Cai, Yongmei Gan, and W.M. Wonham. Delay-robustness in distributed control of timed discrete-event systems based on supervisor localization. International Journal of Control, 2016, 89(10): 2055-2072.  [J3] Kai Cai, Renyuan Zhang, W. M. Wonham. Relative observability and coobservability of timed discrete-event systems. IEEE Transactions on Automatic Control, 2016, 61(11): 3382-3395.   [C4] Renyuan Zhang, Kai Cai, "Supervisor localization of timed discrete-event systems under partial observation", in Proceedings of the 55th IEEE Conference on Decision and Control (CDC'16), Las Vegas, NV, 2016: 4752-4757. [C5] Renyuan Zhang, Kai Cai, "On supervisor localization based distributed control of discrete-event systems under partial observation", in Proceeding of 2016 American Control Conference, Boston, MA, 2016: 764-769.  2015: [J1] Kai Cai, Renyuan Zhang, W.M. Wonham. Relative observability of discrete-event systems and its supremal sublanguages. IEEE Transactions on Automatic Control, 2015, 60(3): 659-670.   [C2] Renyuan Zhang, Kai Cai. Online computation of supremal relatively observable sublanguage of discrete-event systems, in Proceedings of the 34th Chinese Control Conference, HangZhou, China, 2015: 2263-2268. [C3] Kai Cai, Renyuan Zhang, W.M. Wonham. On relative coobservability of discrete-event systems, in Proceedings of American Control Conference, Chicago, USA, 2015: 371-376.  2014: [C1] Renyuan Zhang, Kai Cai, W.M. Wonham. Delay-robustness in distributed control of timed discrete-event systems based on supervisor localization, in Proceedings of the 53rd IEEE Conference on Decision and Control (CDC'14), Los Angeles, CA, 2014: 6719-6724. [C2] Kai Cai, Renyuan Zhang, W.M. Wonham. On relative observability of timed discrete-event systems, in Proceedings of the 12th International Workshop on Discrete Event Systems (WODES'14), Cachan, France, 2014: 208-213.  2013:  [J1] Renyuan Zhang, Kai Cai, Yongmei Gan, Zhaoan Wang, W.M. Wonham. Supervision localization of timed discrete-event systems. Automatica, 2013, 49(9): 2786-2794.  [M2] Renyuan Zhang, Yongmei Gan, W.M. Wonham, Zhaoan Wang. Distributed maximally permissive nonblocking control of flexible manufacturing systems. Book chapter in Formal Methods in Manufacturing Systems: Recent Advances, editor: Prof. Zhiwu Li, 2013.   [C3] Kai Cai, Renyuan Zhang, W.M. Wonham. On relative observability of discrete-event systems, in Proceedings of the 52nd IEEE Conference on Decision and Control (CDC'13), Folorence, Italy, 2013: 7285-7290. [C4] Yongmei Gan, Renyuan Zhang. Distributed supervisory control solution for under-load tap-changing transformers, in Proceedings of the IEEE TENCON, Xi'an, China, 2013. [C5] Kai Cai, Renyuan Zhang, W.M. Wonham. Supervision localization of timed discrete-event systems, in Proceedings of the 2013 American Control Conference, Washington DC, 2013: 5666-5671.   2012:   [C1] Renyuan Zhang, Kai Cai, Yongmei Gan, Zhaoan Wang, W.M. Wonham. Checking delay-robustness of distributed supervisors of discrete-event systems, in Proceedings of the International Conference on Information Science and Control Engineering, Shenzhen, China, 2012: 350-355.   [C2] Renyuan Zhang, Yongmei Gan, Zhaoan Wang, W.M. Wonham. On computation of distributed supervisory controllers in discrete-event systems, in Proceedings of the 24th Chinese Control and Decison Conference, Taiyuan, China, 2012: 781-786.

教育背景:

2003.9-2007.7 西安交通大学电气工程学院, 获工学学士学位 2007.9-2013.9 西安交通大学电气工程学院, 提前攻博, 获工学博士学位 2011.9-2013.1 加拿大多伦多大学, 联合培养博士生