A computational approach to synthesizing guards for hybrid systems

DOI10.1016/J.SYSCONLE.2014.08.016MaRDI QIDQ464595zbMATH OpenOpenAlexFDO

Authors Samuel Coogan, Murat Arcak

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

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Abstract: It is well know that for globally contractive autonomous systems, there exists a unique equilibrium and the distance to the equilibrium evaluated along any trajectory decreases exponentially with time. We show that, additionally, the magnitude of the velocity evaluated along any trajectory decreases exponentially, thus giving an alternative choice of Lyapunov function.

Recommendations

• Modeling, analyzing and controlling hybrid systems by guarded flexible nets
• Combinatorial methods for invariance and safety of hybrid systems
• A compositional approach to the verification of hybrid systems
• Composing reachability analyses of hybrid systems for safety and stability
• Reachability analysis for hybrid systems with nonlinear guard sets
• Safe \& robust reachability analysis of hybrid systems
• Hybrid Systems: From Verification to Falsification
• Towards Component Based Design of Hybrid Systems: Safety and Stability
• Hybrid tools for hybrid systems -- proving stability and safety at once

Cites work

• scientific article; zbMATH DE number 1444360 (Why is no real title available?)
• scientific article; zbMATH DE number 1444367 (Why is no real title available?)
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• Bisimulation relations for dynamical, control, and hybrid systems
• Controllers for reachability specifications for hybrid systems
• Ellipsoidal techniques for reachability analysis: Internal approximation
• Hamilton–Jacobi Formulation for Reach–Avoid Differential Games
• Hybrid dynamical systems. Modeling, stability, and robustness
• Local stability analysis using simulations and sum-of-squares programming
• Optimal control of switching surfaces in hybrid dynamical systems
• Pre- and Post-Processing Sum-of-Squares Programs in Practice
• Semidefinite programming relaxations for semialgebraic problems
• Set invariance in control
• Viability theory

Cited in

(3)

• Synthesizing Switching Logic Using Constraint Solving
• Synthesizing switching controllers for hybrid systems by generating invariants
• Automatic synthesis of switching controllers for linear hybrid systems: safety control

Describes a project that uses

Uses Software

• Sostools

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

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