검색결과 : 31건
| No. | Article |
|---|---|
| 1 |
Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs You D, Wang SG, Seatzu C IEEE Transactions on Automatic Control, 64(10), 4353, 2019 |
| 2 |
Codiagnosability Analysis of Discrete-Even Systems Modeled by Weighted Automata Viana GS, Moreira MV, Basilio JC IEEE Transactions on Automatic Control, 64(10), 4361, 2019 |
| 3 |
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions Ji YD, Yin X, Lafortune S IEEE Transactions on Automatic Control, 64(10), 4369, 2019 |
| 4 |
Verification of Prognosability for Labeled Petri Nets Yin X IEEE Transactions on Automatic Control, 63(6), 1828, 2018 |
| 5 |
Minimization of Sensor Activation in Decentralized Discrete-Event Systems Yin X, Lafortune S IEEE Transactions on Automatic Control, 63(11), 3705, 2018 |
| 6 |
Invariant-Based Supervisory Control of Switched Discrete Event Systems Reveliotis S, Fei ZN IEEE Transactions on Automatic Control, 62(2), 921, 2017 |
| 7 |
Synthesis of Optimal Insertion Functions for Opacity Enforcement Wu YC, Lafortune S IEEE Transactions on Automatic Control, 61(3), 571, 2016 |
| 8 |
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems Yin X, Lafortune S IEEE Transactions on Automatic Control, 61(5), 1239, 2016 |
| 9 |
Decentralized Supervisory Control With Intersection-Based Architecture Yin X, Lafortune S IEEE Transactions on Automatic Control, 61(11), 3644, 2016 |
| 10 |
On the Complexity of Some State-Counting Problems for Bounded Petri Nets Reveliotis S IEEE Transactions on Automatic Control, 60(1), 205, 2015 |