| 1 |
Synthesis of Dynamic Masks for Infinite-Step Opacity
Yin X, Li SY
IEEE Transactions on Automatic Control, 65(4), 1429, 2020 |
| 2 |
Notions of Centralized and Decentralized Opacity in Linear Systems
Ramasubramanian B, Cleaveland R, Marcus SI
IEEE Transactions on Automatic Control, 65(4), 1442, 2020 |
| 3 |
Transforming Opacity Verification to Nonblocking Verification in Modular Systems
Mohajerani S, Lafortune S
IEEE Transactions on Automatic Control, 65(4), 1739, 2020 |
| 4 |
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
Mohajerani S, Ji YD, Lafortune S
IEEE Transactions on Automatic Control, 65(8), 3349, 2020 |
| 5 |
Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems
An LW, Yang GH
IEEE Transactions on Automatic Control, 65(3), 1234, 2020 |
| 6 |
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
Masopust T, Yin X
Automatica, 101, 290, 2019 |
| 7 |
Infinite-step opacity and K-step opacity of stochastic discrete-event systems
Yin X, Li ZJ, Wang WL, Li SY
Automatica, 99, 266, 2019 |
| 8 |
Achieving high performance and low emission in a dual fuel operated engine with varied injection parameters and combustion chamber shapes
Nayak SK, Mishra PC
Energy Conversion and Management, 180, 1, 2019 |
| 9 |
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
Ji YD, Yin X, Lafortune S
IEEE Transactions on Automatic Control, 64(10), 4369, 2019 |
| 10 |
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
Zhang KZ, Yin X, Zamani M
IEEE Transactions on Automatic Control, 64(12), 5116, 2019 |
