Journal Papers
-
X. Yin*.
“Verification of prognosability for labeled Petri nets,”
IEEE Transactions on Automatic Control,
accepted and in press, 2018.
[PDF]
-
X. Yin* and S. Lafortune.
“On the decidability and complexity of diagnosability for labeled Petri nets,”
IEEE Transactions on Automatic Control,
accepted and in press, 2017.
[PDF]
-
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]
-
X. Yin* and S. Lafortune.
“Minimization of sensor activation in decentralized discrete event systems,”
IEEE Transactions on Automatic Control,
conditionally accepted, 2017.
-
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]
-
X. Yin*.
“A belief-evolution-based approach for online control of fuzzy discrete-event systems under partial observation,”
IEEE Transactions on Fuzzy Systems,
accepted and in press, 2017.
[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]
-
Z. Li, S. Bao, I. Kolmanovsky and X. Yin*.
“Visual distraction detection using driving performance indicators with naturalistic driving data,”
IEEE Transactions on Intelligent Transportation Systems,
accepted and in press, 2018.
-
Z. Li, T. Chu, I. Kolmanovsky and X. Yin*.
“Training drift counteraction optimal control policies using reinforcement learning: An adaptive cruise control example,”
IEEE Transactions on Intelligent Transportation Systems,
accepted and in press, 2018.
-
Z. Li, T. Chu, I. Kolmanovsky and X. Yin*.
“Cloud resource allocation for Vehicle-to-Cloud-to-Vehicle applications,”
Mechatronics,
conditionally accepted, 2017.
X. Yin and Z. Li.
“Decentralized fault prognosis of discrete-event systems using state-estimate-based protocols,”
under review, 2017.
-
X. Yin and S. Lafortune.
“A general approach for optimizing dynamic sensor activations for discrete event systems,”
under review, 2017.
-
X. Yin and S. Lafortune.
“Synthesis of maximally-permissive non-blocking supervisors for the lower-bound containment problem,”
under review, 2017.
-
T. Masopust, X. Yin.
“Complexity of detectability, opacity and A-diagnosability for modular discrete event systems,”
under review, 2017.
-
Y. Ji, X. Yin and S. Lafortune.
“Opacity enforcement using edit functions,”
in preparation, 2017.
Peer-Reviewed Conference Papers
X. Yin*, Z. Li, W. Wang and S. Li.
“Infinite-step opacity of stochastic discrete-event systems,”
in Asian Control Conference, Accepted, 2017.
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]
[Slides]
(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]
[Slides]
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]
[Slides]
(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]
[Slides]
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]
[Slides]
X. Yin* and S. Lafortune.
“On the relationship between codiagnosability and coobservability under dynamic observations,”
in American Control Conference, pp. 390-395, 2015.
[PDF]
[Slides]
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]
[Slides]
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]
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]
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]
|