Diagnosis and supervision: model-based approaches
From MaRDI portal
Publication:6602236
Recommendations
Cites work
- scientific article; zbMATH DE number 4164813 (Why is no real title available?)
- scientific article; zbMATH DE number 47350 (Why is no real title available?)
- scientific article; zbMATH DE number 1932817 (Why is no real title available?)
- scientific article; zbMATH DE number 1444358 (Why is no real title available?)
- scientific article; zbMATH DE number 4185074 (Why is no real title available?)
- A correction to the algorithm in Reiter's theory of diagnosis
- A decentralised symbolic diagnosis approach
- A distributed approach for fault detection and diagnosis based on time Petri nets
- A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
- A polynomial algorithm for testing diagnosability of discrete-event systems
- A spectrum of definitions for temporal model-based diagnosis
- A theory of diagnosis from first principles
- AI*IA 2005: Advances in Artificial Intelligence
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures
- Analytical redundancy and the design of robust failure detection systems
- Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems
- Characterizing diagnoses and systems
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Diagnosability analysis of hybrid systems cast in a discrete-event framework
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
- Diagnosability of discrete-event systems
- Diagnosing discrete-event systems: Extending the ``diagnoser approach to deal with telecommunication networks
- Diagnosing multiple faults
- Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study
- Diagnosis of hybrid dynamic systems based on the behavior automaton abstraction
- Diagnosis of intermittent faults
- Distributed monitoring of concurrent and asynchronous systems
- Explanatory diagnoses and their characterization by circumscription
- Formalizing the repair process --- extended report
- Hierarchical model-based diagnosis based on structural abstraction
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Process algebras for systems diagnosis.
- Qualitative modelling of linear dynamical systems with quantized state measurements
- The interacting multiple model algorithm for systems with Markovian switching coefficients
This page was built for publication: Diagnosis and supervision: model-based approaches
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6602236)
