Diagnosability of discrete event systems with modular structure

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

zbMATH Keywords

Distributed systemsCommon eventsDiagnosabilityModularity

Mathematics Subject Classification ID

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

• UMDES

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