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

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

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

地址:电信群楼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)、离散事件系统、智能控制算法、理论计算机科学

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

科研项目

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

科研成果

 

代表性论文(全部论文见 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, accepted and in press, 2018. (Full Paper) [PDF]

  3. X. Yin. “Verification of prognosability for labeled Petri nets,”
    IEEE Transactions on Automatic Control, accepted and in press, 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. 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.

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

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

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

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

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

获奖

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

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

技术支持:维程互联