Convex Programs for Temporal Verification of Nonlinear Dynamical Systems

DOI10.1137/050645178zbMath1147.93023OpenAlexW2050383062MaRDI QIDQ3506535

Stephen Prajna, Anders Rantzer

Publication date: 16 June 2008

Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)

Full work available at URL: https://resolver.caltech.edu/CaltechAUTHORS:PRAsiamjco07

zbMATH Keywords

dualityconvex programmingdensity functionreachability analysissafety verificationbarrier certificatetemporal verification

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Nonlinear systems in control theory (93C10) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Control/observation systems governed by ordinary differential equations (93C15)

Related Items (7)

Almost global stability of nonlinear switched systems with mode-dependent and edge-dependent average dwell time ⋮ Flow functions, control flow functions, and the reach control problem ⋮ k-Inductive Barrier Certificates for Stochastic Systems ⋮ Probabilistic model validation for uncertain nonlinear systems ⋮ An axiomatic approach to existence and liveness for differential equations ⋮ Safety of stochastic systems: an analytic and computational approach ⋮ A Lyapunov-density criterion for almost everywhere stability of a class of Lipschitz continuous and almost everywhereC¹nonlinear systems

Uses Software

• Sostools
• d/dt

This page was built for publication: Convex Programs for Temporal Verification of Nonlinear Dynamical Systems