A computational approach to synthesizing guards for hybrid systems

DOI10.1016/J.SYSCONLE.2014.08.016zbMATH Open1297.93100arXiv1308.0586OpenAlexW2163860928MaRDI QIDQ464595FDOQ464595

Authors: Samuel Coogan, Murat Arcak 

Publication date: 27 October 2014

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

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.

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

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

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)

Cites Work

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

Cited In (1)

• Synthesizing Switching Logic Using Constraint Solving

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)