| 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 |
On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets
Salimi E, Sreenivas RS
IEEE Transactions on Automatic Control, 60(10), 2825, 2015 |
| 3 |
SAT-Based Control of Concurrent Software for Deadlock Avoidance
Stanley J, Liao HW, Lafortune S
IEEE Transactions on Automatic Control, 60(12), 3269, 2015 |
| 4 |
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 |
| 5 |
An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic
Kim KD, Kumar PR
IEEE Transactions on Automatic Control, 59(12), 3341, 2014 |
| 6 |
A distributed protocol for motion coordination in free-range vehicular systems
Roszkowska E, Reveliotis S
Automatica, 49(6), 1639, 2013 |
| 7 |
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
Liu D, Li ZW, Zhou MC
Automatica, 49(11), 3167, 2013 |
| 8 |
Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models
Basile F, Cordone R, Piroddi L
Automatica, 49(11), 3432, 2013 |
| 9 |
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
Liao HW, Lafortune S, Reveliotis S, Wang Y, Mahlke S
IEEE Transactions on Automatic Control, 58(5), 1123, 2013 |
| 10 |
Enforcing Detectability in Controlled Discrete Event Systems
Shu SL, Lin F
IEEE Transactions on Automatic Control, 58(8), 2125, 2013 |
