摘要：机器控制器综合的懒惰版本：对连续时间非线性动力学系统进行多层级抽象的控制器综合（ABCS）用于安全规范。
作者：Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
论文ID：1804.02666
分类：Systems and Control
分类简称：cs.SY
提交时间：2019-07-29
PDF 下载： 英文版 中文版pdf翻译中