师资队伍
当前位置:首页 >> 师资队伍 >> 教师名录
殷翔

副教授,博导,国家青年千人

研究方向:信息物理系统、智能控制算法、自主智能无人系统、工业控制系统安全

联系地址:电信群楼2-443

联系邮箱:yinxiang@sjtu.edu.cn

最新信息请访问个人主页:http://xiangyin.sjtu.edu.cn

教育经历

2013 - 2017,密西根大学(University of Michigan, Ann Arbor),电气工程与计算机科学系,博士 

2012 - 2013,密西根大学(University of Michigan, Ann Arbor),电气工程与计算机科学系,硕士 

2008 - 2012,浙江大学,电气工程学院,本科 

 

招生、招聘信息: 

  • 博士生、硕士生:2020年博士、硕士名额已满,欢迎计划2021年入学同学提前联系。

  • 本科生:长期接收未来准备出国、希望本科阶段发表论文的同学加入课题组进行研究、做毕业设计。

工作经历

2017年9月 - 至今,上海交通大学自动化系,副教授

 

学术任职:

IEEE 控制系统协会离散事件系统委员会(IEEE CSS TC on DES),共同主席(Co-Chair),  2016年-至今

IEEE 控制系统协会会议编委会(IEEE CSS CEB,包括IEEE CDC、ACC以及CCTA),编委,2019年-至今

Nonlinear Analysis: Hybrid Systems,客座编委,2020

《控制理论与应用》,青年编委,2017年-至今

科研方向

理论研究:信息物理系统(CPS)、智能控制算法、离散事件系统、理论计算机科学

应用研究:自主智能无人系统、机器人运动规划、智能制造系统、工业控制系统安全

科研项目

国家自然科学基金青年项目: 基于离散事件系统监控理论的CPS信息安全分析与防护,  25万, 主持

中组部青年千人计划项目,                                                                                            300万, 主持

上海交通大学科研启动金,                                                                                            300万, 主持

上海交通大学前瞻布局项目: 信息物理系统分析与控制的基础理论,                            50万, 主持 

国家自然科学基金重点项目: 网络化系统分布式实时优化决策理论应用,                   265万, 参与 

科研成果

 

