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. "A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems," IEEE Transactions on Automatic Control, in preparation, 2015.

  2. X. Yin and S. Lafortune. "Codiagnosability and coobservability under dynamic observations: transformation and verification," Automatica, under review, 2014.

  3. X. Yin and S. Lafortune. "Synthesis of maximally permissive supervisors for partially observed discrete event systems," IEEE Transactions on Automatic Control, conditionally accepted, 2014.

   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, in preparation, 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, in preparation, 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.

Selected Awards
Links