An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
From MaRDI portal
Publication:2178193
DOI10.1016/J.NAHS.2019.100837OpenAlexW2990296706WikidataQ126671559 ScholiaQ126671559MaRDI QIDQ2178193FDOQ2178193
Authors: 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
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
formal verificationbarrier certificatessum of squares programminginterval verificationuncertain hybrid systems
Cites Work
- Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Title not available (Why is that?)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
- Simulation-guided lyapunov analysis for hybrid dynamical systems
- Verification methods: rigorous results using floating-point arithmetic
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Title not available (Why is that?)
- Positive Definiteness and Stability of Interval Matrices
- The algorithmic analysis of hybrid systems
- On the history of multivariate polynomial interpolation
- Existence of Solutions to Systems of Underdetermined Equations and Spherical Designs
- Computing Exact Componentwise Bounds on Solutions of Lineary Systems with Interval Data is NP-Hard
- Estimating the domain of attraction for non-polynomial systems via LMI optimizations
- Verification and synthesis using real quantifier elimination
- Exponential-condition-based barrier certificate generation for safety verification of hybrid systems
- A method for invariant generation for polynomial continuous systems
- A mechanical proof to a geometric inequality of Zirakzadeh through rectangular partition of polyhedra
Cited In (5)
- Quantized feedback control of linear system with performance barrier
- Pegasus: sound continuous invariant generation
- 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
- Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems
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)
