DocumentCode
1528996
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
Volume
42
Issue
11
fYear
1997
fDate
11/1/1997 12:00:00 AM
Firstpage
1550
Lastpage
1554
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;
fLanguage
English
Journal_Title
Automatic Control, IEEE Transactions on
Publisher
ieee
ISSN
0018-9286
Type
jour
DOI
10.1109/9.649702
Filename
649702
Link To Document