可及时 编辑

可及时(accessihle time)停时中的一类.设T 为{‘奔犷r}停时.称T为可及时,如果存在一列{乡,} 可料时{},n}n}l使得[T}c U C}n},这里

口〕会{(t,c}) E .}`+ X S}:t=S(})<+二} 称为停时S的图.可及时的直观意义是:a. s.可及时 7'是a. s. 6可预报的,即存在可数个被T控制的停 时列{S}} ny }k=1sG}...)(即Sn砚T fV n 1)使每个 <Sk),.,, (k=2}2,"..),在其上预报T的集合之并与 全空间月只 差一个零概集.

可料时必为可及时.令酥犷为可及时全体,由 {[5,+}}:SE.}}在.}'}r`+ X ,}l上生成的。代数,称为可及。代数.关于可及。代数可测的过程称为可及过程.

下一篇 例程

上一篇 书面形式