Preprints
-
Yifan Xie, X. Yin* and S. Li.
“Opacity enforcing supervisory control using non-deterministic supervisors.” submitted.
[PDF]
-
Junyao Hou, X. Yin* and S. Li.
“A framework for current-state opacity under dynamic information release mechanism.” submitted.
[PDF]
Book Chapters and Review Papers
-
X. Yin.
“Estimation and verification of partially-observed discrete-event systems.”
in Wiley Encyclopedia of Electrical and Electronics Engineering, 2019.
[PDF]
-
X. Yin and S. Li.
“Recent advances on formal methods for safety and security of cyber-physical systems.”
Control Theory and Technology, 18:459-461, 2020.
[PDF]
Journal Papers
-
Shuo Yang and X. Yin*.
“Secure your intention: On notions of pre-opacity in discrete-event systems.”
IEEE Transactions on Automatic Control, conditionally accepted, 2021.
(Full Paper) [PDF]
-
Zhaocong Liu, X. Yin*, S. Shu, F. Lin and S. Li.
“Online supervisory control of networked discrete-event systems with control delays.”
IEEE Transactions on Automatic Control, conditionally accepted, 2021.
(Full Paper)
-
X. Yin, M. Zamani and S. Liu.
“On approximate opacity of cyber-physical systems.”
IEEE Transactions on Automatic Control, accepted and in press, 2021.
(Full Paper) [PDF]
-
Z. Ma, X. Yin and Z.-W. Li.
“Marking predictability and prediction in labeled Petri nets.”
IEEE Transactions on Automatic Control, accepted and in press, 2021.
(Full Paper) [PDF]
-
X. Yin and S. Li.
“Synthesis of dynamic masks for infinite-step opacity.”
IEEE Transactions on Automatic Control, 65(4):1429-1441, 2020.
[PDF] (Full Paper)
-
K. Zhang, X. Yin and M. Zamani.
“Opacity of nondeterministic transition systems: A (bi)simulation relation approach.”
IEEE Transactions on Automatic Control, 64(12):5116-5123, 2019.
[PDF]
-
Y. Ji, X. Yin and S. Lafortune.
“Opacity enforcement using nondeterministic publicly-known edit functions.”
IEEE Transactions on Automatic Control, 64(10):4369-4376, 2019.
[PDF]
-
X. Yin, J. Chen, Z. Li and S. Li.
“Robust fault diagnosis of stochastic discrete event systems.”
IEEE Transactions on Automatic Control, 64(10):4237-4244, 2019.
[PDF]
-
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]
-
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]
-
X. Yin.
“Verification of prognosability for labeled Petri nets.”
IEEE Transactions on Automatic Control,
63(6):1828-1834, 2018.
[PDF]
-
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]
-
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]
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]
X. Yin and S. Lafortune.
“Decentralized supervisory control with intersection-based architecture.”
IEEE Transactions on Automatic Control,
61(11):3644-3650, 2016.
[PDF]
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]
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]
-
Z. Ma, X. Yin and Z.-W. Li.
“Marking diagnosability verification in labeled Petri nets.”
Automatica,
conditionally accepted, 2021.
-
Yang Liu, Zhaocong Liu, X. Yin* and S. Li.
“An improved approach for verifying delayed detectability of discrete-event systems.”
Automatica,
124: 109291, 2021.[PDF]
-
Y. Ji, X. Yin* and S. Lafortune.
“Optimal supervisory control with mean payoff objectives and under partial observation.”
Automatica,
123:109359, 2021. (Regular Paper) [PDF]
-
Y. Ji, X. Yin* and S. Lafortune.
“Enforcing opacity by insertion functions under multiple energy constraints.”
Automatica,
108: 108476, 2019. (Regular Paper)
[PDF]
-
T. Bai, S. Li, Y. Zou and X. Yin.
“Block-based minimum input design for the structural controllability of complex networks.”
Automatica,
107: 68-76, 2019.
[PDF]
-
X. Yin and S. Lafortune.
“A general approach for optimizing dynamic sensor activations for discrete event systems.”
Automatica,
105: 376-383, 2019.
[PDF]
-
T. Masopust and X. Yin*.
“Deciding detectability of labeled Petri nets.”
Automatica,
104: 238-241, 2019.
[PDF]
-
T. Masopust and X. Yin.
“Complexity of detectability, opacity and A-diagnosability for modular discrete event systems.”
Automatica,
101: 290-295, 2019.
[PDF]
-
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]
-
X. Yin and S. Lafortune.
“Verification complexity of a class of observational properties for modular discrete events systems.”
Automatica,
83:199-205, 2017.
[PDF]
X. Yin.
“Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures.”
Automatica,
80:127-134, 2017.
[PDF]
-
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]
X. Yin and Z. Li.
“Decentralized fault prognosis of discrete event systems with guaranteed performance bound.”
Automatica,
69:375-379, 2016.
[PDF]
X. Yin and S. Lafortune.
“Codiagnosability and coobservability under dynamic observations: Transformation and verification.”
Automatica,
61:241-252, 2015. (Regular Paper)
[PDF]
-
Shuo Yang, Junyao Hou, X. Yin* and S. Li.
“Opacity of networked supervisory control systems over insecure communication channels.”
IEEE Transactions on Control of Network Systems, accepted and in press, 2021.
[PDF]
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]
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]
-
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]
-
Z. Li, F. Khasawneh, X. Yin*, A. Li and Z. Song.
“A new microscopic traffic model using a spring-mass-damper-clutch system.”
IEEE Trans. Intelligent Transportation Systems,
21(8): 3322-3331, 2020.
[PDF]
-
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]
-
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]
-
X. Yin, Z. Li and W. Wang.
“Trajectory detectability of discrete-event systems.”
Systems & Control Letters, 119:101-107, 2018.
[PDF]
-
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]
Peer-Reviewed Conference Papers
-
Jingshi Yao, X. Yin and S. Li.
“On attack mitigation in supervisory control systems: A tolerant control approach.”
in 59th IEEE Conference on Decision and Control, pp. 4504-4510, 2020.
[PDF]
-
Shuo Yang, X. Yin, S. Li and M. Zamani.
“Secure-by-construction optimal path planning for linear temporal logic tasks.”
in 59th IEEE Conference on Decision and Control, pp. 4460-4466, 2020.
[PDF]
-
Z. Ma, X. Yin and Z. Li.
“Marking diagnosis in labeled Petri nets using basis diagnosers.”
in 59th IEEE Conference on Decision and Control, pp. 4479-4484, 2020.
[PDF]
-
Yifan Xie, X. Yin and S. Li.
“Opacity enforcing supervisory control using non-deterministic supervisors.”
in 21st IFAC World Congress, 2020.
[PDF]
-
Ziteng Yang, X. Yin and S. Li.
“Maximally permissive supervisor control of timed discrete-event systems under partial observation.”
in 21st IFAC World Congress, 2020.
[PDF]
-
Y. Ji and X. Yin.
“Optimal stabilization of discrete event systems with guaranteed worst cost.”
in 21st IFAC World Congress, 2020.
[PDF]
-
Yifan Xie and X. Yin.
“Supervisory control of discrete-event systems for infinite-step opacity.”
in American Control Conference, pp. 3665-3671, 2020.
[PDF]
-
S. Liu, X. Yin and M. Zamani.
“On a notion of approximate opacity for discrete-time stochastic control systems.”
in American Control Conference, pp. 5413-5418, 2020.
[PDF]
-
Y. Ji, X. Yin and W. Xiao.
“Local mean payoff supervisory control under partial observation.”
in 15th International Workshop on Discrete Event Systems, 2020.
-
Yuanjiang Yang, X. Yin and S. Li.
“A distributed framework for multi-robot task planning with temporal logic specifications.”
in 16th IEEE International Conference on Control & Automation, 2020.
-
X. Yin and S. Li.
“Opacity of networked supervisory control systems over insecure multiple channel networks.”
in 58th IEEE Conference on Decision and Control, pp. 7641-7646, 2019.
[PDF]
-
Zhaocong Liu, X. Yin, S. Shu and S. Li.
“Online supervisory control of networked discrete-event systems with control delays.”
in 58th IEEE Conference on Decision and Control, pp. 6706-6711, 2019.
[PDF]
-
Junyao Hou, X. Yin, S. Li and M. Zamani.
“Abstraction-based synthesis of opacity-enforcing controllers using alternating simulation relations.”
in 58th IEEE Conference on Decision and Control, pp. 7653-7658, 2019.
[PDF]
-
Y. Ji, X. Yin and S. Lafortune.
“Supervisory control under local mean payoff constraints.”
in 58th IEEE Conference on Decision and Control, pp. 1043-1049, 2019.
[PDF]
-
X. Yin and S. Li.
“Supervisory control for delayed detectability of discrete event systems.”
in 15th International Conference on Automation Science and Engineering, pp. 480-485, 2019.
[PDF]
Zhaocong Liu, X. Yin and S. Li.
“Improved approaches for verifying I-Detectability of discrete-event systems.”
in Asian Control Conference, pp. 248-253, 2019. [PDF]
-
X. Yin and M. Zamani.
“Towards approximate opacity of cyber-physical systems.”
in 10th ACM/IEEE International Conference on Cyber-Physical Systems,
pp. 310-311, 2019. [PDF]
-
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]
-
Wenqing 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]
-
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]
-
X. Yin.
“A framework for opacity in networked supervisory control systems.”
in SICE Annual Conference, pp. 1051-1052, 2018.
[PDF]
-
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]
-
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]
- 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]
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]
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]
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)
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]
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)
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]
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]
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]
X. Yin and S. Lafortune.
“On the relationship between codiagnosability and coobservability under dynamic observations.”
in American Control Conference, pp. 390-395, 2015.
[PDF]
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]
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]
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]
|