| 1 |
Transforming Opacity Verification to Nonblocking Verification in Modular Systems
Mohajerani S, Lafortune S
IEEE Transactions on Automatic Control, 65(4), 1739, 2020 |
| 2 |
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 |
| 3 |
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis
Giua A, Lafortune S, Seatzu C
IEEE Transactions on Automatic Control, 65(7), 3092, 2020 |
| 4 |
A general approach for optimizing dynamic sensor activation for discrete event systems
Yin X, Lafortune S
Automatica, 105, 376, 2019 |
| 5 |
Incorporating automation logic in online chemical production scheduling
Rawlings BC, Avadiappan V, Lafortune S, Maravelias CT, Wassick JM
Computers & Chemical Engineering, 128, 201, 2019 |
| 6 |
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets (vol 62, pg 5931, 2017)
Yin X, Lafortune S
IEEE Transactions on Automatic Control, 64(4), 1768, 2019 |
| 7 |
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
Ji YD, Yin X, Lafortune S
IEEE Transactions on Automatic Control, 64(10), 4369, 2019 |
| 8 |
Enforcement of opacity by public and private insertion functions
Ji YD, Wu YC, Lafortune S
Automatica, 93, 369, 2018 |
| 9 |
Detection and mitigation of classes of attacks in supervisory control systems
Carvalho LK, Wu YC, Kwong R, Lafortune S
Automatica, 97, 121, 2018 |
| 10 |
Minimization of Sensor Activation in Decentralized Discrete-Event Systems
Yin X, Lafortune S
IEEE Transactions on Automatic Control, 63(11), 3705, 2018 |
