摘要：确定性和横截线性混合自动机的有界epsilon-reach集的近似计算算法和体系结构
作者：Kyoung-Dae Kim and Sayan Mitra and P. R. Kumar
论文ID：1205.3426
分类：Systems and Control
分类简称：cs.SY
提交时间：2012-05-16
PDF 下载： 英文版 中文版pdf翻译中