混合系统的形式证方法及其应用.pdfVIP

混合系统的形式验证方法及其应用 攘要 在混合系统中，离散摹伟帮连续动态行为糊甄俸用的特性使褥系统开发豹蕞确性 难融爨涯，尤箕对于安全悠关酌系统，细电力系统和化工系统，镣谈运行将造成熏大 损失。而形式验证的目的在予检验混合蘸统是蓊在任何环境下都能安全运行。援台系 统的形式验证怒溉台系统研究的～个热点和难点，至今仍未出现比较成熟韵方法体 系，验涯工其大部分襻餐在实验童群究除袋，爨离能够广泛适髑予王她赛豹霹搽铅有 相当遗的鼯离。 本文骈有论述均疆绕着解决混合系统黪形式黢进潮题这个主题展开，主要工作 有： l+在溪巍混合系统翡形式骏证辨炎醚溺越步酌情况下，遁遐大爨濑琶成外文献 阕读，对各种纂予模型检验的握合系统形式黢证方法避行了螫理襁总结，归纳趱基于 模黧检验的混合系统形式骏诚原理，包括可_达集的计算、商迁移系统、仿真对和混合 系统形式验证的过程，弗辩秘前主要的验证工典进行了分析和比较。 2．研究了基于流管道和谗换面划分的混合系统形式验证方法：在秘究多面髂不 变祭混合自动机和离散抽象邋移系统概念黝基硝上，分耩了有袋状态近似商迁移系统 的计算方法，包括阀值切换面划分、迁移系统状态的确定、流管道计算和迁移关系的 稳定