2024
-
Yifan Xie, X. Yin* and S. Li.
“Optimal synthesis of opacity-enforcing supervisors for qualitative and quantitative specifications.”
IEEE Transactions on Automatic Control, conditionally accepted, 2023.
(Full Paper)
[PDF]
-
Weijie Dong, X. Yin* and S. Li.
“A uniform framework for diagnosis of discrete-event systems with unreliable sensors using linear temporal logic.”
IEEE Transactions on Automatic Control, accepted, 2023.
(Full Paper)
[PDF]
-
J. Wang, S. Baldi, W. Yu and X. Yin.
“Distributed fault diagnosis in discrete event systems with transmission delay impairments.”
IEEE Transactions on Automatic Control, conditionally accepted, 2023.
-
Jingshi Yao, S. Li and X. Yin*.
“Sensor deception attacks against security in supervisory control systems.”
Automatica, accepted, 2024. (Regular Paper)
2023
-
Shuo Yang and X. Yin*.
“Secure your intention: On notions of pre-opacity in discrete-event systems.”
IEEE Transactions on Automatic Control,, 68(8):4754-4766, 2023.
(Full Paper) [PDF]
-
N. Li, K. Zhang, Z. Li, V. Srivastava and X. Yin.
“Cloud-assisted nonlinear model predictive control for finite-duration tasks.”
IEEE Transactions on Automatic Control, accepted, 2023.
(Full Paper) [PDF]
-
W. Shi, Z. He, Z. Ma, N. Ran and X. Yin.
“Security-preserving multi-robot path planning for Boolean specification tasks using labeled Petri nets.”
IEEE Control Systems Letters, 7:2017-2022, 2023. [PDF]
-
Junyao Hou, S. Liu, X. Yin* and M. Zamani.
“Abstraction-based verification of approximate pre-opacity for control systems.”
IEEE Control Systems Letters, 7:1087-1092, 2023.
[PDF]
-
Peng Lv, Guangqinq Luo, Z. Ma, S. Li and X. Yin*.
“Optimal multi-robot path planning for cyclic tasks using Petri nets.”
Control Engineering Practice,
138:105600, 2023. [PDF]
K. Zhang, Z. Li, X. Yin and L. Han.
“Resource provision for cloud-enabled automotive vehicles with a hierarchical model.”
IEEE Transactions on Systems, Man, and Cybernetics: Systems,
53(3):1466-1478, 2023.
[PDF]
-
Xinyi Yu, Chuwei Wang, Dingran Yuan, S. Li and X. Yin.
“Model predictive control for signal temporal logic specifications with time interval decomposition.”
in 62nd IEEE Conference on Decision and Control, 2023.
-
Xinyi Yu, X. Yin and L. Lindemann.
“Efficient control synthesis under asynchronous temporal robustness constraints.”
in 62nd IEEE Conference on Decision and Control, 2023.
-
Bohan Cui, A. Giua and X. Yin.
“Towards supervisory control theory in tactical environments: A Stackelberg game approach.”
in 62nd IEEE Conference on Decision and Control, 2023.
-
Yu Chen, C. Shang, X. Huang and X. Yin.
“Data-driven safe controller synthesis for deterministic systems: A posteriori method with validation tests.”
in 62nd IEEE Conference on Decision and Control, 2023.
-
Weijie Dong, S. Li and X. Yin .
“Diagnosis of time-sensitive failures in timed discrete-event systems with metric interval temporal logics.”
in 62nd IEEE Conference on Decision and Control, 2023.
-
Junyao Hou, S. Liu, X. Yin and M. Zamani.
“Abstraction-based synthesis of controllers for approximate opacity.”
in 62nd IEEE Conference on Decision and Control, 2023.
-
W. Shi, Z. He, Z. Ma, N. Ran and X. Yin.
“Security-preserving multi-robot path planning for Boolean specification tasks using labeled Petri nets.”
in 62nd IEEE Conference on Decision and Control, L-CSS option, 2023.
-
Feifei Huang, S. Li and X. Yin.
“Synthesis of failure-robust plans for multi-robot systems under temporal logic specifications.”
in 16th International Conference on Automation Science and Engineering, 2023.
-
Yu Chen, Shuo Yang, R. Mangharam and X. Yin.
“You don’t know when I will arrive: Unpredictable controller synthesis for temporal logic tasks.”
in 22nd IFAC World Congress, 2023.
-
Yu Chen, S. Li and X. Yin.
“Entropy rate maximization of Markov decision processes for surveillance tasks.”
in 22nd IFAC World Congress, 2023.
-
Jianing Zhao, Keyi Zhu, S. Li and X. Yin.
“To explore or not to explore: Regret-based LTL planning in partially-known environments.”
in 22nd IFAC World Congress, 2023.
-
Jianing Zhao, Shuqi Wang and X. Yin.
“Failure-aware self-diagnostic task planning under temporal logic specifications.”
in 22nd IFAC World Congress, 2023.
-
Jingshi Yao, S. Li and X. Yin.
“Attack-resilient supervisory control under energy-bounded attacks.”
in 22nd IFAC World Congress, 2023.
-
Shuaiyi Li, S. Li and X. Yin.
“Synthesis of non-blocking controllers for linear temporal logic tasks under partial observations .”
in 22nd IFAC World Congress, 2023.
-
Bohan Cui, Keyi Zhu, S. Li and X. Yin.
“Security-aware reinforcement learning under linear temporal logic specifications.”
in IEEE International Conference on Robotics and Automation, 2023.
2022
-
S. Liu, A. Trivedi, X. Yin* and M. Zamani.
“Secure-by-construction synthesis of cyber-physical systems.”
Annual Reviews in Control, 53:30-50, 2022.
(Vision Article)
[PDF]
-
Yifan Xie, X. Yin* and S. Li.
“Opacity enforcing supervisory control using non-deterministic supervisors.”
IEEE Transactions on Automatic Control, accepted, 2022.
(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, 67(5):2314-2329, 2022.
(Full Paper)
[PDF]
-
Y. Ji, X. Yin* and S. Lafortune.
“Local mean payoff supervisory control for discrete event systems.”
IEEE Transactions on Automatic Control, 67(5):2282-2297, 2022.
(Full Paper)
[PDF]
-
Junyao Hou, X. Yin* and S. Li.
“A framework for current-state opacity under dynamic information release mechanism.”
Automatica, 140:110238, 2022. (Regular Paper)
[PDF]
-
Xinyi Yu, X. Yin, S. Li and Z. Li.
“Security-preserving multi-agent coordination for complex temporal logic tasks.”
Control Engineering Practice,
123:105130, 2022. [PDF]
-
Xinyi Yu, Weijie Dong, X. Yin and S. Li.
“Online monitoring of dynamic systems for signal temporal logic specifications with model information.”
in 61th IEEE Conference on Decision and Control, 2022.
-
Jingshi Yao, X. Yin and S. Li.
“Sensor deception attacks against initial-state privacy in supervisory control systems.”
in 61th IEEE Conference on Decision and Control, 2022.
-
Weijie Dong, Shang Gao, X. Yin and S. Li.
“Fault diagnosis of discrete-event systems under non-deterministic observations with output fairness.”
in 61th IEEE Conference on Decision and Control, 2022.
-
Peng Lv, Guangqing Luo, X. Yin, Z. Ma and S. Li.
“Optimal multi-robot path planning for cyclic tasks using Petri nets.”
in 16th International Workshop on Discrete Event Systems, 2022.
-
Bohan Cui, X. Yin, S. Li and A. Giua.
“You don't know what I know: On notion of high-order opacity in discrete-event systems.”
in 16th International Workshop on Discrete Event Systems, 2022.
-
Weijie Dong, K. Zhang, X. Yin and S. Li.
“On the verification of detectability for timed systems.”
in American Control Conference, 2022.
-
Yingying Liu, X. Yin and S. Li.
“To transmit or not to transmit: optimal sensor scheduling for remote state estimation of discrete-event systems .”
in American Control Conference, 2022.
-
Jiawei Zhao, X. Yin and S. Li.
“Temporal logic robot task planning with active acquisition of information.”
in 17th IEEE International Conference on Control & Automation, 2022.
Feifei Huang, X. Yin and S. Li.
“ Failure-robust multi-robot tasks planning under linear temporal logic specifications.”
in Asian Control Conference, 2022.
2021
-
X. Yin, M. Zamani and S. Liu.
“On approximate opacity of cyber-physical systems.”
IEEE Transactions on Automatic Control, 66(4):1630-1645, 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, 66(8):3608-3623, 2021.
(Full Paper) [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]
-
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]
-
Z. Ma, X. Yin and Z.-W. Li.
“Verification and enforcement of strong infinite- and k-step opacity using state recognizers.”
Automatica, 133: 109838, 2021.
[PDF]
-
Z. Ma, X. Yin and Z.-W. Li.
“Marking diagnosability verification in labeled Petri nets.”
Automatica, 131: 109713, 2021.[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, 8(2):884-896, 2021.
-
Yifan Xie, X. Yin, S. Li and M. Zamani.
“Secure-by-construction controller synthesis for stochastic systems under linear temporal logic specifications.”
in 60th IEEE Conference on Decision and Control, 2021.
-
Peng Lv, X. Yin, Y. Ji and S. Li.
“A game-theoretical approach for optimal supervisory control of discrete event systems for cyclic tasks.”
in 60th IEEE Conference on Decision and Control, 2021.
-
Zhaocong Liu, Junyao Hou, X. Yin and S. Li.
“Modeling and analysis of networked discrete event systems with multiple control channels.”
in 60th IEEE Conference on Decision and Control, 2021.
-
Yingying Liu, X. Yin and S. Li.
“Distributed sensing and information transmission of discrete-event systems with edge sensors.”
in 60th IEEE Conference on Decision and Control, 2021.
-
Y. Ji, X. Yin and W. Xiao.
“Supervisory control for stabilization under multiple local average payoff constraints.”
in 60th IEEE Conference on Decision and Control, 2021.
2020
-
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)
-
Z. Li, F. Khasawneh, X. Yin*, A. Li and Z. Song.
“A new microscopic traffic model using a spring-mass-damper-clutch system,”
IEEE Transactions on Intelligent Transportation Systems,
21(8): 3322-3331, 2020.
[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]
-
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.
[PDF]
-
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.
2019
-
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]
-
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]
-
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]
-
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]
-
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]
-
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 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 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.
-
Z. 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.
-
J. 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.
-
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.
-
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.
Z. 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,
310-311, 2019. [PDF]
2018
-
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, Z. Li and W. Wang.
“Trajectory detectability of discrete-event systems,”
Systems & Control Letters, 119:101-107, 2018.
[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 adaptive cruise control example,”
IEEE Trans. Intelligent Transportation Systems,
19(9):2903-2912, 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]
X. Yin and S. Li.
“Verification of opacity in networked supervisory control Ssystems with insecure control channels ,”
in 57th IEEE Conference on Decision and Control, pp. 4851-4856, 2018. [PDF]
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]
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 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.
“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]
2017
-
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.
“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.
“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.
“Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures,”
Automatica,
80: 127-134, 2017.
[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.
“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]
X. Yin, M. Morrison, S. Sheng and S. Lafortune.
“DPO-SYNT: Discrete control synthesis for partially-observed systems,”
in 20th IFAC World Congress, pp. 6026-6029, 2017.
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.
2016
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.
“Synthesis of maximally permissive supervisors for partially observed discrete event systems,”
IEEE Transactions on Automatic Control,
61(5): 1239-1254, 2016. (Full Paper)
[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 Z. Li.
“Decentralized fault prognosis of discrete event systems with guaranteed performance bound,”
Automatica,
69: 375-379, 2016.
[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 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.
[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)
2015
X. Yin and S. Lafortune.
“Codiagnosability and coobservability under dynamic observations: Transformation and verification,”
Automatica,
61: 241-252, 2015. (Regular Paper)
[PDF]
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]
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]
Z. Li, X.-Y. Yin, X. Yin, and C. 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]
2014
|