代表性论文(全部论文见 http://xiangyin.sjtu.edu.cn/publication.html

 

  1. Z. Liu, X. Yin*, S. Shu, F. Lin and S. Li. “Online supervisory control of networked discrete-event systems with control delays,” IEEE Transactions on Automatic Control, conditionally accepted, 2021. (Full Paper

  2. X. Yin, M. Zamani and S. Li. “On approximate opacity of cyber-physical systems,”
    IEEE Transactions on Automatic Control, to appear, 2021. (Full Paper[PDF]

  3. Z. Ma, X. Yin and Z.-W. Li. “Marking predictability and prediction in labeled Petri nets,”
    IEEE Transactions on Automatic Control, to appear, 2021. (Full Paper

  4. X. Yin and S. Li. “Synthesis of dynamic masks for infinite-step opacity,”
    IEEE Transactions on Automatic Control, 65(4):1429-1441, 2020. (Full Paper[PDF]

  5. K. Zhang, X. Yin and M. Zamani. “Opacity of nondeterministic transition systems: A (bi)simulation relation approach,” IEEE Transactions on Automatic Control, 64(12):5116-5123, 2019. 2019. [PDF]

  6. Y. Ji, X. Yin and S. Lafortune. “Opacity enforcement using nondeterministic publicly-known edit functions,” IEEE Transactions on Automatic Control, 64(10):4369-4376, 2019. [PDF]

  7. X. Yin, J. Chen, Z. Li and S. Li. “Robust fault diagnosis of stochastic discrete event systems,”
    IEEE Transactions on Automatic Control, 64(10):4237-4244, 2019. [PDF]

  8. X. Yin and S. Lafortune. “Synthesis of maximally-permissive non-blocking supervisors for the lower-bound containment problem,” IEEE Transactions on Automatic Control, 63(12):4435-4441, 2018. [PDF]

  9. X. Yin and S. Lafortune. “Minimization of sensor activation in decentralized discrete event systems,”
    IEEE Transactions on Automatic Control, 63(11):3705-3718, 2018. (Full Paper) [PDF]

  10. X. Yin. “Verification of prognosability for labeled Petri nets,”
    IEEE Transactions on Automatic Control, 63(6):1828-1834, 2018. [PDF]

  11. X. Yin and S. Lafortune. “On the decidability and complexity of diagnosability for labeled Petri nets,”
    IEEE Transactions on Automatic Control, 62(11):5931-5938, 2017. [PDF]

  12. X. Yin and S. Lafortune. “Synthesis of maximally-permissive supervisors for the range control problem,”
    IEEE Transactions on Automatic Control, 62(8):3914-3929, 2017. (Full Paper) [PDF]

  13. X. Yin. “Supervisor synthesis for Mealy automata with output functions: A model transformation approach,”
    IEEE Transactions on Automatic Control, 62(5):2576-2581, 2017. [PDF]

  14. X. Yin and S. Lafortune. “A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems,”
    IEEE Transactions on Automatic Control, 61(8):2140-2154, 2016. (Full Paper) [PDF]

  15. X. Yin and S. Lafortune. “Synthesis of maximally permissive supervisors for partially observed discrete event systems,” IEEE Transactions on Automatic Control, 61(5):1239-1254, 2016. (Full Paper) [PDF]

  16. X. Yin and S. Lafortune. “Decentralized supervisory control with intersection-based architecture,”
    IEEE Transactions on Automatic Control, 61(11):3644-3650, 2016. [PDF]

  17. Y. Liu, Z. Liu, X. Yin* and S. Li. “Improved approaches for verifying delayed detectability of discrete-event systems,”  Automatica, to appear, 2020.

  18. Y. Ji, X. Yin*  and S. Lafortune. “Enforcing opacity by insertion functions under multiple energy constraints and imperfect information,”  Automatica, 108, 2019. (Regular Paper)  [PDF]

  19. T. Bai, S. Li, Y. Zou and X. Yin. “Block-based minimum input design for the structural controllability of complex networks,”  Automatica, 107: 68-76, 2019. [PDF]

  20. X. Yin and S. Lafortune. “A general approach for optimizing dynamic sensor activation for discrete event systems,” Automatica, 105:376-383, 2019. [PDF]

  21. T. Masopust and X. Yin*. “Deciding detectability for labeled Petri nets,”
    Automatica, 104: 238-241, 2019. [PDF]

  22. T. Masopust and X. Yin. “Complexity of weak detectability, opacity and A-diagnosability for modular discrete event systems,”  Automatica, 101: 290-295, 2019. [PDF]

  23. X. Yin, Z. Li, W. Wang and S. Li. “Infinite-step opacity and K-step opacity of stochastic discrete-event systems,” Automatica, 99:266-274, 2019. [PDF]

  24. X. Yin and S. Lafortune. “A new approach for the verification of infinite-step and K-step opacity using two-way observers,” Automatica, 80:162-171, 2017. (Regular Paper[PDF]

  25. X. Yin and S. Lafortune. “Verification complexity of a class of observational properties for modular discrete events systems,” Automatica, 83:199-205, 2017. [PDF]

  26. X. Yin. “Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures,”
    Automatica, 80:127-134, 2017. [PDF]

  27. X. Yin and Z. Li. “Decentralized fault prognosis of discrete event systems with guaranteed performance bound,” Automatica, 69:375-379, 2016. [PDF]

  28. X. Yin and S. Lafortune. “Codiagnosability and coobservability under dynamic observations: Transformation and verification,” Automatica, 61:241-252, 2015. (Regular Paper) [PDF]

获奖

2019 中国过程控制会议张钟俊院士优秀论文奖

2018 福布斯中国2018年30位30岁以下精英榜 (30 Under 30)

2018 Journal of Discrete Event Dynamic Systems 杰出审稿人

2017 国家优秀留学生奖学金

2017 IEEE Transactions on Automatic Control 杰出审稿人

2016 Automatica 杰出审稿人

2016 IEEE Conference on Decision and Control(CDC) 最佳论文提名奖

2016 International Workshop on Discrete Event Systems(WODES) 最佳论文提名奖

教授课程

本科生课程:

MA-238 Discrete Mathematics(英文),  计算机系,48学时

MA-238 离散数学(中文),                      自动化系,48学时

MA-239 离散数学(荣誉课程),               致远学院,48学时

AU-302 Modern Control Theory(英文),自动化系,48学时

研究生课程:

AU-7022 系统与控制中的随机方法,           自动化系,48学时

GE-6001 学术写作、规范与伦理,               自动化系,16学时

Email:scip@sjtu.edu.cn
地址:上海市东川路800号闵行电信群楼2号楼(200240)
Copyright © 2012.
上海交通大学自动化系    版权所有
 

技术支持:维程互联