Diagnosis of hybrid systems with SMT: Opportunities and challenges

Alban Grastien*

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Citations (Scopus)

    Abstract

    We propose a new approach to diagnosis of hybrid systems. In this approach, questions about the behavior of the system are asked and translated into Satisfiability Modulo Theory (SMT) problems, which are then solved by an SMT solver. We show the reduction to SMT. We also discuss the benefits and the drawbacks of this approach and conclude with a number of research directions that will make this approach applicable to large systems.

    Original languageEnglish
    Title of host publicationECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings
    EditorsTorsten Schaub, Gerhard Friedrich, Barry O'Sullivan
    PublisherIOS Press BV
    Pages405-410
    Number of pages6
    ISBN (Electronic)9781614994183
    DOIs
    Publication statusPublished - 2014
    Event21st European Conference on Artificial Intelligence, ECAI 2014 - Prague, Czech Republic
    Duration: 18 Aug 201422 Aug 2014

    Publication series

    NameFrontiers in Artificial Intelligence and Applications
    Volume263
    ISSN (Print)0922-6389
    ISSN (Electronic)1879-8314

    Conference

    Conference21st European Conference on Artificial Intelligence, ECAI 2014
    Country/TerritoryCzech Republic
    CityPrague
    Period18/08/1422/08/14

    Fingerprint

    Dive into the research topics of 'Diagnosis of hybrid systems with SMT: Opportunities and challenges'. Together they form a unique fingerprint.

    Cite this