經典與隨機離散事件系統(tǒng)的可糾錯性研究.pdf

1、故障診斷及糾錯是離散事件系統(tǒng)研究熱點之一。本文主要研究在控制器實施控制的情況下，如何對離散事件系統(tǒng)的故障實行糾錯，使系統(tǒng)運行在可接受狀態(tài)范圍內的相關問題。本文通過對可糾錯狀態(tài)的形式化，提出一種基于狀態(tài)樹的可糾錯狀態(tài)判定方法。在經典情況下，提出一種基于系統(tǒng)狀態(tài)圈的糾錯方法，給出了構造糾錯控制器的算法;在隨機情況下，給出控制器糾錯對應的方程，并在此方程下實施最優(yōu)化糾錯。同時，本文對可糾錯性作出適當延伸，探討可控性與可糾錯的關系，以及故障糾錯

2、與診斷、預防之間的聯(lián)系。本文的主要貢獻如下:
　　本文首先探討了經典離散事件系統(tǒng)的可糾錯性。第一，提出一種基于狀態(tài)樹的可糾錯狀態(tài)的形式化定義，并在可糾錯狀態(tài)的基礎上提出可糾錯語言的形式化定義，給出可糾錯狀態(tài)的判定算法。第二，分情況地討論了帶延遲的離散事件系統(tǒng)的可糾錯性，說明各種情況下系統(tǒng)糾錯的優(yōu)劣，并簡要分析各種情況下控制器如何實施糾錯。第三，給出基于狀態(tài)圈的糾錯控制器的構造，使得控制器能應對多重錯誤，同時給出糾錯控制器的構造算法

3、。第四，給出經典離散事件系統(tǒng)的糾錯方案，使得系統(tǒng)在糾錯的同時，能夠預防故障的再次發(fā)生。第五，在糾錯方案的基礎上，給出一個糾錯實例，說明糾錯方案是有效的、可行的。然后，探討了隨機離散事件系統(tǒng)的基于狀態(tài)樹的可糾錯性。第一，給出隨機離散事件系統(tǒng)k步可糾錯概率和無窮步可糾錯概率的定義，使得這兩個定義符合實際應用。第二，給出無窮步可糾錯概率基于線性方程組的求取方法。第三，探討了控制器在隨機離散事件系統(tǒng)中的功能，給出控制器基于糾錯方程的最優(yōu)化糾錯。