Publications   [By Category]   [By Year]

On Going Work

  • X. Yin and S. Lafortune. “A general approach for optimizing dynamic sensor activations for discrete event systems,” under review, 2017.

  • X. Yin, Z. Li, W. Wang and S. Li. “Infinite-step opacity and K-step opacity of stochastic discrete-event systems,” under review, 2017.

  • X. Yin, Z. Li, W. Wang. “Trajectory detectability of discrete-event systems,” under review, 2017.

  • T. Masopust and X. Yin. “Complexity of detectability, opacity and A-diagnosability for modular discrete event systems,” under review, 2018. [PDF]

  • T. Masopust and X. Yin. “Deciding detectability of labeled Petri nets,” under review, 2018. [PDF]

  • Y. Ji, X. Yin and S. Lafortune. “Opacity enforcement using edit functions,” under review, 2018.

  • K. Zhang, X. Yin and M. Zamani. “Opacity of nondeterministic transition systems: A (bi)simulation relation approach,” under review, 2018.

2018

2017

2016

2015

2014