Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Sean Summers

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c12]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/KamgarpourSL13
- ask others
Maryam Kamgarpour, Sean Summers, John Lygeros: Control design for specifications on stochastic hybrid systems. HSCC 2013: 303-312
2012
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/SummersL12
- ask others
Sean Summers, John Lygeros: Multi-objective optimal control of stochastic hybrid systems. CDC 2012: 1474-1479
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/compeng/HuckKSRL12
- ask others
Stephan M. Huck, Nikolaos Kariotoglou, Sean Summers, Davide Martino Raimondo, John Lygeros: Design of importance-map based randomized patrolling strategies. COMPENG 2012: 1-6
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1212-1269
- ask others
Tyler H. Summers, Konstantin Kunz, Nikolaos Kariotoglou, Maryam Kamgarpour, Sean Summers, John Lygeros: Approximate Dynamic Programming via Sum of Squares Programming. CoRR abs/1212.1269 (2012)
2011
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tac/SummersJLM11
- ask others
Sean Summers, Colin Neil Jones, John Lygeros, Manfred Morari: A Multiresolution Approximation Method for Fast Explicit Model Predictive Control. IEEE Trans. Automat. Contr. 56(11): 2530-2541 (2011)
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/KariotoglouRSL11
- ask others
Nikolaos Kariotoglou, Davide Martino Raimondo, Sean Summers, John Lygeros: A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras. CDC-ECE 2011: 1411-1416
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/RaimondoKSL11
- ask others
Davide Martino Raimondo, Nikolaos Kariotoglou, Sean Summers, John Lygeros: Probabilistic certification of pan-tilt-zoom camera surveillance systems. CDC-ECE 2011: 2064-2069
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/KamgarpourDSALT11
- ask others
Maryam Kamgarpour, Jerry Ding, Sean Summers, Alessandro Abate, John Lygeros, Claire Tomlin: Discrete time stochastic hybrid dynamical games: Verification & controller synthesis. CDC-ECE 2011: 6122-6127
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/SummersKLT11
- ask others
Sean Summers, Maryam Kamgarpour, John Lygeros, Claire Tomlin: A stochastic reach-avoid problem with random obstacles. HSCC 2011: 251-260
2010
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/automatica/SummersL10
- ask others
Sean Summers, John Lygeros: Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem. Automatica 46(12): 1951-1961 (2010)
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/Milias-ArgeitisPSL10
- ask others
Andreas Milias-Argeitis, Riccardo Porreca, Sean Summers, John Lygeros: Bayesian model selection for the yeast GATA-factor network: A comparison of computational approaches. CDC 2010: 3379-3384
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/RamponiCSL10
- ask others
Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros: On the connections between PCTL and dynamic programming. HSCC 2010: 253-262

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/SummersJLM09
- ask others
Sean Summers, Colin Neil Jones, John Lygeros, Manfred Morari: A multiscale approximation scheme for explicit model predictive control with stability, feasibility, and performance guarantees. CDC 2009: 6327-6332
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/PanagouMSLK09
- ask others
Dimitra Panagou, Kostas Margellos, Sean Summers, John Lygeros, Kostas J. Kyriakopoulos: A viability approach for the stabilization of an underactuated underwater vehicle in the presence of current disturbances. CDC 2009: 8612-8617
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/CinquemaniMSL09
- ask others
Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros: Local Identification of Piecewise Deterministic Models of Genetic Networks. HSCC 2009: 105-119
2008
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/bioinformatics/CinquemaniMSL08
- ask others
Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros: Stochastic dynamics of genetic networks: modelling and parameter identification. Bioinformatics 24(23): 2748-2754 (2008)