research
∙
09/08/2022
A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit
Faults are stochastic by nature while most man-made systems, and especia...
share
research
∙
03/04/2020
Hybrid modeling: Applications in real-time diagnosis
Reduced-order models that accurately abstract high fidelity models and e...
research
∙
05/07/2019
Design Space Exploration as Quantified Satisfaction
We propose novel algorithms for design and design space exploration. The...
research
∙
01/16/2014
A Model-Based Active Testing Approach to Sequential Diagnosis
Model-based diagnostic reasoning often leads to a large number of diagno...
research
∙
01/16/2014