검색결과 : 5건
| No. | Article |
|---|---|
| 1 |
Control synthesis for stochastic systems given automata specifications defined by stochastic sets Kamgarpour M, Wood TA, Summers S, Lygeros J Automatica, 76, 177, 2017 |
| 2 |
A stochastic games framework for verification and control of discrete time stochastic hybrid systems Ding J, Kamgarpour M, Summers S, Abate A, Lygeros J, Tomlin C Automatica, 49(9), 2665, 2013 |
| 3 |
Stochastic system controller synthesis for reachability specifications encoded by random sets Summers S, Kamgarpour M, Tomlin C, Lygeros J Automatica, 49(9), 2906, 2013 |
| 4 |
A Multiresolution Approximation Method for Fast Explicit Model Predictive Control Summers S, Jones CN, Lygeros J, Morari M IEEE Transactions on Automatic Control, 56(11), 2530, 2011 |
| 5 |
Verification of discrete time stochastic hybrid systems A stochastic reach-avoid decision problem Summers S, Lygeros J Automatica, 46(12), 1951, 2010 |