Stephen Prajna

According to our database, Stephen Prajna authored at least 24 papers between 2002 and 2013.

Collaborative distances:

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

2013

SOSTOOLS Version 3.00 Sum of Squares Optimization Toolbox for MATLAB.

Antonis Papachristodoulou, James Anderson, Giorgio Valmorbida, Stephen Prajna, Pete Seiler, Pablo A. Parrilo

CoRR, 2013

2009

Robust Stability Analysis of Nonlinear Hybrid Systems.

Antonis Papachristodoulou, Stephen Prajna

IEEE Trans. Autom. Control., 2009

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

Convex Programs for Temporal Verification of Nonlinear Dynamical Systems.

Stephen Prajna, Anders Rantzer

SIAM J. Control. Optim., 2007

2006

Advanced Methods and Algorithms for Biological Networks Analysis.

Hana El-Samad, Stephen Prajna, Antonis Papachristodoulou, John Doyle, Mustafa Khammash

Proc. IEEE, 2006

Stochastic reachability analysis in complex biological networks.

Hana El-Samad, Maryam Fazel, Xin Liu, Antonis Papachristodoulou, Stephen Prajna

Proceedings of the American Control Conference, 2006

2005

Primal-Dual Tests for Safety and Reachability.

Stephen Prajna, Anders Rantzer

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

On Model Reduction of Polynomial Dynamical Systems.

Stephen Prajna, Henrik Sandberg

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Methods for Safety Verification of Time-Delay Systems.

Stephen Prajna, Ali Jadbabaie

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

On Scalar LQG Control with Communication Cost.

Chih-Kai Ko, Xiaojie Gao, Stephen Prajna, Leonard J. Schulman

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Analysis of the Lactose metabolism in E. coli using sum-of-squares decomposition.

Ali Ahmadzadeh, Ádám M. Halász, Vijay Kumar, Stephen Prajna, Ali Jadbabaie

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

A tutorial on sum of squares techniques for systems analysis.

Antonis Papachristodoulou, Stephen Prajna

Proceedings of the American Control Conference, 2005

2004

Nonlinear control synthesis by convex optimization.

Stephen Prajna, Pablo A. Parrilo, Anders Rantzer

IEEE Trans. Autom. Control., 2004

Safety Verification of Hybrid Systems Using Barrier Certificates.

Stephen Prajna, Ali Jadbabaie

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Stochastic safety verification using barrier certificates.

Stephen Prajna, Ali Jadbabaie, George J. Pappas

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

A new solution approach to polynomial LPV system analysis and synthesis.

Fen Wu, Stephen Prajna

Proceedings of the 2004 American Control Conference, 2004

New developments in sum of squares optimization and SOSTOOLS.

Stephen Prajna, Antonis Papachristodoulou, Peter Seiler, Pablo A. Parrilo

Proceedings of the 2004 American Control Conference, 2004

2003

POD model reduction with stability guarantee.

Stephen Prajna

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Barrier certificates for nonlinear model validation.

Stephen Prajna

Proceedings of the 42nd IEEE Conference on Decision and Control, 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

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Analysis of switched and hybrid systems - beyond piecewise quadratic methods.

Stephen Prajna, Antonis Papachristodoulou

Proceedings of the American Control Conference, 2003

2002

An LMI approach to stabilization of linear port-controlled Hamiltonian systems.

Stephen Prajna, Arjan van der Schaft, Gjerrit Meinsma

Syst. Control. Lett., 2002

Introducing SOSTOOLS: a general purpose sum of squares programming solver.

Stephen Prajna, Antonis Papachristodoulou, Pablo A. Parrilo

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

On the construction of Lyapunov functions using the sum of squares decomposition.

Antonis Papachristodoulou, Stephen Prajna

Proceedings of the 41st IEEE Conference on Decision and Control, 2002