Converse Barrier Certificate Theorems

DOI10.1109/TAC.2015.2476155MaRDI QIDQ2980573zbMATH OpenFDO

Authors Rafał Wisniewski, Christoffer Sloth

Publication date 3 May 2017

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

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Attainable sets, reachability (93B03) Geometric methods (93B27)

Cited in

(15)

• Vector barrier certificates and comparison systems
• Safety-critical dynamic event-triggered control of nonlinear systems
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Safe reward‐based deep reinforcement learning control for an electro‐hydraulic servo system
• Constraint learning for control tasks with limited duration barrier functions
• Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications
• Safety verification for distributed parameter systems using barrier functionals
• Converse Theorems for Safety and Barrier Certificates
• Sufficient conditions for robust safety in differential inclusions using barrier functions
• Learning safe neural network controllers with barrier certificates
• Barrier certificates revisited
• On converse zeroing barrier functions
• Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
• Fault-tolerant safe control design of switched and interconnected nonlinear systems
• Constrained control of input-output linearizable systems using control sharing barrier functions

This page was built for publication: Converse Barrier Certificate Theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980573)