화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.42, No.11, 1550-1554, 1997
On D-Inversion in Interruptive Timed Discrete-Event Systems
The authors consider the problem of extracting event lifetimes from partial observations of an interruptive timed discrete-event system. The extraction of the lifetime of an occurring event is based on observations of all previous transitions and d subsequent transitions, We refer to this notion as d-inversion. We give necessary and sufficient structural conditions for an event to be d-invertible in a given system.