Sean Summers

According to our database, Sean Summers authored at least 24 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Control synthesis for stochastic systems given automata specifications defined by stochastic sets.

Maryam Kamgarpour, Tony A. Wood, Sean Summers, John Lygeros

Autom., 2017

2013

Stochastic system controller synthesis for reachability specifications encoded by random sets.

Sean Summers, Maryam Kamgarpour, Claire J. Tomlin, John Lygeros

Autom., 2013

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

Jerry Ding, Maryam Kamgarpour, Sean Summers, Alessandro Abate, John Lygeros, Claire J. Tomlin

Autom., 2013

Control design for specifications on stochastic hybrid systems.

Maryam Kamgarpour, Sean Summers, John Lygeros

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Approximate dynamic programming via sum of squares programming.

Tyler H. Summers, Konstantin Kunz, Nikolaos Kariotoglou, Maryam Kamgarpour, Sean Summers, John Lygeros

Proceedings of the 12th European Control Conference, 2013

Approximate dynamic programming for stochastic reachability.

Nikolaos Kariotoglou, Sean Summers, Tyler H. Summers, Maryam Kamgarpour, John Lygeros

Proceedings of the 12th European Control Conference, 2013

Hierarchical task allocation for multi-agent systems encoded by stochastic reachability specifications.

Nikolaos Kariotoglou, Sean Summers, Davide Martino Raimondo

Proceedings of the 12th European Control Conference, 2013

A stochastic reachability approach to emergency building evacuation.

Tony A. Wood, Sean Summers, John Lygeros

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Design of importance-map based randomized patrolling strategies.

Stephan M. Huck, Nikolaos Kariotoglou, Sean Summers, Davide Martino Raimondo, John Lygeros

Proceedings of the Complexity in Engineering, 2012

Multi-objective optimal control of stochastic hybrid systems.

Sean Summers, John Lygeros

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

A Multiresolution Approximation Method for Fast Explicit Model Predictive Control.

Sean Summers, Colin N. Jones, John Lygeros, Manfred Morari

IEEE Trans. Autom. Control., 2011

A stochastic reach-avoid problem with random obstacles.

Sean Summers, Maryam Kamgarpour, John Lygeros, Claire J. Tomlin

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Probabilistic certification of pan-tilt-zoom camera surveillance systems.

Davide Martino Raimondo, Nikolaos Kariotoglou, Sean Summers, John Lygeros

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras.

Nikolaos Kariotoglou, Davide Martino Raimondo, Sean Summers, John Lygeros

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Discrete time stochastic hybrid dynamical games: Verification & controller synthesis.

Maryam Kamgarpour, Jerry Ding, Sean Summers, Alessandro Abate, John Lygeros, Claire J. Tomlin

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

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

Sean Summers, John Lygeros

Autom., 2010

On the connections between PCTL and dynamic programming.

Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Bayesian model selection for the yeast GATA-factor network: A comparison of computational approaches.

Andreas Milias-Argeitis, Riccardo Porreca, Sean Summers, John Lygeros

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Local Identification of Piecewise Deterministic Models of Genetic Networks.

Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

A multiscale approximation scheme for explicit model predictive control with stability, feasibility, and performance guarantees.

Sean Summers, Colin N. Jones, John Lygeros, Manfred Morari

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

A viability approach for the stabilization of an underactuated underwater vehicle in the presence of current disturbances.

Dimitra Panagou, Kostas Margellos, Sean Summers, John Lygeros, Kostas J. Kyriakopoulos

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

A Probabilistic Reach-Avoid Problem for Controlled Discrete Time Stochastic Hybrid Systems.

Sean Summers, John Lygeros

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

Stochastic dynamics of genetic networks: modelling and parameter identification.

Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros

Bioinform., 2008

2007

MPDopt: A versatile toolbox for adjoint-based model predictive control of smooth and switched nonlinear dynamic systems.

Sean Summers, Thomas R. Bewley

Proceedings of the 46th IEEE Conference on Decision and Control, 2007