最小不滿足樹(shù)制導(dǎo)的混成系統(tǒng)可達(dá)性分析方法本發(fā)明涉及混成系統(tǒng)的可達(dá)性分析領(lǐng)域,具體而言涉及一種最小不滿足樹(shù)制導(dǎo)的混成系統(tǒng)的可達(dá)性分析方法。混成系統(tǒng)(hybridsystem)是一類同時(shí)具有離散和連續(xù)行為特征的復(fù)雜系統(tǒng)。在現(xiàn)實(shí)生活中,特別是航天、軍工、機(jī)械制造等嵌入式相關(guān)領(lǐng)域,混成系統(tǒng)...