A computational approach to synthesizing guards for hybrid systems

DOI10.1016/j.sysconle.2014.08.016zbMath1297.93100arXiv1308.0586OpenAlexW2163860928MaRDI QIDQ464595

Samuel Coogan, Arcak, Murat

Publication date: 27 October 2014

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1308.0586

zbMATH Keywords

hybrid systemscomputational methodsguard synthesis

Mathematics Subject Classification ID

Uses Software

• Sostools

Cites Work

• Optimal control of switching surfaces in hybrid dynamical systems
• Local stability analysis using simulations and sum-of-squares programming
• Controllers for reachability specifications for hybrid systems
• Semidefinite programming relaxations for semialgebraic problems
• Ellipsoidal techniques for reachability analysis: Internal approximation
• Set invariance in control
• Bisimulation relations for dynamical, control, and hybrid systems
• Pre- and Post-Processing Sum-of-Squares Programs in Practice
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Hamilton–Jacobi Formulation for Reach–Avoid Differential Games
• Viability theory
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A computational approach to synthesizing guards for hybrid systems