Patents by Inventor Richard Poyner

Richard Poyner 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).

  • Systems and methods for monitoring specifications over simulation and test data
    Patent number: 11580797
    Abstract: Systems and methods are provided for requirements engineering, and may include: receiving as input, time series data from at least one of a simulation of a vehicle run on a simulation system, or from the vehicle in operation; a requirements monitoring system checking to determine whether a plurality of requirements for operation of the vehicle are met, wherein the requirements are expressed in signal temporal logic form and a requirement includes at least an associated minimal sampling rate and a filtering policy applicable to the requirement; determining a quantitative conformance for each of selected requirements of the plurality of requirements; and add requirements to a verified requirements set based on the qualitative conformance of the requirements.
    Type: Grant
    Filed: September 14, 2020
    Date of Patent: February 14, 2023
    Assignee: TOYOTA RESEARCH INSTITUTE, INC.
    Inventors: Nikos Arechiga Gonzalez, Evangelos Kokkevis, Richard Poyner, Daniel Stonier
  • SYSTEMS AND METHODS FOR MONITORING SPECIFICATIONS OVER SIMULATION AND TEST DATA
    Publication number: 20220084332
    Abstract: Systems and methods are provided for requirements engineering, and may include: receiving as input, time series data from at least one of a simulation of a vehicle run on a simulation system, or from the vehicle in operation; a requirements monitoring system checking to determine whether a plurality of requirements for operation of the vehicle are met, wherein the requirements are expressed in signal temporal logic form and a requirement includes at least an associated minimal sampling rate and a filtering policy applicable to the requirement; determining a quantitative conformance for each of selected requirements of the plurality of requirements; and add requirements to a verified requirements set based on the qualitative conformance of the requirements.
    Type: Application
    Filed: September 14, 2020
    Publication date: March 17, 2022
    Inventors: NIKOS ARECHIGA GONZALEZ, Evangelos Kokkevis, Richard Poyner, Daniel Stonier