Qualitative diagnosis of condition systems
From MaRDI portal
Publication:702194
DOI10.1023/B:DISC.0000039787.51382.afzbMath1092.93034MaRDI QIDQ702194
Lawrence E. Holloway, Jeffrey Ashley
Publication date: 17 January 2005
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
Fault diagnosis of discretely controlled continuous systems by means of discrete-event models ⋮ State observability and condition observability for a class of interacting discrete event systems ⋮ An equivalent CTL formulation for condition sequences
This page was built for publication: Qualitative diagnosis of condition systems
