검색결과 : 32건
| No. | Article |
|---|---|
| 1 |
Synthesis of Dynamic Masks for Infinite-Step Opacity Yin X, Li SY IEEE Transactions on Automatic Control, 65(4), 1429, 2020 |
| 2 |
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 |
| 3 |
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 |
| 4 |
Fault Diagnosis of Discrete Event Systems Under Unknown Initial Conditions White A, Karimoddini A, Su R IEEE Transactions on Automatic Control, 64(12), 5246, 2019 |
| 5 |
Near-Optimal Scheduling for Petri Net Models With Forbidden Markings Lefebvre D IEEE Transactions on Automatic Control, 63(8), 2550, 2018 |
| 6 |
Decentralized Supervisory Control of Discrete Event Systems: An Arborescent Architecture to Realize Inference-Based Control Khoumsi A, Chakib H IEEE Transactions on Automatic Control, 63(12), 4278, 2018 |
| 7 |
A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata Cabral FG, Moreira MV, Diene O, Basilio JC IEEE Transactions on Automatic Control, 60(1), 59, 2015 |
| 8 |
Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds Chen J, Kumar R IEEE Transactions on Automatic Control, 60(6), 1542, 2015 |
| 9 |
Stochastic Failure Prognosability of Discrete Event Systems Chen J, Kumar R IEEE Transactions on Automatic Control, 60(6), 1570, 2015 |
| 10 |
An Augmented Petri Net Model for Health-Care Protocols Whittaker SJ, Rudie K, McLellan J IEEE Transactions on Automatic Control, 60(9), 2362, 2015 |