검색결과 : 5건
| No. | Article |
|---|---|
| 1 |
Robust control for signal temporal logic specifications using discrete average space robustness Lindemann L, Dimarogonas DV Automatica, 101, 377, 2019 |
| 2 |
Feedback control strategies for multi-agent systems under a fragment at) of signal temporal logic tasks Lindemann L, Dimarogonas DV Automatica, 106, 284, 2019 |
| 3 |
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances Farahani SS, Majumdar R, Prabhu VS, Soudjani S IEEE Transactions on Automatic Control, 64(8), 3324, 2019 |
| 4 |
Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study Farahani SS, Soudjani S, Majumdar R, Ocampo-Martinez C Journal of Process Control, 69, 179, 2018 |
| 5 |
Temporal Logics for Learning and Detection of Anomalous Behavior Kong ZD, Jones A, Belta C IEEE Transactions on Automatic Control, 62(3), 1210, 2017 |