A computational approach to synthesizing guards for hybrid systems
type: Item
instance of: scholarly article
title: A computational approach to synthesizing guards for hybrid systems
zbMATH Open document ID: 1297.93100
author: Samuel Coogan
author: Murat Arcak
published in: Systems \& Control Letters
publication date: 2014-10-27T00:00:00Z
full work available at URL: https://arxiv.org/abs/1308.0586
Mathematics Subject Classification ID: 93C30
Mathematics Subject Classification ID: 93B40
zbMATH DE Number: 6362023
zbMATH Keywords: hybrid systems
zbMATH Keywords: guard synthesis
zbMATH Keywords: computational methods
describes a project that uses: Sostools
MaRDI profile type: Publication
OpenAlex ID: W2163860928
arXiv ID: 1308.0586
cites work: Q4953402
cites work: Ellipsoidal techniques for reachability analysis: Internal approximation
cites work: Bisimulation relations for dynamical, control, and hybrid systems
cites work: Optimal control of switching surfaces in hybrid dynamical systems
cites work: A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
cites work: Controllers for reachability specifications for hybrid systems
cites work: Hamilton–Jacobi Formulation for Reach–Avoid Differential Games
cites work: A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
cites work: Q4953410
cites work: Local stability analysis using simulations and sum-of-squares programming
cites work: Semidefinite programming relaxations for semialgebraic problems
cites work: Viability theory
cites work: Q3224358
cites work: Pre- and Post-Processing Sum-of-Squares Programs in Practice
cites work: Set invariance in control
DOI: 10.1016/J.SYSCONLE.2014.08.016
Recommended article: Modeling, analyzing and controlling hybrid systems by guarded flexible nets
Recommended article: Combinatorial methods for invariance and safety of hybrid systems
Recommended article: A compositional approach to the verification of hybrid systems
Recommended article: Composing Reachability Analyses of Hybrid Systems for Safety and Stability
Recommended article: Reachability analysis for hybrid systems with nonlinear guard sets
Recommended article: Safe \& robust reachability analysis of hybrid systems
Recommended article: Hybrid Systems: From Verification to Falsification
Recommended article: Towards Component Based Design of Hybrid Systems: Safety and Stability
Recommended article: Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once
description: scientific article; zbMATH DE number 6362023