Accession Number:

ADA605962

Title:

A Quantum Computing Approach to Model Checking for Advanced Manufacturing Problems

Descriptive Note:

Final technical rept. Nov 2012-Jan 2014

Corporate Author:

UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST

Report Date:

2014-07-01

Pagination or Media Count:

67.0

Abstract:

This project studied the feasibility of integrating the capabilities of the D-Wave adiabatic quantum annealing processor into a Model Checking MC approach based on Counter-example Guided Abstraction Refinement CEGAR. The computational bottleneck of this approach is the solution of certain combinatorial optimization problems for which the D-Wave processor was specifically designed. We developed a set of tools to sidestep the restrictions imposed by the limited connectivity of the processor, performed a set of benchmarking tests of the device, and implemented a proof of concept example that integrated the quantum processor with regular model checking techniques.

Subject Categories:

  • Quantum Theory and Relativity

Distribution Statement:

APPROVED FOR PUBLIC RELEASE