| 1 |
Supervisor Localization of Timed Discrete-Event Systems Under Partial Observation
Zhang RY, Cai K
IEEE Transactions on Automatic Control, 65(1), 295, 2020 |
| 2 |
Critical Observability for Automata and Petri & x00A0;Nets
Masopust T
IEEE Transactions on Automatic Control, 65(1), 341, 2020 |
| 3 |
Synthesis of Dynamic Masks for Infinite-Step Opacity
Yin X, Li SY
IEEE Transactions on Automatic Control, 65(4), 1429, 2020 |
| 4 |
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 |
| 5 |
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 |
| 6 |
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 |
| 7 |
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 |
| 8 |
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 |
| 9 |
Supervisor localisation for large-scale discrete-event systems under partial observation
Zhang RY, Cai K
International Journal of Control, 93(3), 387, 2020 |
| 10 |
How selfish individuals achieve unselfish goals: majority-based progressive control of discrete event systems
Park SJ, Yang JM
International Journal of Control, 93(9), 2168, 2020 |
