Search
 
loader loading subjects...
cover
Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges
Alban Grastien
405 - 410
10.3233/978-1-61499-419-0-405
Frontiers in Artificial Intelligence and Applications
Volume 263: ECAI 2014
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.

Download
Creative Commons License