Stephen Prajna

Publication Activity (10 Years)

Years Active: 2002-2013
Publications (10 Years): 0

Top Topics

Optimization Criteria

Top Venues

Publications

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