Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems

Abstract : According to complexity science, the essence of a complex system is the emergence of unpredictable behavior from interaction among components. Loosely inspired by this idea, a diagnosis technique of a class of discrete-event systems, called complex active systems, is presented. A complex active system is a hierarchical graph, where each node is a network of communicating automata, called an active unit. Specific interaction patterns among automata within an active unit give rise to the occurrence of emergent events, which may affect the behavior of superior active units. This results in the stratification of the behavior of the complex active system, where each different stratum corresponds to a different abstraction level of the emergent behavior. As such, emergence is a peculiar property of a complex active system. To speed up the diagnosis task, model-based knowledge is compiled offline and exploited online by the diagnosis engine. The technique is sound and complete.
Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download

https://hal.inria.fr/hal-02060059
Contributor : Hal Ifip <>
Submitted on : Thursday, March 7, 2019 - 10:37:37 AM
Last modification on : Friday, March 8, 2019 - 1:23:49 AM
Long-term archiving on: Saturday, June 8, 2019 - 1:35:14 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2021-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao. Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems. 2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.43-64, ⟨10.1007/978-3-319-99740-7_4⟩. ⟨hal-02060059⟩

Share

Metrics

Record views

41