검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
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 |
| 2 |
Quantitative Temporal Simulation and Refinement Distances for Timed Systems Chatterjee K, Prabhu VS IEEE Transactions on Automatic Control, 60(9), 2291, 2015 |