本文選題：混雜系統(tǒng) + 近似分析　； 參考：《廣西民族大學(xué)》2017年碩士論文

【摘要】：混雜系統(tǒng)是連續(xù)變量動(dòng)態(tài)系統(tǒng)和離散事件動(dòng)態(tài)系統(tǒng)相結(jié)合,并且相互交換信息的一類系統(tǒng)。其中連續(xù)子系統(tǒng)的動(dòng)態(tài)特征隨時(shí)間的發(fā)展而不斷變化,離散性子系統(tǒng)的動(dòng)態(tài)演化受事件的驅(qū)動(dòng),二者相互作用,使系統(tǒng)的運(yùn)行軌跡整體上呈現(xiàn)離散位置的遷移,局部上呈現(xiàn)連續(xù)狀態(tài)的漸進(jìn)演化,在綜合了連續(xù)變量動(dòng)態(tài)系統(tǒng)和離散時(shí)間系統(tǒng)演化特征的基礎(chǔ)上,表現(xiàn)出更加復(fù)雜的動(dòng)態(tài)行為�；祀s系統(tǒng)的形式驗(yàn)證是混雜系統(tǒng)的重要研究方向之一,它在給定的初始條件下,分析系統(tǒng)的可達(dá)集是否都在目標(biāo)狀態(tài)集合內(nèi)。本文圍繞混雜系統(tǒng)的近似分析方法展開研究,從混雜系統(tǒng)本身的特點(diǎn)出發(fā),以求解混雜系統(tǒng)的可達(dá)集為目標(biāo),并用多面體表示可達(dá)集,具有良好的保守性,但是多面體的計(jì)算非常復(fù)雜,且隨著維數(shù)增長(zhǎng),多面體的頂點(diǎn)和面的個(gè)數(shù)增長(zhǎng)迅速,在系統(tǒng)維數(shù)高時(shí)很難處理。所以求解出一種新的計(jì)算近似多面體體積的方法----分割法。該方法是依據(jù)分割法的原理,結(jié)合混雜自動(dòng)機(jī)的定義,構(gòu)造一個(gè)基于分割的近似混雜自動(dòng)機(jī)進(jìn)而求解可達(dá)集;然后分析基于分割的近似混雜自動(dòng)機(jī)的行為等價(jià)。
[Abstract]:Hybrid system is a kind of system which combines continuous variable dynamic system with discrete event dynamic system and exchanges information with each other. The dynamic characteristics of the continuous subsystem change with the development of time, and the dynamic evolution of the discrete subsystem is driven by events. On the basis of integrating the evolution characteristics of dynamic systems with continuous variables and discrete-time systems, it shows more complex dynamic behavior. Formal verification of hybrid systems is one of the important research directions of hybrid systems. Under given initial conditions, the reachability sets of hybrid systems are all in the target state set. In this paper, the approximate analysis method of hybrid systems is studied. Based on the characteristics of hybrid systems, the objective is to solve the reachability sets of hybrid systems, and the reachability sets are represented by polyhedrons. But the calculation of polyhedron is very complicated, and with the increase of dimension, the number of vertex and surface of polyhedron increases rapidly, which is difficult to deal with when the dimension of the system is high. Therefore, a new method to calculate approximate polyhedron volume-segmentation method is proposed. According to the principle of the segmentation method and the definition of hybrid automata, this method constructs an approximate hybrid automaton based on segmentation to solve the reachable set, and then analyzes the behavior equivalence of the approximate hybrid automata based on segmentation.
【學(xué)位授予單位】：廣西民族大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2017
【分類號(hào)】：O175

【參考文獻(xiàn)】

相關(guān)期刊論文 前9條

1 王超;吳盡昭;譚紅艷;付軍;;Approximate Reachability and Bisimulation Equivalences for Transition Systems[J];Transactions of Tianjin University;2016年01期

2 張悅;王東風(fēng);韓璞;徐大平;;一類混雜系統(tǒng)的推廣自動(dòng)機(jī)模型及其仿真[J];系統(tǒng)仿真學(xué)報(bào);2007年15期

3 方敏;張雅順;李輝;;混合系統(tǒng)的形式驗(yàn)證方法[J];系統(tǒng)仿真學(xué)報(bào);2006年10期

4 鄭剛,譚民,宋永華;混雜系統(tǒng)的研究進(jìn)展[J];控制與決策;2004年01期

5 趙洪山,米增強(qiáng),田建設(shè),楊奇遜;混雜系統(tǒng)理論及其在電力系統(tǒng)的應(yīng)用前景[J];華北電力大學(xué)學(xué)報(bào);2002年02期

6 莫以為,蕭德云;混合動(dòng)態(tài)系統(tǒng)及其應(yīng)用綜述[J];控制理論與應(yīng)用;2002年01期

7 李秀改,岳紅,高東杰;復(fù)雜工業(yè)過程新型控制方法——混雜系統(tǒng)控制理論的研究[J];化工自動(dòng)化及儀表;2001年05期

8 吳鋒,劉文煌,鄭應(yīng)平;混雜系統(tǒng)方法及其在過程控制中的應(yīng)用[J];清華大學(xué)學(xué)報(bào)(自然科學(xué)版);1997年11期

9 吳鋒,劉文煌,鄭應(yīng)平;混雜系統(tǒng)研究綜述[J];系統(tǒng)工程;1997年02期

相關(guān)博士學(xué)位論文 前2條

1 何安平;基于層次模型的混合系統(tǒng)形式化分析與驗(yàn)證[D];蘭州大學(xué);2011年

2 張悅;混雜系統(tǒng)建模與控制方法研究[D];華北電力大學(xué)（河北）;2008年

相關(guān)碩士學(xué)位論文 前2條

1 羅來豹;混雜系統(tǒng)驗(yàn)證中可達(dá)集過近似方法的研究[D];合肥工業(yè)大學(xué);2010年

2 張紅濤;混合系統(tǒng)分析與應(yīng)用[D];華中科技大學(xué);2004年

，

本文編號(hào)：2115214