安全性与障碍证书的逆定理
系统与控制
2018-08-02 v5
摘要
证明动力系统安全性的一个重要工具是障碍证书的概念。本文证明了每个鲁棒安全的常微分方程都存在一个障碍证书。此外，我们给出了基于有限时间内可达状态集的此类障碍证书的构造方法。
引用
@article{arxiv.1701.03948,
title = {Converse Theorems for Safety and Barrier Certificates},
author = {Stefan Ratschan},
journal= {arXiv preprint arXiv:1701.03948},
year = {2018}
}