教师主页移动版

综合介绍 General Introduction 不忘初心 个人相册

教育教学

个人经历 personal experience 工作经历 教育经历 2017.07至今，西北工业大学自动化学院，副教授2014.01-2017.06，西北工业大学自动化学院，讲师 2015.06，日本大阪市立大学，访问研究（合作者：蔡凯 ）2011.09-2012.30，多伦多大学，联合培养（导师：W.M. Wonham） 学校名称 起始时间 结束时间 学历 学位 西安交通大学 大学本科毕业 学士 西安交通大学 博士研究生毕业 博士

荣誉获奖

教育教学 Education and teaching 招生信息 教育信息 招生学科：控制科学与工程（一级学科）                 交通运输工程（一级学科）                 研究方向：                机器人智能控制及其应用                离散事件系统监督控制理论及其应用近期研究成果展示：（1）室外机器人自主导航（点击进入视频播放）（2）AGV室内自主导航（点击进入视频播放）（3）智能无人车的自主导航与环境建图（点击进入视频播放）（4）多机器人协同路径规划（点击进入视频播放）（5）多机器人系统功能展示（点击进入视频播放）欢迎对移动机器人智能控制（包括自主导航、路径规划、任务分配、智能集群控制等方向）和离散事件系统监督控制理论感兴趣的同学加入。 《计算机控制系统》，32学时，本科生课程.《机器运动与控制技术》，32学时，本科生课程.《ROS机器人操作系统理论与实践》，32学时，本科生课程.《离散事件系统监督控制理论》，40学时，研究生课程.

科学研究

团队信息 Team Information 在读研究生：王家豪（2021级），吴佳乐（2022级），苟俊华（2023级），朱亚博（2023级）。已毕业研究生：王增辉（2020级），吴雄伟（2020级）。

学术成果

科学研究 Scientific Research 主持纵向科研项目：1. 陕西省自然科学基础研究计划项目，复杂任务移动机器人任务和路径统一规划方法研究，2020.01-2022.12，在研.2. 中国博士后科学基金项目，基于多传感器融合的多任务移动仓储机器人自主导航研究，2019.09-2021.6，在研.3. 中央高校基本科研业务费基础研究基金资助项目，基于离散事件系统理论的多任务移动机器人自主导航研究，2019.01-2020.12，在研.4. 国家自然科学基金青年项目，城市交通信号控制系统的扩展离散事件系统的监督控制研究，2015.1-2017.12，已结题.  5. 中央高校基本科研业务费基础研究基金资助项目，城市交通信号控制系统的混杂自动机模型及其监督控制研究，2014.1-2015.12，已结题.

综合介绍

学术成果 Academic Achievements 期刊论文[12]  Renyuan Zhang and Kai Cai. Localization-based distributed control of timed discrete-event systems with communication delay. International Journal of Control, 2022, 95(2): 330-339.[11] Renyuan Zhang, and Kai Cai. Supervisor localization of timed discrete-event systems under partial observation. IEEE Transactions on Automatic Control, 2020, 65(1): 295-301.[10] Renyuan Zhang, and Kai Cai. Supervisor localization for large-scale discrete-event systems under partial-observation. International Journal of Control, 2020, 93(3): 387-399.  [9] Kai Cai, Renyuan Zhang, and W.M. Wonham. Relative coobservability in decentralized supervisory control of discrete-event systems. International Journal of Control, 2019, 92(7): 1481-1489.[8] Kai Cai, Renyuan Zhang, and W.M. Wonham. Characterizations and effective computation of supremal relatively observable sublanguages. Discrete Event Dynamic Systems, 2018, 28: 269-287.[7] Renyuan Zhang, Kai Cai, and W.M. Wonham. Supervisor localization of discrete-event systems under partial observation. Automatica, 2017, 81: 142-147.[6] Kai Cai, Renyuan Zhang, and W.M. Wonham. Correction to 'Relative observability of discrete-event systems and its supremal sublanguages'. IEEE Transactions on Automatic Control, 2017, 62(1): 511.[5] 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. [4] 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. [3] 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. (Regular paper)  [2] 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.  (Regular paper) [1] Renyuan Zhang, Kai Cai, Yongmei Gan, Zhaoan Wang, W.M. Wonham. Supervision localization of timed discrete-event systems. Automatica, 2013, 49(9): 2786-2794. 教材：唐炜、张仁远、樊泽明，《基于ROS的机器人设计与开发》，科学出版社，2021年.部分会议论文[10] Renyuan Zhang, Zenghui Wang, and Kai Cai. N-Step Nonblocking Supervisory Control of Discrete-Event Systems, in Proc. 60th IEEE Conference on Decision and Control (CDC'21), Austin, 2021: 339-344.[9] Renyuan Zhang, and Kai Cai. Supervisor localization of discrete-event systems with infinite behavior, in Proc. 14th IFAC Workshop on Discrete Event Systems, Sorrento, Italy, May 2018: 361-366. [8] Renyuan Zhang, Kai Cai. Supervisor localization of timed discrete-event systems under partial observation, in Proc. 55th IEEE Conference on Decision and Control (CDC'16), Las Vegas, NV, 2016: 4752-4757.[7] Renyuan Zhang, Kai Cai. On supervisor localization based distributed control of discrete-event systems under partial observation, in Proc. 2016 American Control Conference, Boston, MA, 2016: 764-769. [6] Renyuan Zhang, Kai Cai. Online computation of supremal relatively observable sublanguage of discrete-event systems, in Proc. 34th Chinese Control Conference, HangZhou, China, 2015: 2263-2268.[5] Kai Cai, Renyuan Zhang, W.M. Wonham. On relative coobservability of discrete-event systems, in Proc. 2015 American Control Conference, Chicago, USA, 2015: 371-376. [4] Renyuan Zhang, Kai Cai, W.M. Wonham. Delay-robustness in distributed control of timed discrete-event systems based on supervisor localization, in Proc. 53rd IEEE Conference on Decision and Control (CDC'14), Los Angeles, CA, 2014: 6719-6724.[3] Kai Cai, Renyuan Zhang, W.M. Wonham. On relative observability of timed discrete-event systems, in Proc. 12th International Workshop on Discrete Event Systems (WODES'14), Cachan, France, 2014: 208-213. [2] Kai Cai, Renyuan Zhang, W.M. Wonham. On relative observability of discrete-event systems, in Proc. 52nd IEEE Conference on Decision and Control (CDC'13), Folorence, Italy, 2013: 7285-7290.[1] Kai Cai, Renyuan Zhang, W.M. Wonham. Supervision localization of timed discrete-event systems, in Proc. 2013 American Control Conference, Washington DC, 2013: 5666-5671.