Diagnosability of discrete event systems with modular structure
DOI10.1007/S10626-006-6177-5zbMATH Open1134.93306OpenAlexW2118028347MaRDI QIDQ853677FDOQ853677
Authors: Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis 
Publication date: 17 November 2006
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2027.42/45105
Recommendations
- Modular fault diagnosis based on discrete event systems
- Verification complexity of a class of observational properties for modular discrete events systems
- Diagnosability of discrete-event systems
- Diagnosis and automata
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
Reliability, availability, maintenance, inspection in operations research (90B25) Controllability (93B05) Decentralized systems (93A14) Discrete event control/observation systems (93C65)
Cites Work
- Active diagnosis of discrete-event systems
- Title not available (Why is that?)
- Diagnosability of discrete-event systems
- Diagnosis of intermittent faults
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Distributed diagnosis of discrete-event systems using Petri nets
- Template languages for fault monitoring of timed discrete event processes
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Diagnosability of discrete event systems and its applications
- Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
- Centralized modular diagnosis and the phenomenon of coupling
- Process algebras for systems diagnosis.
- Title not available (Why is that?)
Cited In (26)
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Title not available (Why is that?)
- Diagnosability of a class of discrete event systems based on observations
- Diagnosability analysis of a class of hierarchical state machines
- Verification complexity of a class of observational properties for modular discrete events systems
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Modular fault diagnosis based on discrete event systems
- Hierarchical fault diagnosis for discrete-event systems under global consistency
- Abstraction-based failure diagnosis for discrete event systems
- Diagnosability analysis of hybrid systems cast in a discrete-event framework
- An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures
- Centralized modular diagnosis and the phenomenon of coupling
- Diagnosability of discrete-event systems
- A language-based diagnosis framework for permanent and intermittent faults
- Diagnosability of discrete faults with uncertain observations
- Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system
- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- Diagnosability Analysis of Discrete Event Systems with Autonomous Components
- Current-state opacity and initial-state opacity of modular discrete event systems
- Diagnosis from scenarios
- Fault diagnosis for discrete event systems using partially observed Petri nets
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Computation of minimal diagnosis bases of discrete-event systems using verifiers
- Diagnosis of large active systems
- Computation of minimal event bases that ensure diagnosability
- Diagnosis and automata
Uses Software
This page was built for publication: Diagnosability of discrete event systems with modular structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q853677)
