Concepedia

S. Prajna

SP

Statistics

Publications

29

Citations

4K

H-Index

25

Active since

2002

Affiliations

California Institute of Technology(Current)

University of Pennsylvania

North Carolina State University

University of Illinois Urbana-Champaign

Lund University

S. Prajna is an author at California Institute of Technology specializing in engineering, systems engineering, and mathematical programming.

Top concepts

EngineeringSystems EngineeringMathematical ProgrammingStabilityComputer ScienceVerificationNumerical AnalysisFormal VerificationApproximation TheoryModeling And Simulation

Publications per year

2002–2013

29

Publications

29

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates

S. Prajna, Ali Jadbabaie, George J. Pappas · IEEE Transactions on Automatic Control · 2007 · 629 citations

Mathematical Programming, Engineering, Reachability Problem +20

Introducing SOSTOOLS: a general purpose sum of squares programming solver

S. Prajna, Antonis Papachristodoulou, Pablo A. Parrilo · 2003 · 551 citations

Mathematical Programming, Large-scale Global Optimization, Computational Science +14

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

Antonis Papachristodoulou, S. Prajna · 2003 · 458 citations

Mathematical Programming, Nonlinear Control, Engineering +14

Nonlinear control synthesis by sum of squares optimization: a Lyapunov-based approach

S. Prajna, Antonis Papachristodoulou, Fen Wu · CaltechAUTHORS (California Institute of Technology) · 2004 · 405 citations

Nonlinear Control Synthesis by Convex Optimization

S. Prajna, Pablo A. Parrilo, Anders Rantzer · IEEE Transactions on Automatic Control · 2004 · 304 citations · Full text

Stability Analysis, Nonlinear Control, Lyapunov Analysis +8

1–5 of 29