Title :
On d-inversion in interruptive timed discrete-event systems
Author :
Park, Yongseok ; Chong, Edwin K P
Author_Institution :
Sch. of Electr. & Comput. Eng., Purdue Univ., West Lafayette, IN, USA
fDate :
11/1/1997 12:00:00 AM
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 :
Markov processes; automata theory; discrete event simulation; discrete event systems; fault diagnosis; inverse problems; monitoring; observability; Markov processes; automata theory; discrete event simulation; discrete-event systems; event lifetime extraction; fault diagnosis; interruptive timed DES; inverse problem; monitoring; necessary structural condition; observations; sufficient structural condition; Automatic control; Control systems; Cost function; Decision theory; Delay; Discrete event systems; Equations; Notice of Violation; Optimal control; Stochastic processes;
Journal_Title :
Automatic Control, IEEE Transactions on
