计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2013年
5期
1289-1293
,共5页
邹进%林望%罗勇%曾振柄
鄒進%林望%囉勇%曾振柄
추진%림망%라용%증진병
混成系统%可达性分析%安全性验证%多面体包含%线性近似
混成繫統%可達性分析%安全性驗證%多麵體包含%線性近似
혼성계통%가체성분석%안전성험증%다면체포함%선성근사
针对一类非线性混成系统的可达性问题,提出了一种基于多面体包含的分析方法.首先介绍了混成系统及其可达性,讨论了如何应用多面体包含对多项式混成系统进行线性近似,并采用量词消去和非线性优化方法来构造相应的线性混成系统,然后运用验证工具SpaceEx求得原非线性混成系统的过近似可达集,并应用于验证系统的安全性.
針對一類非線性混成繫統的可達性問題,提齣瞭一種基于多麵體包含的分析方法.首先介紹瞭混成繫統及其可達性,討論瞭如何應用多麵體包含對多項式混成繫統進行線性近似,併採用量詞消去和非線性優化方法來構造相應的線性混成繫統,然後運用驗證工具SpaceEx求得原非線性混成繫統的過近似可達集,併應用于驗證繫統的安全性.
침대일류비선성혼성계통적가체성문제,제출료일충기우다면체포함적분석방법.수선개소료혼성계통급기가체성,토론료여하응용다면체포함대다항식혼성계통진행선성근사,병채용량사소거화비선성우화방법래구조상응적선성혼성계통,연후운용험증공구SpaceEx구득원비선성혼성계통적과근사가체집,병응용우험증계통적안전성.
