Assessing safety for control systems using sum-of-squares programming

DOI10.1007/978-3-031-38659-6_7MaRDI QIDQ6979703zbMATH OpenFDO

Authors Han Wang, Kostas Margellos, Antonis Papachristodoulou

Publication date 23 May 2025

Full work available at URL https://doi.org/10.1007/978-3-031-38659-6_7

Mathematics Subject Classification ID

Semidefinite programming (90C22) Polynomial optimization (90C23) Combinatorial optimization (90C27)

Cites work

• A simple hierarchy for computing controlled invariant sets
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• An Interior-Point Method for Semidefinite Programming
• Computation of invariant sets via immersion for discrete-time nonlinear systems
• Computing Robust Controlled Invariant Sets of Linear Systems
• Controllers for reachability specifications for hybrid systems
• Convex computation of the maximum controlled invariant set for polynomial control systems
• Hamilton–Jacobi Formulation for Reach–Avoid Differential Games
• scientific article; zbMATH DE number 3100403 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Infinite time reachability of state-space regions by using feedback control
• Nonlinear systems.
• On reachability and minimum cost optimal control
• On the minimax reachability of target sets and target tubes
• Robust estimations of the region of attraction using invariant sets
• Set-theoretic methods in control
• Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones

This page was built for publication: Assessing safety for control systems using sum-of-squares programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6979703)