EDEN: An intelligent software environment for diagnosis of discrete-event systems

DOI10.1023/A:1020974704946zbMath1033.68023MaRDI QIDQ1398077

Gianfranco Lamperti, Marina Zanella

Publication date: 6 August 2003

Published in: Applied Intelligence (Search for Journal in Brave)

zbMATH Keywords

discrete-event systemsmodel-based diagnosismodeling languagescommunicating automatadiagnostic environments

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Exception diagnosis in multiagent contract executions ⋮ Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques ⋮ Reasoning about Exceptions to Contracts