华东理工大学学报（自然科学版）2000，Vol.26Issue(5)：471-476,6.
基于控制周期特征式的线性混合自动机验证
Verification of Linear Hybrid Automata by Periodical Properties on Control States
摘要
关键词
形式化方法/模型检查/定理证明/线性混合自动机分类
信息技术与安全科学引用本文复制引用
潘国强,虞慧群,宋国新,邵志清..基于控制周期特征式的线性混合自动机验证[J].华东理工大学学报（自然科学版）,2000,26(5):471-476,6.基金项目
国家自然科学基金(69703008,69903004)、上海市高等学校青年科学基金(98Q16)及国防科技重点实验室基金(99JS94.10.1.DZ4201)的资助项目. （69703008,69903004）
