An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems

DOI10.1016/j.nahs.2019.100837OpenAlexW2990296706WikidataQ126671559 ScholiaQ126671559MaRDI QIDQ2178193

Yanyan Li

Publication date: 7 May 2020

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2019.100837

zbMATH Keywords

formal verificationbarrier certificatessum of squares programminginterval verificationuncertain hybrid systems

Mathematics Subject Classification ID

Numerical analysis (65-XX) Systems theory; control (93-XX)

Related Items

Pegasus: sound continuous invariant generation ⋮ Quantized feedback control of linear system with performance barrier ⋮ Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems ⋮ Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions

Uses Software

• Sostools
• SeDuMi
• INTLAB
• RSOLVER
• YALMIP
• Benchmarks
• HSolver
• dReach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• The algorithmic analysis of hybrid systems
• Estimating the domain of attraction for non-polynomial systems via LMI optimizations
• On the history of multivariate polynomial interpolation
• Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
• A Method for Invariant Generation for Polynomial Continuous Systems
• Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
• Verification methods: Rigorous results using floating-point arithmetic
• Simulation-guided lyapunov analysis for hybrid dynamical systems
• Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
• Positive Definiteness and Stability of Interval Matrices
• Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
• Computing Exact Componentwise Bounds on Solutions of Lineary Systems with Interval Data is NP-Hard
• Verification and synthesis using real quantifier elimination
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Existence of Solutions to Systems of Underdetermined Equations and Spherical Designs
• Hybrid Systems: Computation and Control