검색결과 : 5건
| No. | Article |
|---|---|
| 1 |
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems Lavaei A, Soudjani S, Zamani M IEEE Transactions on Automatic Control, 65(12), 5280, 2020 |
| 2 |
Compositional construction of infinite abstractions for networks of stochastic control systems Lavaei A, Soudjani S, Zamani M Automatica, 107, 125, 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 |
Compositional Synthesis of Finite-State Abstractions Mallik K, Schmuck AK, Soudjani S, Majumdar R IEEE Transactions on Automatic Control, 64(6), 2629, 2019 |
| 5 |
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 |