검색결과 : 368건
| No. | Article |
|---|---|
| 1 |
Verification of Detectability for Unambiguous Weighted Automata Lai AW, Lahaye S, Giua A IEEE Transactions on Automatic Control, 66(3), 1437, 2021 |
| 2 |
Supervisor Localization of Timed Discrete-Event Systems Under Partial Observation Zhang RY, Cai K IEEE Transactions on Automatic Control, 65(1), 295, 2020 |
| 3 |
Critical Observability for Automata and Petri & x00A0;Nets Masopust T IEEE Transactions on Automatic Control, 65(1), 341, 2020 |
| 4 |
Synthesis of Dynamic Masks for Infinite-Step Opacity Yin X, Li SY IEEE Transactions on Automatic Control, 65(4), 1429, 2020 |
| 5 |
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices Goorden M, van de Mortel-Fronczak J, Reniers M, Fokkink W, Rooda J IEEE Transactions on Automatic Control, 65(4), 1625, 2020 |
| 6 |
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 |
| 7 |
Relative Network Observability and Its Relation With Network Observability Hou YF, Wang WL, Zang YW, Lin F, Yu M, Gong CH IEEE Transactions on Automatic Control, 65(8), 3584, 2020 |
| 8 |
Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems Reveliotis S, Masopust T IEEE Transactions on Automatic Control, 65(7), 2883, 2020 |
| 9 |
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 |
| 10 |
Design of Supervisors for Active Diagnosis in Discrete Event Systems Hu YH, Ma ZY, Li ZW IEEE Transactions on Automatic Control, 65(12), 5159, 2020 |