Template languages for fault monitoring of timed discrete event processes

DOI10.1109/9.855548MaRDI QIDQ4507145zbMATH OpenOpenAlexFDO

Authors Deepa N. Pandalai, Larry E. Holloway

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

zbMATH Keywords

and multiple-instance behaviorscondition templatesdiscrete event processesmodelingon-line fault monitoringtimed automata models

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)

Recommendations

• Diagnosis of temporal faults in discrete-event systems
• Conceptual design of discrete-event systems using templates
• Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
• Monitoring parametric temporal logic
• scientific article; zbMATH DE number 1696823
• On the verification of timed discrete-event models
• Model-checking timed temporal logics
• Fault diagnosis for timed automata
• First-order temporal logic monitoring with BDDs

Cited in

(16)

• Safe diagnosability for fault-tolerant supervision of discrete-event systems
• Fault detection and isolation in manufacturing systems with an identified discrete event model
• Fault-tolerant continuous flow systems modelling
• Modelling and hierarchical diagnosis of timed discrete-event systems
• Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems
• Decentralized fault free model approach for fault detection and isolation of discrete event systems
• State estimation and detection of changes in time interval models
• Active fault tolerant control of discrete event systems using online diagnostics
• Computation of minimal event bases that ensure diagnosability
• 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
• 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
• Diagnosis of behaviors of interest in partially-observed discrete-event systems

This page was built for publication: Template languages for fault monitoring of timed discrete event processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4507145)