An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
From MaRDI portal
Publication:2178193
Recommendations
- A linear programming relaxation based approach for generating barrier certificates of hybrid systems
- Exponential-condition-based barrier certificate generation for safety verification of hybrid systems
- Safety verification of interconnected hybrid systems using barrier certificates
- Hybrid Systems: Computation and Control
- Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
- A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- Formal Synthesis of Stochastic Systems via Control Barrier Certificates
- From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems
- A barrier function approach to finite-time stochastic system verification and control
Cites work
- scientific article; zbMATH DE number 3880009 (Why is no real title available?)
- scientific article; zbMATH DE number 47363 (Why is no real title available?)
- scientific article; zbMATH DE number 1201576 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- A mechanical proof to a geometric inequality of Zirakzadeh through rectangular partition of polyhedra
- A method for invariant generation for polynomial continuous systems
- Computing Exact Componentwise Bounds on Solutions of Lineary Systems with Interval Data is NP-Hard
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Estimating the domain of attraction for non-polynomial systems via LMI optimizations
- Existence of Solutions to Systems of Underdetermined Equations and Spherical Designs
- Exponential-condition-based barrier certificate generation for safety verification of hybrid systems
- Hybrid Systems: Computation and Control
- On the history of multivariate polynomial interpolation
- Positive Definiteness and Stability of Interval Matrices
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Simulation-guided Lyapunov analysis for hybrid dynamical systems
- Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
- The algorithmic analysis of hybrid systems
- Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
- Verification and synthesis using real quantifier elimination
- Verification methods: rigorous results using floating-point arithmetic
Cited in
(5)- Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions
- Data-driven verification and synthesis of stochastic systems via barrier certificates
- 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
Describes a project that uses
Uses Software
This page was built for publication: An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2178193)
