Active diagnosis of discrete-event systems
From MaRDI portal
Publication:4506495
DOI10.1109/9.701089zbMath0949.90025MaRDI QIDQ4506495
Demosthenis Teneketzis, Meera Sampath, Stéphane Lafortune
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.701089
90B25: Reliability, availability, maintenance, inspection in operations research
93E03: Stochastic systems in control theory (general)
Related Items
Modeling robotic operations controlled by natural language, Design methodology for diagnostic strategies for industrial systems, Diagnosis of Petri Nets, Optimal constructions for active diagnosis, Computation of minimal diagnosis bases of discrete-event systems using verifiers, Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems, Periodic and non-concurrent error detection and identification in one-hot encoded FSMs, Fairness of transitions in diagnosability of discrete event systems, Fault detection for discrete event systems using Petri nets with unobservable transitions, Opacity of discrete event systems and its applications, Diagnosability analysis of a class of hierarchical state machines, Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays, Diagnosability of discrete event systems with modular structure, Diagnosis of behaviors of interest in partially-observed discrete-event systems, Predictability of event occurrences in partially-observed discrete-event systems, \(N\)-diagnosability for active on-line diagnosis in discrete event systems, Model-based detection of routing events in discrete flow networks, Diagnosability analysis of hybrid systems cast in a discrete-event framework, A tale of two diagnoses in probabilistic systems, Supervisor localization of discrete-event systems under partial observation, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Safe diagnosability for fault-tolerant supervision of discrete-event systems, Results and perspectives on fault tolerant control for a class of hybrid systems
