×
斯特凡·拉特肖恩

安全和屏障证书的逆定理。 （英语） Zbl 1423.93107号

IEEE传输。自动。控制 63，第8期，2628-2632（2018）.
评论：未发送评论稿。

引用于4文件

MSC公司：

93B35型 灵敏度（稳健性）
93立方厘米 控制理论中的非线性系统
60年第68季度 规范和验证（程序逻辑、模型检查等）
PDF格式BibTeX公司 XML格式引用
\textit{S.Ratschan}，IEEE Trans。自动。控制63，编号8，2628--2632（2018；Zbl 1423.93107）
全文： 内政部 arXiv公司