Stephen Prajna

25 papers C 5Journal 8Unranked 12
YearRankTypeTitle / Venue / Authors
2013 J jnl
SOSTOOLS Version 3.00 Sum of Squares Optimization Toolbox for MATLAB.
CoRR
Antonis Papachristodoulou, James Anderson, Giorgio Valmorbida, Stephen Prajna, Pete Seiler, Pablo A. Parrilo
2009 J jnl
Robust Stability Analysis of Nonlinear Hybrid Systems.
IEEE Trans. Autom. Control.
Antonis Papachristodoulou, Stephen Prajna
2007 J jnl
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates.
IEEE Trans. Autom. Control.
Stephen Prajna, Ali Jadbabaie, George J. Pappas
2007 J jnl
Convex Programs for Temporal Verification of Nonlinear Dynamical Systems.
SIAM J. Control. Optim.
Stephen Prajna, Anders Rantzer
2006 J jnl
Advanced Methods and Algorithms for Biological Networks Analysis.
Proc. IEEE
Hana El-Samad, Stephen Prajna, Antonis Papachristodoulou, John Doyle, Mustafa Khammash
2006 J jnl
Barrier certificates for nonlinear model validation.
Autom.
Stephen Prajna
2006 C conf
Stochastic reachability analysis in complex biological networks.
ACC
Hana El-Samad, Maryam Fazel, Xin Liu, Antonis Papachristodoulou, Stephen Prajna
2005 C conf
A tutorial on sum of squares techniques for systems analysis.
ACC
Antonis Papachristodoulou, Stephen Prajna
2005 — conf
Analysis of the Lactose metabolism in E. coli using sum-of-squares decomposition.
CDC/ECC
Ali Ahmadzadeh, Ádám M. Halász, Vijay Kumar, Stephen Prajna, Ali Jadbabaie
2005 — conf
Methods for Safety Verification of Time-Delay Systems.
CDC/ECC
Stephen Prajna, Ali Jadbabaie
2005 — conf
On Model Reduction of Polynomial Dynamical Systems.
CDC/ECC
Stephen Prajna, Henrik Sandberg
2005 — conf
On Scalar LQG Control with Communication Cost.
CDC/ECC
Chih-Kai Ko, Xiaojie Gao, Stephen Prajna, Leonard J. Schulman
2005 — conf
Primal-Dual Tests for Safety and Reachability.
HSCC
Stephen Prajna, Anders Rantzer
2004 C conf
A new solution approach to polynomial LPV system analysis and synthesis.
ACC
Fen Wu, Stephen Prajna
2004 C conf
New developments in sum of squares optimization and SOSTOOLS.
ACC
Stephen Prajna, Antonis Papachristodoulou, Peter Seiler, Pablo A. Parrilo
2004 J jnl
Nonlinear control synthesis by convex optimization.
IEEE Trans. Autom. Control.
Stephen Prajna, Pablo A. Parrilo, Anders Rantzer
2004 — conf
Safety Verification of Hybrid Systems Using Barrier Certificates.
HSCC
Stephen Prajna, Ali Jadbabaie
2004 — conf
Stochastic safety verification using barrier certificates.
CDC
Stephen Prajna, Ali Jadbabaie, George J. Pappas
2003 C conf
Analysis of switched and hybrid systems - beyond piecewise quadratic methods.
ACC
Stephen Prajna, Antonis Papachristodoulou
2003 — conf
Barrier certificates for nonlinear model validation.
CDC
Stephen Prajna
2003 — conf
Model validation and robust stability analysis of the bacterial heat shock response using SOSTOOLS.
CDC
Hana El-Samad, Stephen Prajna, Antonis Papachristodoulou, Mustafa Khammash, John C. Doyle
2003 — conf
POD model reduction with stability guarantee.
CDC
Stephen Prajna
2002 J jnl
An LMI approach to stabilization of linear port-controlled Hamiltonian systems.
Syst. Control. Lett.
Stephen Prajna, Arjan van der Schaft, Gjerrit Meinsma
2002 — conf
Introducing SOSTOOLS: a general purpose sum of squares programming solver.
CDC
Stephen Prajna, Antonis Papachristodoulou, Pablo A. Parrilo
2002 — conf
On the construction of Lyapunov functions using the sum of squares decomposition.
CDC
Antonis Papachristodoulou, Stephen Prajna