Converse Barrier Certificate Theorems
From MaRDI portal
Publication:2980573
DOI10.1109/TAC.2015.2476155zbMATH Open1359.93130MaRDI QIDQ2980573FDOQ2980573
Authors: Rafał Wisniewski, Christoffer Sloth 
Publication date: 3 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Cited In (15)
- Vector barrier certificates and comparison systems
- Safety-critical dynamic event-triggered control of nonlinear systems
- Safe reward‐based deep reinforcement learning control for an electro‐hydraulic servo system
- Automated verification and synthesis of stochastic hybrid systems: a survey
- 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
- On converse zeroing barrier functions
- Barrier certificates revisited
- 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)
