In silico feedback for in vivo regulation of a gene expression circuit A Milias-Argeitis, S Summers, J Stewart-Ornstein, I Zuleta, D Pincus, ... Nature biotechnology 29 (12), 1114-1116, 2011 | 330 | 2011 |
Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem S Summers, J Lygeros Automatica 46 (12), 1951-1961, 2010 | 194 | 2010 |
Multimodal agile robots TR Bewley, C Schmidt-Wetekam, J Moore, J DiMatteo, M Ramirez, ... US Patent 8,083,013, 2011 | 112 | 2011 |
A multiresolution approximation method for fast explicit model predictive control S Summers, CN Jones, J Lygeros, M Morari IEEE Transactions on Automatic Control 56 (11), 2530-2541, 2011 | 96 | 2011 |
A stochastic reach-avoid problem with random obstacles S Summers, M Kamgarpour, J Lygeros, C Tomlin Proceedings of the 14th international conference on Hybrid systems …, 2011 | 61 | 2011 |
Approximate dynamic programming for stochastic reachability N Kariotoglou, S Summers, T Summers, M Kamgarpour, J Lygeros 2013 European Control Conference (ECC), 584-589, 2013 | 60 | 2013 |
A stochastic games framework for verification and control of discrete time stochastic hybrid systems J Ding, M Kamgarpour, S Summers, A Abate, J Lygeros, C Tomlin Automatica 49 (9), 2665-2674, 2013 | 56 | 2013 |
Moment estimation for chemically reacting systems by extended Kalman filtering J Ruess, A Milias-Argeitis, S Summers, J Lygeros The Journal of chemical physics 135 (16), 2011 | 47 | 2011 |
Approximate dynamic programming via sum of squares programming TH Summers, K Kunz, N Kariotoglou, M Kamgarpour, S Summers, ... 2013 European Control Conference (ECC), 191-197, 2013 | 39 | 2013 |
On the connections between PCTL and dynamic programming F Ramponi, D Chatterjee, S Summers, J Lygeros Proceedings of the 13th ACM international conference on Hybrid Systems …, 2010 | 39 | 2010 |
Stochastic dynamics of genetic networks: modelling and parameter identification E Cinquemani, A Milias-Argeitis, S Summers, J Lygeros Bioinformatics 24 (23), 2748-2754, 2008 | 38 | 2008 |
Discrete time stochastic hybrid dynamical games: Verification & controller synthesis M Kamgarpour, J Ding, S Summers, A Abate, J Lygeros, C Tomlin 2011 50th IEEE Conference on Decision and Control and European Control …, 2011 | 35 | 2011 |
Fast explicit nonlinear model predictive control via multiresolution function approximation with guaranteed stability S Summers, DM Raimondo, CN Jones, J Lygeros, M Morari IFAC Proceedings Volumes 43 (14), 533-538, 2010 | 35 | 2010 |
A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras N Kariotoglou, DM Raimondo, S Summers, J Lygeros 2011 50th IEEE Conference on Decision and Control and European Control …, 2011 | 26 | 2011 |
Control design for specifications on stochastic hybrid systems M Kamgarpour, S Summers, J Lygeros Proceedings of the 16th international conference on Hybrid systems …, 2013 | 25 | 2013 |
A multiscale approximation scheme for explicit model predictive control with stability, feasibility, and performance guarantees S Summers, CN Jones, J Lygeros, M Morari Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held …, 2009 | 23 | 2009 |
Stochastic system controller synthesis for reachability specifications encoded by random sets S Summers, M Kamgarpour, C Tomlin, J Lygeros Automatica 49 (9), 2906-2910, 2013 | 21 | 2013 |
Multi-agent autonomous surveillance: a framework based on stochastic reachability and hierarchical task allocation N Kariotoglou, DM Raimondo, SJ Summers, J Lygeros Journal of dynamic systems, measurement, and control 137 (3), 031008, 2015 | 20 | 2015 |
A viability approach for the stabilization of an underactuated underwater vehicle in the presence of current disturbances D Panagou, K Margellos, S Summers, J Lygeros, KJ Kyriakopoulos Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held …, 2009 | 20 | 2009 |
A set-theoretic method for verifying feasibility of a fast explicit nonlinear model predictive controller DM Raimondo, S Riverso, S Summers, CN Jones, J Lygeros, M Morari Distributed decision making and control, 289-311, 2012 | 19 | 2012 |