系统仿真学报
繫統倣真學報
계통방진학보
JOURNAL OF SYSTEM SIMULATION
2006年
10期
2921-2924,2928
,共5页
混合系统%形式验证%过近似%可达集
混閤繫統%形式驗證%過近似%可達集
혼합계통%형식험증%과근사%가체집
在介绍混合系统形式验证概念的基础上,从可选集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具.重点介绍了模型检验方法中的收敛近似方法和过近似方法,通过一个化工过程系统的验证实例详细介绍了验证工具CheckMate的验证算法.最后分析了混合系统形式验证的难点问题和主要研究方向.
在介紹混閤繫統形式驗證概唸的基礎上,從可選集錶示和可達集計算方法的角度比較瞭混閤繫統的各種形式驗證方法和驗證工具.重點介紹瞭模型檢驗方法中的收斂近似方法和過近似方法,通過一箇化工過程繫統的驗證實例詳細介紹瞭驗證工具CheckMate的驗證算法.最後分析瞭混閤繫統形式驗證的難點問題和主要研究方嚮.
재개소혼합계통형식험증개념적기출상,종가선집표시화가체집계산방법적각도비교료혼합계통적각충형식험증방법화험증공구.중점개소료모형검험방법중적수렴근사방법화과근사방법,통과일개화공과정계통적험증실례상세개소료험증공구CheckMate적험증산법.최후분석료혼합계통형식험증적난점문제화주요연구방향.
