隨機賦時狀態自動機（stochastic timed state automaton）是狀態自動機概念的一種擴充。
基本介紹
- 中文名：隨機賦時狀態自動機
- 外文名：stochastic timed state automaton
- 定義：狀態自動機概念的擴充
其定義為六元組,.%,r p poG＞，其中f為可數的事件集;虎為可數的狀態空間;r(x)＞=為對`d x E 虎一定義的可行或使能的事件集;p ( x';二，“)為當事件為。‘時由x到x'的狀態轉移機率，顯然當。‘去 r(二)時p (x';二，e')=O;po(x)為初始狀態x。的機率分布;G= G: i E s為隨機時鐘機構，它表示事件i由第k-1次發生到第k次發生的間隔。*的機率分布.
這種自動機的演化過程為:由任一狀態x出發，按r(x)中由G隨機決定的最早發生的事件。‘ 觸發，並由機率p(x';x,e')決定轉移到新狀態x'. 與此同時，隨機時鐘機構和新的T 以更新.
