Xiang Yin

 PhD Candidate: Department of Electrical and Computer Engineering, Univerversity of Michigan, Ann Arbor

 Advisor:    Prof. Stéphane Lafortune

 Address:   1301 Beal Avenue, 4400 EECS Building, Ann Arbor, MI, 48109-2122

 Email:       xiangyin [AT] umich [DOT] edu

 Tel:           (01)-734-834-3243

Biography

I was born in 1991, Anhui, China. I received the B. Eng. degree in Electrical Engineering, Zhejiang University, 2012 and the M.S. degree in Electrical Engineering: Systems, University of Michigan, 2013.
I am currently a PhD student in Electrical Engineering: Control at the University of Michigan, supervised by Prof. Stéphane Lafortune.

Research Interests
Curricula Vitae

My CV can be downloaded from here

Selected Publications
   Journal Papers
  1. X. Yin and S. Lafortune. "Decentralized supervisory control with intersection-based architecture," IEEE Transactions on Automatic Control, in preparation, 2015.

  2. X. Yin and S. Lafortune. "A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems," IEEE Transactions on Automatic Control, under review, 2015.

  3. X. Yin and S. Lafortune. "Codiagnosability and coobservability under dynamic observations: transformation and verification," Automatica, conditionally accepted as Regular Paper, 2015.

  4. X. Yin and S. Lafortune. "Synthesis of maximally permissive supervisors for partially observed discrete event systems," IEEE Transactions on Automatic Control, conditionally accepted as Regular Paper, 2015.

   Peer-reviewed Conference Papers

  1. X. Yin and S. Lafortune. "A general approach for solving dynamic sensor activation problems for a class of properties," in 54th IEEE Conference on Decision and Control, under review, 2015.

  2. X. Yin and S. Lafortune. "Minimization of sensor activation in decentralized fault diagnosis of discrete event systems," in 54th IEEE Conference on Decision and Control, under review, 2015.

  3. X. Yin and S. Lafortune. "On the relationship between codiagnosability and coobservability under dynamic observations," in American Control Conference, accepted, 2015.

  4. X. Yin and S. Lafortune. "A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems," in American Control Conference, accepted, 2015.

  5. X. Yin and S. Lafortune. "Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems," in 53rd IEEE Conference on Decision and Control, pp. 5156-5162, 2014. [pdf] [slides]

  6. X. Yin and S. Lafortune. "A general approach for synthesis of supervisors for partially-observed discrete-event systems," in 19th IFAC World Congress, pp. 2422-2428, 2014. [pdf] [slides]

   Other Publications

  1. X. Yin, M. Castillo-Effen and T. Johnson. "Formal synthesis for multi-vechiles: a discrete event systems approach," in GE Internal Report, 2014.

  2. X. Yin. "Synthesis of decentralized supervisors for cyber-physical systems," in NSF Young Professionals Workshop on Exploring New Frontiers in CPS, 2014.

Professional Services
   Conference Session Chair

       ♦ Discrete-Event Systems (Regular Session), American Control Conference, 2015

   Journal Reviewer

       ♦ IEEE Transactions on Automatic Control    ♦ Automatica    ♦ Discrete Event Dynamic Systems: Theory and Applications
       ♦ International Journal of Control    ♦ Theoretical Computer Science

   Conference Reviewer

       ♦ IEEE Conference on Decision and Control    ♦ American Control Conference    ♦ IFAC World Congress
       ♦ International Workshop on Discrete Event Systems

Selected Awards
Links