Sean Summers

In silico feedback for in vivo regulation of a gene expression circuit

Andreas Milias‐Argeitis, Sean Summers, Jacob Stewart-Ornstein et al. · Nature Biotechnology · 2011 · 290 citations · Full text

Engineering, Molecular Biology, Silico Feedback +16

Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem

Sean Summers, John Lygeros · Automatica · 2010 · 163 citations

Stochastic Hybrid System, Engineering, Reachability Problem +7

A Multiresolution Approximation Method for Fast Explicit Model Predictive Control

Sean Summers, Colin N. Jones, John Lygeros et al. · IEEE Transactions on Automatic Control · 2011 · 89 citations · Full text

Numerical Analysis, Control Method, Real-time Control +13

A stochastic games framework for verification and control of discrete time stochastic hybrid systems

Jerry Ding, Maryam Kamgarpour, Sean Summers et al. · Automatica · 2013 · 56 citations · Full text

Stochastic Hybrid System, Differential Game, Stochastic Game +6

Approximate dynamic programming for stochastic reachability

Nikolaos Kariotoglou, Sean Summers, Tyler Summers et al. · 2013 · 51 citations · Full text

Mathematical Programming, Stochastic Hybrid System, Infinite State +12