On d-inversion in interruptive timed discrete-event systems |
| |
| Authors: | Yongseok Park Chong E.K.P. |
| |
| Affiliation: | Sch. of Electr. & Comput. Eng., Purdue Univ., West Lafayette, IN; |
| |
| Abstract: | 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 |
| |
| Keywords: | |
|
|
