Converse Barrier Certificate Theorems

DOI10.1109/TAC.2015.2476155zbMath1359.93130MaRDI QIDQ2980573

Rafael 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) Geometric methods (93B27) Attainable sets, reachability (93B03)

Related Items (10)

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

This page was built for publication: Converse Barrier Certificate Theorems