| 1 |
Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems
Bisoffi A, Dimarogonas DV
IEEE Transactions on Automatic Control, 66(2), 818, 2021 |
| 2 |
Optimal Secure Control With Linear Temporal Logic Constraints
Niu LY, Clark A
IEEE Transactions on Automatic Control, 65(6), 2434, 2020 |
| 3 |
Compositional construction of infinite abstractions for networks of stochastic control systems
Lavaei A, Soudjani S, Zamani M
Automatica, 107, 125, 2019 |
| 4 |
Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems
Meyer PJ, Dimarogonas DV
IEEE Transactions on Automatic Control, 64(11), 4676, 2019 |
| 5 |
Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks
Kantaros Y, Guo M, Zavlanos MM
IEEE Transactions on Automatic Control, 64(10), 4105, 2019 |
| 6 |
Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints
Guo M, Zavlanos MM
IEEE Transactions on Automatic Control, 63(12), 4051, 2018 |
| 7 |
Symbolic control design for monotone systems with directed specifications
Kim ES, Arcak M, Seshia SA
Automatica, 83, 10, 2017 |
| 8 |
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
Wongpiromsarn T, Topcu U, Lamperski A
IEEE Transactions on Automatic Control, 61(11), 3344, 2016 |
| 9 |
Temporal logic model predictive control
Gol EA, Lazar M, Belta C
Automatica, 56, 78, 2015 |
| 10 |
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties
Svorenova M, Cerna I, Belta C
IEEE Transactions on Automatic Control, 60(6), 1528, 2015 |
