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)
90B25: Reliability, availability, maintenance, inspection in operations research
93C65: Discrete event control/observation systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
An equivalent CTL formulation for condition sequences, 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