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

职称:副教授,博导,国家“青年千人”

方向:信息物理系统、离散事件系统、智能控制算法、理论计算机科学、形式化方法

地址:电信群楼2-443

邮箱:yinxiang@sjtu.edu.cn

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

教育经历

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

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

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

 

招生、招聘信息: 

  • 博士后:课题组现招收博士后多位,享受交大博士后福利待遇以及有竞争力的津贴,详情请邮件联系。

  • 博士生、硕士生:欢迎本科直博、硕士申博以及有兴趣从事研究的硕士的同学联系我。

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

工作经历

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

 

学术任职:

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

科研方向

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

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

科研项目

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

第十四批“千人计划”青年项目,                                                                                      300万, 主持, 2018-2020

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

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

科研成果

 

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

 

  1. X. Yin and S. Lafortune. “Synthesis of maximally-permissive non-blocking supervisors for the lower-bound containment problem,” IEEE Transactions on Automatic Control, accepted and in press, 2019. [PDF]

  2. 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]

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

  4. 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]

  5. 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]

  6. 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]

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

  8. 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]

  9. 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]

  10. X. Yin, J. Chen, Z. Li and S. Li. “Robust fault diagnosis of stochastic discrete event systems,”
    IEEE Transactions on Automatic Control, conditionally accepted, 2018.

  11. K. Zhang, X. Yin and M. Zamani. “Opacity of nondeterministic transition systems: A (bi)simulation relation approach,” IEEE Transactions on Automatic Control, conditionally accepted, 2018.

  12. 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]

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

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

  15. 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]

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

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

  18. T. Masopust, X. Yin. “Complexity of weak detectability, opacity and A-diagnosability for modular discrete event systems,”  Automatica, conditionally accepted, 2018.

获奖

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) 最佳论文提名奖

小组成员

博士生
  • 侯钧耀 (2018年入学),方向:基于形式化方法的CPS信息安全的分析与防护

  • 董勇鹏 (2018年入学),方向:逻辑约束条件下的最优控制理论与博弈决策

硕士生
  • 刘昭聪 (2018年入学),方向:网络化离散事件系统监控理论

  • 杨沅江 (2018年入学),方向:基于时序逻辑的多机器人任务规划

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

技术支持:维程互联