Search Results for author:
Found 5 papers, 0 papers with code
A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit
In this paper we provide a novel approach for computing diagnosis of switching circuits with gate-based quantum computers.
Hybrid modeling: Applications in real-time diagnosis
In this paper, we outline a novel hybrid modeling approach that combines machine learning inspired models and physics-based models to generate reduced-order models from high fidelity models.
Design Space Exploration as Quantified Satisfaction
We apply our method to the design of Boolean systems and discover new and more optimal classical digital and quantum circuits for common arithmetic functions such as addition and multiplication.
A Model-Based Active Testing Approach to Sequential Diagnosis
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses.
Approximate Model-Based Diagnosis Using Greedy Stochastic Search
We propose a StochAstic Fault diagnosis AlgoRIthm, called SAFARI, which trades off guarantees of computing minimal diagnoses for computational efficiency.
