Active diagnosis of discrete-event systems
From MaRDI portal
Publication:4506495
DOI10.1109/9.701089zbMath0949.90025OpenAlexW2126410464MaRDI 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
Reliability, availability, maintenance, inspection in operations research (90B25) Stochastic systems in control theory (general) (93E03)
Related Items (29)
Design methodology for diagnostic strategies for industrial systems ⋮ Accurate approximate diagnosis of (controllable) stochastic systems ⋮ Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays ⋮ Optimal constructions for active diagnosis ⋮ Diagnosability of discrete event systems with modular structure ⋮ A formal framework for distributed cyber-physical systems ⋮ Modeling robotic operations controlled by natural language ⋮ Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ Supervisor localization of discrete-event systems under partial observation ⋮ \(N\)-diagnosability for active on-line diagnosis in discrete event systems ⋮ Active Diagnosis for Switched Systems Using Mealy Machine Modeling ⋮ Diagnosis and degradation control for probabilistic systems ⋮ A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks ⋮ Computation of minimal diagnosis bases of discrete-event systems using verifiers ⋮ Results and perspectives on fault tolerant control for a class of hybrid systems ⋮ Diagnosis of behaviors of interest in partially-observed discrete-event systems ⋮ Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems ⋮ Diagnosability analysis of hybrid systems cast in a discrete-event framework ⋮ 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 ⋮ Model-based detection of routing events in discrete flow networks ⋮ Opacity of discrete event systems and its applications ⋮ A tale of two diagnoses in probabilistic systems ⋮ Diagnosability analysis of a class of hierarchical state machines ⋮ Predictability of event occurrences in partially-observed discrete-event systems ⋮ Diagnosis of Petri Nets ⋮ Diagnosability verification using LTL model checking ⋮ Safe diagnosability for fault-tolerant supervision of discrete-event systems
This page was built for publication: Active diagnosis of discrete-event systems
