Patents by Inventor Greg S. Tallant

Greg S. Tallant 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).

  • Computer systems and methods for quantum verification and validation
    Patent number: 8832165
    Abstract: Systems and methods are disclosed for quantum verification and validation of cyber-physical systems that include a quantum allegory generator that maps a specification for the system undergoing verification and validation testing to a thermodynamical allegory. A hybrid classical-quantum processing system in which a quantum processing system serves as the oracle of the classical processing system and uses the thermodynamical allegory to determine whether there is a set of variable settings that satisfy the thermodynamical allegory. The presence and location of faults can be determined based on characteristics of the set of variables that satisfy the thermodynamical allegory, if the variables exist.
    Type: Grant
    Filed: November 24, 2010
    Date of Patent: September 9, 2014
    Assignee: Lockheed Martin Corporation
    Inventors: Edward H. Allen, Greg S. Tallant, Mark A. Elliot
  • COMPUTER SYSTEMS AND METHODS FOR QUANTUM VERIFICATION AND VALIDATION
    Publication number: 20110238378
    Abstract: Systems and methods are disclosed for quantum verification and validation of cyber-physical systems that include a quantum allegory generator that maps a specification for the system undergoing verification and validation testing to a thermodynamical allegory. A hybrid classical-quantum processing system in which a quantum processing system serves as the oracle of the classical processing system and uses the thermodynamical allegory to determine whether there is a set of variable settings that satisfy the thermodynamical allegory. The presence and location of faults can be determined based on characteristics of the set of variables that satisfy the thermodynamical allegory, if the variables exist.
    Type: Application
    Filed: November 24, 2010
    Publication date: September 29, 2011
    Inventors: Edward H. Allen, Greg S. Tallant, Mark A. Elliot