Converse Theorems for Safety and Barrier Certificates

DOI10.1109/TAC.2018.2792325zbMath1423.93107arXiv1701.03948OpenAlexW2963249498MaRDI QIDQ4682313

Stefan Ratschan

Publication date: 18 September 2018

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

Full work available at URL: https://arxiv.org/abs/1701.03948

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Nonlinear systems in control theory (93C10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

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 ⋮ Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems ⋮ Learning safe neural network controllers with barrier certificates

This page was built for publication: Converse Theorems for Safety and Barrier Certificates