검색결과 : 16건
| No. | Article |
|---|---|
| 1 |
Formal Synthesis of Control Strategies for Positive Monotone Systems Sadraddini S, Belta C IEEE Transactions on Automatic Control, 64(2), 480, 2019 |
| 2 |
Temporal Logics for Learning and Detection of Anomalous Behavior Kong ZD, Jones A, Belta C IEEE Transactions on Automatic Control, 62(3), 1210, 2017 |
| 3 |
An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints Deng K, Chen YS, Belta C IEEE Transactions on Automatic Control, 62(9), 4549, 2017 |
| 4 |
Temporal logic model predictive control Gol EA, Lazar M, Belta C Automatica, 56, 78, 2015 |
| 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 |
Formal Verification and Synthesis for Discrete-Time Stochastic Systems Lahijanian M, Andersson SB, Belta C IEEE Transactions on Automatic Control, 60(8), 2031, 2015 |
| 7 |
LTL receding horizon control for finite deterministic systems Ding XC, Lazar M, Belta C Automatica, 50(2), 399, 2014 |
| 8 |
Language-Guided Controller Synthesis for Linear Systems Gol EA, Lazar M, Belta C IEEE Transactions on Automatic Control, 59(5), 1163, 2014 |
| 9 |
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 |
| 10 |
Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications Ayala AM, Andersson SB, Belta C IEEE Transactions on Automatic Control, 59(9), 2568, 2014 |