A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates

DOI10.1109/TAC.2007.902736zbMATH Open1366.93711DBLPjournals/tac/PrajnaJP07OpenAlexW2033118636WikidataQ57581920 ScholiaQ57581920MaRDI QIDQ5282200FDOQ5282200

Authors: Stephen Prajna, Ali Jadbabaie, George Pappas 

Publication date: 27 July 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2007.902736

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Control/observation systems with incomplete information (93C41) Least squares and related methods for stochastic control systems (93E24)

Cited In (83)

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