A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
From MaRDI portal
Publication:5282200
Cited in
(83)- A computational approach to synthesizing guards for hybrid systems
- Maximizing the probability of attaining a target prior to extinction
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings
- Safety-critical dynamic event-triggered control of nonlinear systems
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
- Some applications of polynomial optimization in operations research and real-time decision making
- Automated and formal synthesis of neural barrier certificates for dynamical models
- Co-design of safe and efficient networked control systems in factory automation with state-dependent wireless fading channels
- Safe autonomy under perception uncertainty using chance-constrained temporal logic
- An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation
- Small-gain theorem for safety verification of interconnected systems
- Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- Sufficient conditions for feasibility of optimal control problems using control barrier functions
- Control barrier functions for stochastic systems
- Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems
- Computing differential invariants of hybrid systems as fixed points
- Vehicle motion control under equality and inequality constraints: a diffeomorphism approach
- Transverse contraction criteria for existence, stability, and robustness of a limit cycle
- Design and analysis of a potential-based controller for safe robot navigation in unknown GPS-denied environments with strictly convex obstacles
- A barrier function approach to finite-time stochastic system verification and control
- An axiomatic approach to existence and liveness for differential equations
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
- Safety stabilization of switched systems with unstable subsystems
- A dynamic game approach to distributionally robust safety specifications for stochastic systems
- Deep recurrent neural networks with finite-time terminal sliding mode control for a chaotic fractional-order financial system with market confidence
- Constrained control of input-output linearizable systems using control sharing barrier functions
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
- Bridging the gap between optimal trajectory planning and safety-critical control with applications to autonomous vehicles
- Verification of Hybrid Systems
- Robust control barrier functions under high relative degree and input constraints for satellite trajectories
- Synthesizing switching controllers for hybrid systems by generating invariants
- Formal modelling, analysis and verification of hybrid systems
- Safety verification of interconnected hybrid systems using barrier certificates
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Stochastic differential dynamic logic for stochastic hybrid programs
- Safety verification for distributed parameter systems using barrier functionals
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Converse Theorems for Safety and Barrier Certificates
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- A compositional modelling and verification framework for stochastic hybrid systems
- Computing sum of squares decompositions with rational coefficients
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Probabilistic ultimate bounds and invariant sets in nonlinear systems
- Safety of stochastic systems: an analytic and computational approach
- Safety-critical optimal control for autonomous systems
- Safe-by-design control for Euler-Lagrange systems
- Barrier certificates revisited
- Minimum wave speeds in monostable reaction-diffusion equations: sharp bounds by polynomial optimization
- A learner-verifier framework for neural network controllers and certificates of stochastic systems
- Vector barrier certificates and comparison systems
- Learning safe neural network controllers with barrier certificates
- Computation of polytopic invariants for polynomial dynamical systems using linear programming
- Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming
- Necessary and sufficient conditions for the nonincrease of scalar functions along solutions to constrained differential inclusions
- Safety-critical multi-tasks control for switched systems via several barrier functions
- Linear temporal logic satisfaction in adversarial environments using secure control barrier certificates
- Soft-minimum and soft-maximum barrier functions for safety with actuation constraints
- Sufficient conditions for robust safety in differential inclusions using barrier functions
- Verification of quantum systems using barrier certificates
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
- Safe Self-Triggered Control Based on Precomputed Reachability Sequences
- A study of the double pendulum using polynomial optimization
- Model reference safety-critical adaptive control for a class of nonlinearly parameterized systems
- Output transient trajectory shaping control for a class of nonlinear systems
- Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints
- Data-driven verification and synthesis of stochastic systems via barrier certificates
- Safety critical control design for nonlinear system with tracking and safety objectives
- Control Lyapunov–Barrier function based model predictive control for stochastic nonlinear affine systems
- Prescribed-Time Mean-Nonovershooting Control under Finite-Time Vanishing Noise
- A linear algebra method to decompose forms whose length is lower than the number of variables into weighted sum of squares
- Estimating infinitesimal generators of stochastic systems with formal error bounds
- Formal safety verification of unknown continuous-time systems
- k-Inductive Barrier Certificates for Stochastic Systems
- Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems
- Verifying Neural Network Controlled Systems Using Neural Networks
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications
- On converse zeroing barrier functions
- Safety verification for regime-switching jump diffusions via barrier certificates
- Invariant set estimation for piecewise affine dynamical systems using piecewise affine barrier function
- Bounding extreme events in nonlinear dynamics using convex optimization
This page was built for publication: A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282200)
