论文研究混合自动机的多项式phaseportrait近似 .pdf 上传者：Xieminsen 2020-05-15 00:57:31上传 PDF文件 425.22KB 热度 39次 混合自动机的多项式phase-portrait近似，刘保罗，裴海龙，抽象近似是验证混合系统安全性的主要方法，模型转换是构造一个可判定的（或半判定的）混合自动机来近似原混合自动机。本文将线性 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
