| A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems X Yin, S Lafortune IEEE Transactions on Automatic Control 61 (8), 2140-2154, 2016 | 185 | 2016 |
| A new approach for the verification of infinite-step and K-step opacity using two-way observers X Yin, S Lafortune Automatica 80, 162-171, 2017 | 133 | 2017 |
| Synthesis of maximally permissive supervisors for partially-observed discrete-event systems X Yin, S Lafortune IEEE Transactions on Automatic Control 61 (5), 1239-1254, 2016 | 119 | 2016 |
| Visual-manual distraction detection using driving performance indicators with naturalistic driving data Z Li, S Bao, IV Kolmanovsky, X Yin IEEE Transactions on Intelligent Transportation Systems 19 (8), 2528-2535, 2018 | 88 | 2018 |
| Infinite-step opacity and K-step opacity of stochastic discrete-event systems X Yin, Z Li, W Wang, S Li Automatica 99, 266-274, 2019 | 77 | 2019 |
| Opacity enforcement using nondeterministic publicly known edit functions Y Ji, X Yin, S Lafortune IEEE Transactions on Automatic Control 64 (10), 4369-4376, 2019 | 75 | 2019 |
| On the decidability and complexity of diagnosability for labeled Petri nets X Yin, S Lafortune IEEE Transactions on Automatic Control 62 (11), 5931-5938, 2017 | 69 | 2017 |
| Decentralized fault prognosis of discrete event systems with guaranteed performance bound X Yin, Z Li Automatica 69, 375-379, 2016 | 62 | 2016 |
| Codiagnosability and coobservability under dynamic observations: Transformation and verification X Yin, S Lafortune Automatica 61, 241-252, 2015 | 59 | 2015 |
| Enforcing opacity by insertion functions under multiple energy constraints Y Ji, X Yin, S Lafortune Automatica 108, 108476, 2019 | 58 | 2019 |
| Opacity of nondeterministic transition systems: A (bi) simulation relation approach K Zhang, X Yin, M Zamani IEEE Transactions on Automatic Control 64 (12), 5116-5123, 2019 | 58 | 2019 |
| On approximate opacity of cyber-physical systems X Yin, M Zamani, S Liu IEEE Transactions on Automatic Control, 2021 | 57 | 2021 |
| Reliable decentralized fault prognosis of discrete-event systems X Yin, Z Li IEEE Transactions on Systems, Man, and Cybernetics: Systems 46 (11), 1598-1603, 2016 | 57 | 2016 |
| Synthesis of maximally-permissive supervisors for the range control problem X Yin, S Lafortune IEEE Transactions on Automatic Control 62 (8), 3914-3929, 2017 | 53 | 2017 |
| Synthesis of dynamic masks for infinite-step opacity X Yin, S Li IEEE Transactions on Automatic Control 65 (4), 1429-1441, 2020 | 50 | 2020 |
| Secure-by-construction synthesis of cyber-physical systems S Liu, A Trivedi, X Yin, M Zamani Annual Reviews in Control 53, 30-50, 2022 | 48 | 2022 |
| Verification of prognosability for labeled Petri nets X Yin IEEE Transactions on Automatic Control 63 (6), 1828-1834, 2018 | 47 | 2018 |
| Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures X Yin Automatica 80, 127-134, 2017 | 45 | 2017 |
| Robust fault diagnosis of stochastic discrete event systems X Yin, J Chen, Z Li, S Li IEEE Transactions on Automatic Control 64 (10), 4237-4244, 2019 | 44 | 2019 |
| Decentralized fault prognosis of discrete-event systems using state-estimate-based protocols X Yin, Z Li IEEE transactions on cybernetics 49 (4), 1302-1313, 2019 | 43 | 2019 |
