Converse Theorems for Safety and Barrier Certificates

DOI10.1109/TAC.2018.2792325zbMath1423.93107arXiv1701.03948MaRDI 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

93B35: Sensitivity (robustness)

93C10: Nonlinear systems in control theory

68Q60: Specification and verification (program logics, model checking, etc.)