45 citations · 104 across the 5 of their papers we have counts for
6 papers
A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit
Alexander Feldman, Johan de Kleer, Ion Matei
Faults are stochastic by nature while most man-made systems, and especially computers, work deterministically. This necessitates the linking of probability theory with mathematical…
Hybrid modeling: Applications in real-time diagnosis
Ion Matei, Johan de Kleer, Alexander Feldman +2
Reduced-order models that accurately abstract high fidelity models and enable faster simulation is vital for real-time, model-based diagnosis applications. In this paper, we outlin…
Design Space Exploration as Quantified Satisfaction
Alexander Feldman, Johan de Kleer, Ion Matei
We present novel algorithms for design and design space exploration. The designs discovered by these algorithms are compositions of function types specified in component libraries.…
Readiness of Quantum Optimization Machines for Industrial Applications
Alejandro Perdomo-Ortiz, Alexander Feldman, Asier Ozaeta +9
There have been multiple attempts to demonstrate that quantum annealing and, in particular, quantum annealing on quantum annealing machines, has the potential to outperform current…
A Model-Based Active Testing Approach to Sequential Diagnosis
Alexander Feldman, Gregory Provan, Arjan van Gemund
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive moni…
Approximate Model-Based Diagnosis Using Greedy Stochastic Search
Alexander Feldman, Gregory Provan, Arjan van Gemund
We propose a StochAstic Fault diagnosis AlgoRIthm, called SAFARI, which trades off guarantees of computing minimal diagnoses for computational efficiency. We empirically demonstrat…