1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究混合自动机的多项式phaseportrait近似 .pdf

论文研究混合自动机的多项式phaseportrait近似 .pdf

上传者: 2020-05-15 00:57:31上传 PDF文件 425.22KB 热度 23次
混合自动机的多项式phase-portrait近似,刘保罗,裴海龙,抽象近似是验证混合系统安全性的主要方法,模型转换是构造一个可判定的(或半判定的)混合自动机来近似原混合自动机。本文将线性
下载地址
用户评论