Stephen Prajna

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Robust Stability Analysis of Nonlinear Hybrid Systems IEEE Transactions on Automatic Control	2017-08-08	Paper
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates IEEE Transactions on Automatic Control	2017-07-27	Paper
Nonlinear Control Synthesis by Convex Optimization IEEE Transactions on Automatic Control	2017-07-12	Paper
Convex Programs for Temporal Verification of Nonlinear Dynamical Systems SIAM Journal on Control and Optimization	2008-06-16	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2007-09-25	Paper
Barrier certificates for nonlinear model validation Automatica	2007-08-23	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2005-11-11	Paper
Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition Positive Polynomials in Control	2005-06-24	Paper
SOSTOOLS and Its Control Applications Positive Polynomials in Control	2005-06-24	Paper
scientific article; zbMATH DE number 2048385 (Why is no real title available?)	2004-03-01	Paper
An LMI approach to stabilization of linear port-controlled Hamiltonian systems Systems & Control Letters	2002-07-15	Paper

Research outcomes over time

This page was built for person: Stephen Prajna