合肥工业大学学报（自然科学版）
閤肥工業大學學報（自然科學版）
합비공업대학학보（자연과학판）
JOURNAL OF HEFEI UNIVERSITY OF TECHNOLOGY(NATURAL SCIENCE)
2010年
10期
1506-1509,1535
,共5页
形式验证%可达集%有向矩形壳%凸多面体
形式驗證%可達集%有嚮矩形殼%凸多麵體
형식험증%가체집%유향구형각%철다면체
混合系统形式验证技术是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内.计算可达集是混合系统形式验证中的重要一步,选用何种几何体表示可达集对于整个验证精度有决定性的影响.文章对有向矩形壳和凸多面体2种状态可达集近似表示方法进行了分析比较,结合2种方法的优点提出了流管道过近似混合算法以降低保守性和提高运算速度;最后在Matlab环境下实现了混合算法并且验证了1个分段非线性系统实例,验证结果显示了所提混合算法的有效性.
混閤繫統形式驗證技術是分析在給定的初始條件下,繫統的可達集是否都在目標狀態集閤內.計算可達集是混閤繫統形式驗證中的重要一步,選用何種幾何體錶示可達集對于整箇驗證精度有決定性的影響.文章對有嚮矩形殼和凸多麵體2種狀態可達集近似錶示方法進行瞭分析比較,結閤2種方法的優點提齣瞭流管道過近似混閤算法以降低保守性和提高運算速度;最後在Matlab環境下實現瞭混閤算法併且驗證瞭1箇分段非線性繫統實例,驗證結果顯示瞭所提混閤算法的有效性.
혼합계통형식험증기술시분석재급정적초시조건하,계통적가체집시부도재목표상태집합내.계산가체집시혼합계통형식험증중적중요일보,선용하충궤하체표시가체집대우정개험증정도유결정성적영향.문장대유향구형각화철다면체2충상태가체집근사표시방법진행료분석비교,결합2충방법적우점제출료류관도과근사혼합산법이강저보수성화제고운산속도;최후재Matlab배경하실현료혼합산법병차험증료1개분단비선성계통실례,험증결과현시료소제혼합산법적유효성.
