Diagnosis of Hybrid Systems by Consistency Testing
Alban Grastien · ANU Open Research (Australian National University) · 2013
We propose a new approach of diagnosis of hybrid systems using SMT (SAT Modulo Theory) technology. Diagnosis of hybrid systems is reduced to a series of diagnosis questions that are solved using SMT solvers. We show that this approach allows to deal with a new class of systems and paves the way to a new approach to diagnosis of hybrid systems.