Publications   [By Category]   [By Year]

Book Chapters

1. X. Yin. “Estimation and verification of partially-observed discrete-event systems,” in Wiley Encyclopedia of Electrical and Electronics Engineering, to appear, 2019.

Journal Papers

1. X. Yin and S. Li. “Synthesis of dynamic masks for infinite-step opacity,” IEEE Transactions on Automatic Control, accepted and in press, 2020. [PDF] (Full Paper)

2. K. Zhang, X. Yin and M. Zamani. “Opacity of nondeterministic transition systems: A (bi)simulation relation approach,” IEEE Transactions on Automatic Control, accepted and in press, 2019. [PDF]

3. Y. Ji, X. Yin and S. Lafortune. “Opacity enforcement using nondeterministic publicly-known edit functions,” IEEE Transactions on Automatic Control, accepted and in press, 2019. [PDF]

4. X. Yin, J. Chen, Z. Li and S. Li. “Robust fault diagnosis of stochastic discrete event systems,” IEEE Transactions on Automatic Control, accepted and in press, 2019. [PDF]

5. X. Yin and S. Lafortune. “Synthesis of maximally-permissive non-blocking supervisors for the lower-bound containment problem,” IEEE Transactions on Automatic Control, 63(12):4435-4441, 2018. [PDF]

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

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

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

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

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

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

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

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

14. T. Bai, S. Li, Y. Zou and X. Yin. “Block-based minimum input design for the structural controllability of complex networks,” Automatica, accepted and in press, 2019.

15. X. Yin and S. Lafortune. “A general approach for optimizing dynamic sensor activations for discrete event systems,” Automatica, 105: 376-383, 2019. [PDF]

16. T. Masopust and X. Yin. “Deciding detectability of labeled Petri nets,” Automatica, 104: 238-241, 2019. [PDF]

17. T. Masopust and X. Yin. “Complexity of detectability, opacity and A-diagnosability for modular discrete event systems,” Automatica, 101: 290-295, 2019. [PDF]

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

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

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

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

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

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

24. Y. Ji, X. Yin and S. Lafortune. “Enforcing opacity by insertion functions under multiple energy constraints and imperfect information,” Automatica, conditionally accepted, 2019. (Regular Paper)

25. X. Yin, Z. Li and W. Wang. “Trajectory detectability of discrete-event systems,” Systems & Control Letters, 119:101-107, 2018. [PDF]

26. X. Yin. “A belief-evolution-based approach for online control of fuzzy discrete-event systems under partial observation,” IEEE Transactions on Fuzzy Systems, 25(6):1830-1836, 2017. [PDF]

27. X. Yin and Z. Li. “Decentralized fault prognosis of discrete-event systems using state-estimate-based protocols,” IEEE Transactions on Cybernetics, 49(4):1302-1313, 2019. [PDF]

28. X. Yin and Z. Li. “Reliable decentralized fault prognosis of discrete-event systems,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, 46(11):1598-1603, 2016. [PDF]

29. Z. Li, S. Bao, I. Kolmanovsky and X. Yin*. “Visual distraction detection using driving performance indicators with naturalistic driving data,” IEEE Trans. Intelligent Transportation Systems, 19(8):2528-2535, 2018. [PDF]

30. Z. Li, T. Chu, I. Kolmanovsky and X. Yin*. “Training drift counteraction optimal control policies using reinforcement learning: An ACC example,” IEEE Trans. Intelligent Transportation Systems, 19(9):2903 - 2912, 2018. [PDF]

31. Z. Li, T. Chu, I. Kolmanovsky, X. Yin* and X.-Y. Yin. “Cloud resource allocation for Vehicle-to-Cloud-to-Vehicle applications,” Mechatronics, 50: 356-365, 2018. [PDF]

32. X. Yin and M. Zamani. “On approximate opacity of cyber-physical systems,” under review, 2019. [PDF]

33. Y. Ji, X. Yin and S. Lafortune. “Optimal supervisory control with quantitative objectives and under partial observation,” under review, 2019.

34. Z. Li, F. Khasawneh, X. Yin, A. Li and Z. Song. “A new microscopic traffic model using a spring-mass-damper-clutch ssystem,” under review, 2019.

