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
-
X. Yin* and S. Lafortune.
“Minimization of sensor activation in decentralized discrete event systems,”
IEEE Transactions on Automatic Control,
accepted and in press, 2018. (Full Paper)
[PDF]
-
X. Yin*.
“Verification of prognosability for labeled Petri nets,”
IEEE Transactions on Automatic Control,
accepted and in press, 2018.
[PDF]
-
X. Yin* and Z. Li.
“Decentralized fault prognosis of discrete-event systems using state-estimate-based protocols,”
IEEE Transactions on Cybernetics,
accepted and in press, 2018.
[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.
[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 Transactions on Intelligent Transportation Systems,
accepted and in press, 2018.
[PDF]
-
Z. Li, T. Chu, I. Kolmanovsky and X. Yin*.
“Cloud resource allocation for Vehicle-to-Cloud-to-Vehicle applications,”
Mechatronics,
accepted and in press, 2018.
X. Yin and S. Li.
“Synthesis of dynamic masks for infinite-step opacity,”
14th International Workshop on Discrete Event Systems,
accepted, 2018.
Y. Ji, X. Yin and S. Lafortune.
“Opacity enforcement by insertion functions under energy constraints,”
14th International Workshop on Discrete Event Systems,
accepted, 2018.
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]
-
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.-Y. 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, Accepted, 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.-J. Li.
“Decentralized fault prognosis of discrete event systems with guaranteed performance bound,”
Automatica,
69: 375-379, 2016.
[PDF]
X. Yin* and Z.-J. 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. (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)
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.-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]
2014
|