摘要：稀疏多项式佐诺托普，一种用于混合系统形式验证的新的集合表示方法的引入
作者：Niklas Kochdumper, Matthias Althoff
论文ID：1901.01780
分类：Systems and Control
分类简称：cs.SY
提交时间：2020-11-17
PDF 下载： 英文版 中文版pdf翻译中