35. Z. Li, Z. Zhou, X. Yin, L. Han. “Resource provision for cloud-enabled automotive vehicles with a hierarchical Model,” under review, 2019.

Peer-Reviewed Conference Papers

1. X. Yin and S. Li. “Supervisory control for delayed detectability of discrete event systems,” in 15th International Conference on Automation Science and Engineering, to appear, 2019.

2. Z. Liu, X. Yin and S. Li. “Improved approaches for verifying I-Detectability of discrete-event systems,” in Asian Control Conference, to appear, 2019.

3. X. Yin and M. Zamani. “Towards approximate opacity of cyber-physical systems,” in 10th ACM/IEEE International Conference on Cyber-Physical Systems, 310-311, 2019. [PDF]

4. X. Yin and S. Li. “Verification of opacity in networked supervisory control systems with insecure control channels,” in 57th IEEE Conference on Decision and Control, pp. 4851-4856, 2018. [PDF]

5. W. Wu, X. Yin and S. Li. “Verification of coprognosability in decentralized fault prognosis of labeled Petri nets,” in 57th IEEE Conference on Decision and Control, pp. 4545-4850, 2018. [PDF]

6. Y. Ji, X. Yin and S. Lafortune. “Mean payoff supervisory control under partial observation,” in 57th IEEE Conference on Decision and Control, pp. 3981-3987, 2018. [PDF]

7. X. Yin. “A framework for opacity in networked supervisory control systems,” in SICE Annual Conference, pp. 1051-1052, 2018. [PDF]

8. X. Yin and S. Li. “Robust diagnosability and robust prognosability of discrete-event systems revisited,” in IEEE International Conference on CYBER Technology in Automation, Control, and Intelligent Systems, pp. 302-307, 2018. [PDF]

9. X. Yin and S. Li. “Synthesis of dynamic masks for infinite-step opacity,” in 14th International Workshop on Discrete Event Systems, pp. 377-342, 2018. [PDF]

10. Y. Ji, X. Yin and S. Lafortune. “Opacity enforcement by insertion functions under energy constraints,” in 14th International Workshop on Discrete Event Systems, pp. 325-331, 2018. [PDF]

11. X. Yin, Z. Li, W. Wang and S. Li. “Infinite-step opacity of stochastic discrete-event systems,” in Asian Control Conference, pp. 102-107, 2017. [PDF]

12. X. Yin, M. Morrison, S.-Y. Sheng and S. Lafortune. “DPO-SYNT: Discrete control synthesis for partially-observed systems,” in 20th IFAC World Congress, pp. 6026-6029, 2017. [PDF]

13. X. Yin and S. Lafortune. “On the maximally-permissive range control problem in partially-observed discrete event systems,” in 55th IEEE Conference on Decision and Control, pp. 3923-3928, 2016. [PDF]
    (Best Paper Award Finalist)

14. X. Yin and S. Lafortune. “On two-way observer and its application to the verification of infinite-step and K-step opacity,” in 13th International Workshop on Discrete Event Systems, pp. 361-366, 2016. (Invited Paper) [PDF]

15. X. Yin and S. Lafortune. “On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis,” in 13th International Workshop on Discrete Event Systems, pp. 1-7, 2016. [PDF]
    (Best Paper Award Finalist)

16. 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, pp. 3610-3615, 2015. [PDF]

17. 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, pp. 1014-1019, 2015. [PDF]

18. Z.-J. Li, X.-Y. Yin, X. Yin, and C.-H. Wang. “Distributed H-infinity filtering over multiple-channel sensor networks with markovian channel switching,” in 54th IEEE Conference on Decision and Control, pp. 7410-7415, 2015. [PDF]

19. X. Yin and S. Lafortune. “On the relationship between codiagnosability and coobservability under dynamic observations,” in American Control Conference, pp. 390-395, 2015. [PDF]

20. X. Yin and S. Lafortune. “A new approach for enforcing opacity via supervisory control for partially-observed discrete-event systems,” in American Control Conference, pp. 377-383, 2015. [PDF]

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

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