Searching for authors named "Stephen Prajna" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Analysis of Switched and Hybrid Systems - Beyond Piecewise Quadratic Methods
- … Infrastructures from Themselves”. Stephen Prajna, Antonis Papachristodoulou Control and Dynamical Systems…
- Cited by 3 (1 self) – Add To MetaCart
-
Safety Verification of Hybrid Systems Using Barrier Certificates
- …Safety Verification of Hybrid Systems Using Barrier Certificates Stephen Prajna 1 and Ali…
- Cited by 25 (1 self) – Add To MetaCart
-
On the Construction of Lyapunov Functions using the Sum of Squares Decomposition
- … Papachristodoulou 2 Stephen Prajna 2 Control and Dynamical Systems California Institute of Technology Pasadena, CA…
- Cited by 22 (7 self) – Add To MetaCart
-
Inclusion of Frequency Domain Behaviors
- …Inclusion of Frequency Domain Behaviors Stephen Prajna Control and Dynamical Systems California…
- Add To MetaCart
-
G.J.: A framework for worst-case and stochastic safety verification using barrier certificates
- …-Case and Stochastic Safety Verification Using Barrier Certificates Stephen Prajna, Member, IEEE, Ali Jadbabaie, Member…
- Cited by 6 (0 self) – Add To MetaCart
-
Introducing SOSTOOLS: A General Purpose Sum of Squares Programming Solver
- … Solver Stephen Prajna ∗,1 , Antonis Papachristodoulou ∗,1 , and Pablo A. Parrilo † ∗ Control…
- Cited by 19 (7 self) – Add To MetaCart
-
Nonlinear Control Synthesis by Convex Optimization
- …) satisfying Stephen Prajna, Pablo A. Parrilo, and Anders Rantzer ∇ · [ρ(f + gu)] > 0 (1) The collaboration…
- Cited by 4 (1 self) – Add To MetaCart
-
SOSTOOLS - Sum of Squares Optimization Toolbox for MATLAB - User's guide Version 1.00
- … Stephen Prajna 1 Antonis Papachristodoulou 1 Pablo A. Parrilo 2 1 Control and Dynamical Systems California…
- Cited by 26 (4 self) – Add To MetaCart
Showing 1 through 8.
