Diagnosability of discrete event systems with modular structure
From MaRDI portal
Publication:853677
DOI10.1007/s10626-006-6177-5zbMath1134.93306OpenAlexW2118028347MaRDI QIDQ853677
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
Controllability (93B05) Reliability, availability, maintenance, inspection in operations research (90B25) Decentralized systems (93A14) Discrete event control/observation systems (93C65)
Related Items (11)
Current-state opacity and initial-state opacity of modular discrete event systems ⋮ Design of decentralized critical observers for networks of finite state machines: a formal method approach ⋮ Verification complexity of a class of observational properties for modular discrete events systems ⋮ Robust diagnosis of discrete event systems against intermittent loss of observations ⋮ A language-based diagnosis framework for permanent and intermittent faults ⋮ Diagnosability of Discrete Faults with Uncertain Observations ⋮ Diagnosis from scenarios ⋮ Computation of minimal diagnosis bases of discrete-event systems using verifiers ⋮ Diagnosability analysis of hybrid systems cast in a discrete-event framework ⋮ Fault diagnosis for discrete event systems using partially observed Petri nets ⋮ Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Diagnosis of intermittent faults
- Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
- Diagnosability of discrete event systems and its applications
- Process algebras for systems diagnosis.
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Centralized modular diagnosis and the phenomenon of coupling
- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
- Active diagnosis of discrete-event systems
- Template languages for fault monitoring of timed discrete event processes
- Diagnosability of discrete-event systems
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
This page was built for publication: Diagnosability of discrete event systems with modular structure
