Self-healing as a combination of consistency checks and conformant planning problems

Alban Grastien*

*Corresponding author for this work

    Research output: Contribution to journalConference articlepeer-review

    2 Citations (Scopus)


    We introduce the problem of self healing, in which a system is asked to self diagnose and self repair. The two problems of computing the diagnosis and the repair are often solved separately. We show in this paper how to tie these two tasks together: a planner searches a prospective plan on a sample of the belief state; a diagnoser verifies the applicability of the plan and returns a state of the belief state (added to the sample) in which the plan is not applicable. This decomposition of the self healing process avoids the explicit computation of the belief state. Our experiments demonstrate that it scales much better than the traditional approach.

    Original languageEnglish
    Pages (from-to)105-112
    Number of pages8
    JournalCEUR Workshop Proceedings
    Publication statusPublished - 2015
    Event26th International Workshop on Principles of Diagnosis, DX 2015 - co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Safeprocess 2015 - Paris, France
    Duration: 31 Aug 20153 Sept 2015


    Dive into the research topics of 'Self-healing as a combination of consistency checks and conformant planning problems'. Together they form a unique fingerprint.

    Cite this