1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究定性推理在矩形phaseportrait近似中的应用 .pdf

论文研究定性推理在矩形phaseportrait近似中的应用 .pdf

上传者: 2020-05-18 14:09:30上传 PDF文件 400.91KB 热度 19次
定性推理在矩形phase-portrait近似中的应用,刘保罗,裴海龙,抽象近似是验证混合系统安全性的主要方法,矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近��
用户评论