Patents by Inventor Randall R. Correll

Randall R. Correll has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 10796240
    Abstract: Fault tree analysis is performed using a combination of digital computer systems and quantum processing devices. For example, quantum annealers may be configured to analyze a fault tree for minimal cut sets. The quantum annealer may be particular good at identifying smaller minimal cut sets. Digital computer systems may be used to identify the remaining minimal cut sets. If the quantum annealer identifies one of the minimal cut sets of smallest size (i.e., lowest cardinality), this can be used as a constraint for the digital computer system, thus speeding up its search for other minimal cut sets.
    Type: Grant
    Filed: July 20, 2018
    Date of Patent: October 6, 2020
    Assignee: QC Ware Corp.
    Inventors: Randall R. Correll, Asier Ozaeta Rodriguez, Alejandro Perdomo Ortiz
  • Publication number: 20190026645
    Abstract: Fault tree analysis is performed using a combination of digital computer systems and quantum processing devices. For example, quantum annealers may be configured to analyze a fault tree for minimal cut sets. The quantum annealer may be particular good at identifying smaller minimal cut sets. Digital computer systems may be used to identify the remaining minimal cut sets. If the quantum annealer identifies one of the minimal cut sets of smallest size (i.e., lowest cardinality), this can be used as a constraint for the digital computer system, thus speeding up its search for other minimal cut sets.
    Type: Application
    Filed: July 20, 2018
    Publication date: January 24, 2019
    Inventors: Randall R. Correll, Asier Ozaeta Rodriguez, Alejandro Perdomo Ortiz
  • Publication number: 20170372427
    Abstract: An improved method uses quantum processing devices to optimize a portfolio of financial assets. In one approach, a list of lots available for purchase is received. Each lot specifies financial assets included in the lot and a price to purchase the lot. A budget for the portfolio is also received. An objective function is formulated based on the list of lots and on the budget. The objective function has a form suitable for solution by a quantum processing device, which is used to optimize the objective function, thereby determining which lots are to be purchased.
    Type: Application
    Filed: June 27, 2017
    Publication date: December 28, 2017
    Inventors: Matthew C. Johnson, Randall R. Correll, Kay Giesecke, Peter L. McMahon, Vincent P. Su
  • Publication number: 20170372412
    Abstract: An improved method uses quantum processing devices to determine optimal sets of bids in combinatorial auctions. In one approach, a list of bids is received. Each bid specifies a price for a package of one or more items offered in the auction. The bids may be conflicting. An objective function based on the list of bids is formulated. The objective function has a form suitable for solution by a quantum processing device, which is used to optimize the objective function, thereby determining which bids are accepted.
    Type: Application
    Filed: June 27, 2017
    Publication date: December 28, 2017
    Inventors: Matthew C. Johnson, Randall R. Correll, Kay Giesecke, Peter L. McMahon