On the construction of Lyapunov functions using the sum of squares decomposition. - Antonis Papachristodoulou; Stephen Prajna (CDC, 2002)

Introducing SOSTOOLS: a general purpose sum of squares programming solver. - Stephen Prajna; Antonis Papachristodoulou; Pablo A. Parrilo (CDC, 2002)

An LMI approach to stabilization of linear port-controlled Hamiltonian systems. - Stephen Prajna; Arjan van der Schaft; Gjerrit Meinsma (Syst. Control. Lett., 2002)

Analysis of switched and hybrid systems - beyond piecewise quadratic methods. - Stephen Prajna; Antonis Papachristodoulou (ACC, 2003)

Model validation and robust stability analysis of the bacterial heat shock response using SOSTOOLS. - Hana El-Samad; Stephen Prajna; Antonis Papachristodoulou; Mustafa Khammash; John C. Doyle 001 (CDC, 2003)

POD model reduction with stability guarantee. - Stephen Prajna (CDC, 2003)

New developments in sum of squares optimization and SOSTOOLS. - Stephen Prajna; Antonis Papachristodoulou; Peter Seiler 001; Pablo A. Parrilo (ACC, 2004)

A new solution approach to polynomial LPV system analysis and synthesis. - Fen Wu; Stephen Prajna (ACC, 2004)

Stochastic safety verification using barrier certificates. - Stephen Prajna; Ali Jadbabaie; George J. Pappas (CDC, 2004)

Safety Verification of Hybrid Systems Using Barrier Certificates. - Stephen Prajna; Ali Jadbabaie (HSCC, 2004)

Nonlinear control synthesis by convex optimization. - Stephen Prajna; Pablo A. Parrilo; Anders Rantzer (IEEE Trans. Autom. Control., 2004)

A tutorial on sum of squares techniques for systems analysis. - Antonis Papachristodoulou; Stephen Prajna (ACC, 2005)

Analysis of the Lactose metabolism in E. coli using sum-of-squares decomposition. - Ali Ahmadzadeh; Ádám M. Halász; Vijay Kumar 001; Stephen Prajna; Ali Jadbabaie (CDC/ECC, 2005)

On Scalar LQG Control with Communication Cost. - Chih-Kai Ko; Xiaojie Gao; Stephen Prajna; Leonard J. Schulman (CDC/ECC, 2005)

Methods for Safety Verification of Time-Delay Systems. - Stephen Prajna; Ali Jadbabaie (CDC/ECC, 2005)

On Model Reduction of Polynomial Dynamical Systems. - Stephen Prajna; Henrik Sandberg (CDC/ECC, 2005)

Primal-Dual Tests for Safety and Reachability. - Stephen Prajna; Anders Rantzer (HSCC, 2005)

Stochastic reachability analysis in complex biological networks. - Hana El-Samad; Maryam Fazel; Xin Liu; Antonis Papachristodoulou; Stephen Prajna (ACC, 2006)

Barrier certificates for nonlinear model validation. - Stephen Prajna (Autom., 2006)

Advanced Methods and Algorithms for Biological Networks Analysis. - Hana El-Samad; Stephen Prajna; Antonis Papachristodoulou; John Doyle 001; Mustafa Khammash (Proc. IEEE, 2006)

Convex Programs for Temporal Verification of Nonlinear Dynamical Systems. - Stephen Prajna; Anders Rantzer (SIAM J. Control. Optim., 2007)

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates. - Stephen Prajna; Ali Jadbabaie; George J. Pappas (IEEE Trans. Autom. Control., 2007)

Robust Stability Analysis of Nonlinear Hybrid Systems. - Antonis Papachristodoulou; Stephen Prajna (IEEE Trans. Autom. Control., 2009)

SOSTOOLS Version 3.00 Sum of Squares Optimization Toolbox for MATLAB. - Antonis Papachristodoulou; James Anderson 001; Giorgio Valmorbida; Stephen Prajna; Pete Seiler 001; Pablo A. Parrilo (CoRR, 2013)