Converse Theorems for Safety and Barrier Certificates
From MaRDI portal
Publication:4682313
DOI10.1109/TAC.2018.2792325zbMath1423.93107arXiv1701.03948MaRDI QIDQ4682313
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
93B35: Sensitivity (robustness)
93C10: Nonlinear systems in control theory
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Learning safe neural network controllers with barrier certificates, Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid 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