Construction of parametric barrier functions for dynamical systems using interval analysis
type: Item
instance of: scholarly article
title: Construction of parametric barrier functions for dynamical systems using interval analysis
zbMATH Open document ID: 1357.93046
author: Adel Djaballah
author: Alexandre Chapoutot
author: Michel Kieffer
author: Olivier Bouissou
published in: Automatica
publication date: 2017-03-28T00:00:00Z
full work available at URL: https://arxiv.org/abs/1506.05885
Mathematics Subject Classification ID: 93C10
Mathematics Subject Classification ID: 93C15
Mathematics Subject Classification ID: 65G30
zbMATH DE Number: 6697711
zbMATH Keywords: formal verification
zbMATH Keywords: dynamic systems
zbMATH Keywords: intervals
zbMATH Keywords: constraint satisfaction problem
describes a project that uses: QEPCAD
describes a project that uses: RSOLVER
describes a project that uses: dReal
describes a project that uses: SpaceEx
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2594023913
arXiv ID: 1506.05885
cites work: Upper bounding in inner regions for global optimization under inequality constraints
cites work: Q4953376
cites work: Differential-difference equations
cites work: Q4472553
cites work: Contractor programming
cites work: Q4249565
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: dReal: An SMT Solver for Nonlinear Theories over the Reals
cites work: On the estimation of asymptotic stability regions: State of the art and new proposals
cites work: Constraint-Based Approach for Analysis of Hybrid Systems
cites work: Logic in Computer Science
cites work: Q2713275
cites work: Guaranteed tuning, with application to robust control and motion planning
cites work: Simulation-guided lyapunov analysis for hybrid dynamical systems
cites work: Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
cites work: Semidefinite programming relaxations for semialgebraic problems
cites work: Differential Dynamic Logic for Verifying Parametric Hybrid Systems
cites work: Logical Analysis of Hybrid Systems
cites work: Barrier certificates for nonlinear model validation
cites work: Hybrid Systems: Computation and Control
cites work: Efficient solving of quantified inequality constraints over the real numbers
cites work: Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
cites work: Transcendental inductive invariants generation for non-linear differential and hybrid systems
cites work: Compositional safety analysis using barrier certificates
cites work: Controllability and reachability criteria for switched linear systems
cites work: Q4418865
cites work: Q3126818
DOI: 10.1016/J.AUTOMATICA.2016.12.013
description: scientific article