Construction of parametric barrier functions for dynamical systems using interval analysis
From MaRDI portal
Publication:518335
DOI10.1016/J.AUTOMATICA.2016.12.013zbMATH Open1357.93046arXiv1506.05885OpenAlexW2594023913MaRDI QIDQ518335FDOQ518335
Alexandre Chapoutot, Olivier Bouissou, Adel Djaballah, Michel Kieffer
Publication date: 28 March 2017
Published in: Automatica (Search for Journal in Brave)
Abstract: Recently, barrier certificates have been introduced to prove the safety of continuous or hybrid dynamical systems. A barrier certificate needs to exhibit some barrier function, which partitions the state space in two subsets: the safe subset in which the state can be proved to remain and the complementary subset containing some unsafe region. This approach does not require any reachability analysis, but needs the computation of a valid barrier function, which is difficult when considering general nonlinear systems and barriers. This paper presents a new approach for the construction of barrier functions for nonlinear dynamical systems. The proposed technique searches for the parameters of a parametric barrier function using interval analysis. Complex dynamics can be considered without needing any relaxation of the constraints to be satisfied by the barrier function.
Full work available at URL: https://arxiv.org/abs/1506.05885
Nonlinear systems in control theory (93C10) Control/observation systems governed by ordinary differential equations (93C15) Interval and finite arithmetic (65G30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- dReal: An SMT Solver for Nonlinear Theories over the Reals
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Hybrid Systems: Computation and Control
- Partial cylindrical algebraic decomposition for quantifier elimination
- Semidefinite programming relaxations for semialgebraic problems
- Simulation-guided lyapunov analysis for hybrid dynamical systems
- On the estimation of asymptotic stability regions: State of the art and new proposals
- Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
- Logic in Computer Science
- Differential-difference equations
- Controllability and reachability criteria for switched linear systems
- Hybrid Systems: Computation and Control
- Upper bounding in inner regions for global optimization under inequality constraints
- Contractor programming
- Efficient solving of quantified inequality constraints over the real numbers
- Guaranteed tuning, with application to robust control and motion planning
- Constraint-Based Approach for Analysis of Hybrid Systems
- Barrier certificates for nonlinear model validation
- Logical Analysis of Hybrid Systems
- Compositional safety analysis using barrier certificates
- Transcendental inductive invariants generation for non-linear differential and hybrid systems
- Differential Dynamic Logic for Verifying Parametric Hybrid Systems
- Hybrid Systems: Computation and Control
Cited In (9)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
- An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation
- Vector barrier certificates and comparison systems
- Bracketing backward reach sets of a dynamical system
- Pegasus: sound continuous invariant generation
- Computing Capture Tubes
- Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications
- Synthesizing invariant barrier certificates via difference-of-convex programming
- Stabilization with guaranteed safety using barrier function and control Lyapunov function
Uses Software
This page was built for publication: Construction of parametric barrier functions for dynamical systems using interval analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q518335)
