| 1 |
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 |
| 2 |
Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
Lin LY, Stefanescu A, Wang WL, Su R, Wonham WM
Automatica, 87, 290, 2018 |
| 3 |
Deadlock characterization and control of flexible assembly systems with Petri nets
Xing KY, Wang F, Zhou MC, Lei H, Luo JC
Automatica, 87, 358, 2018 |
| 4 |
Comments on "Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints" [Automatica 45 (2009) 2597-2604]
Devaraj R, Sarkar A, Biswas S
Automatica, 82, 332, 2017 |
| 5 |
Deadlock Analysis of Parameterized-Chain Networks
Zibaeenejad MH, Thistle JG
IEEE Transactions on Automatic Control, 62(4), 2064, 2017 |
| 6 |
Synthesis of Petri net supervisors for FMS via redundant constraint elimination
Huang B, Zhou MC, Zhang GX
Automatica, 61, 156, 2015 |
| 7 |
SAT-Based Control of Concurrent Software for Deadlock Avoidance
Stanley J, Liao HW, Lafortune S
IEEE Transactions on Automatic Control, 60(12), 3269, 2015 |
| 8 |
Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller
Liu GY, Chao DY
International Journal of Control, 88(8), 1423, 2015 |
| 9 |
Comments on "Liveness of an extended (SPR)-P-3" [Automatica 46 (2010) 1008-1018]
Wang SG, Liu M
Automatica, 50(8), 2199, 2014 |
| 10 |
On the Linear Separability of the Safe and Unsafe State Subsets of Single-Unit Resource Allocation Systems
Reveliotis S
IEEE Transactions on Automatic Control, 59(9), 2509, 2014 |
