Stephen Prajna

From MaRDI portal
Person:1605404

Available identifiers

zbMath Open prajna.stephenMaRDI QIDQ1605404

List of research outcomes





PublicationDate of PublicationType
Robust Stability Analysis of Nonlinear Hybrid Systems2017-08-08Paper
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates2017-07-27Paper
Nonlinear Control Synthesis by Convex Optimization2017-07-12Paper
Convex Programs for Temporal Verification of Nonlinear Dynamical Systems2008-06-16Paper
Hybrid Systems: Computation and Control2007-09-25Paper
Barrier certificates for nonlinear model validation2007-08-23Paper
Hybrid Systems: Computation and Control2005-11-11Paper
Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition2005-06-24Paper
SOSTOOLS and Its Control Applications2005-06-24Paper
https://portal.mardi4nfdi.de/entity/Q44517102004-03-01Paper
An LMI approach to stabilization of linear port-controlled Hamiltonian systems2002-07-15Paper

Research outcomes over time

This page was built for person: Stephen Prajna

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1605404&oldid=6392208"
Powered by MediaWiki