Template languages for fault monitoring of timed discrete event processes
From MaRDI portal
Publication:4507145
DOI10.1109/9.855548zbMath0979.93071OpenAlexW2142873763MaRDI QIDQ4507145
Larry E. Holloway, Deepa N. Pandalai
Publication date: 17 October 2000
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.855548
modelingdiscrete event processestimed automata modelsand multiple-instance behaviorscondition templateson-line fault monitoring
Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)
Related Items (16)
State observer for DES under partial observation with time Petri nets ⋮ Diagnosability of discrete event systems with modular structure ⋮ Fault diagnosis in discrete time hybrid systems -- a case study ⋮ Fault detection and isolation in manufacturing systems with an identified discrete event model ⋮ Decentralized fault free model approach for fault detection and isolation of discrete event systems ⋮ Fault-tolerant continuous flow systems modelling ⋮ State estimation and detection of changes in time interval models ⋮ Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems ⋮ Diagnosis of behaviors of interest in partially-observed discrete-event systems ⋮ Computation of minimal event bases that ensure diagnosability ⋮ Active fault tolerant control of discrete event systems using online diagnostics ⋮ Periodic and non-concurrent error detection and identification in one-hot encoded FSMs ⋮ Fairness of transitions in diagnosability of discrete event systems ⋮ Diagnosability analysis of a class of hierarchical state machines ⋮ Modelling and hierarchical diagnosis of timed discrete-event systems ⋮ Safe diagnosability for fault-tolerant supervision of discrete-event systems
This page was built for publication: Template languages for fault monitoring of timed discrete event processes
