검색결과 : 8건
| No. | Article |
|---|---|
| 1 |
Optimal Secure Control With Linear Temporal Logic Constraints Niu LY, Clark A IEEE Transactions on Automatic Control, 65(6), 2434, 2020 |
| 2 |
Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems Meyer PJ, Dimarogonas DV IEEE Transactions on Automatic Control, 64(11), 4676, 2019 |
| 3 |
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 |
| 4 |
Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints Guo M, Zavlanos MM IEEE Transactions on Automatic Control, 63(12), 4051, 2018 |
| 5 |
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 |
| 6 |
Language-Guided Controller Synthesis for Linear Systems Gol EA, Lazar M, Belta C IEEE Transactions on Automatic Control, 59(5), 1163, 2014 |
| 7 |
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints Ding XC, Smith SL, Belta C, Rus D IEEE Transactions on Automatic Control, 59(5), 1244, 2014 |
| 8 |
Receding Horizon Temporal Logic Planning Wongpiromsarn T, Topcu U, Murray RM IEEE Transactions on Automatic Control, 57(11), 2817, 2012 |