@inproceedings{be0f1f919087493d9a27a2d6ba2f21e9,
title = "Diagnosis of hybrid systems with SMT: Opportunities and challenges",
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.",
author = "Alban Grastien",
note = "Publisher Copyright: {\textcopyright} 2014 The Authors and IOS Press.; 21st European Conference on Artificial Intelligence, ECAI 2014 ; Conference date: 18-08-2014 Through 22-08-2014",
year = "2014",
doi = "10.3233/978-1-61499-419-0-405",
language = "English",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "405--410",
editor = "Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan",
booktitle = "ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings",
address = "Netherlands",
}