Patents by Inventor James Kapinski

James Kapinski 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).

  • Simulation-guided incremental stability analysis
    Patent number: 9606773
    Abstract: A computer system may seek to identify at least one contraction metric that satisfies contraction conditions for a design of a dynamical system. The computer system may do so by formulating a search for a candidate contraction metric that is suspected of satisfying the contraction conditions for the design of the dynamical system from a set of simulation traces that describe the behavior of the dynamical system for a specific set of operating conditions. The search for the candidate contraction metric may then be performed. The computer system may seek to verify that a candidate contraction metric for a design of a dynamical system satisfies contraction conditions by performing a process that uses solvers based on decision procedures.
    Type: Grant
    Filed: August 18, 2014
    Date of Patent: March 28, 2017
    Assignee: TOYOTA MOTOR ENGINEERING & MANUFACTURING NORTH AMERICA, INC.
    Inventors: Ayca Balkan, Jyotirmoy Vinay Deshmukh, James Kapinski
  • SIMULATION-GUIDED INCREMENTAL STABILITY ANALYSIS
    Publication number: 20160231990
    Abstract: A computer system may seek to identify at least one contraction metric that satisfies contraction conditions for a design of a dynamical system. The computer system may do so by formulating a search for a candidate contraction metric that is suspected of satisfying the contraction conditions for the design of the dynamical system from a set of simulation traces that describe the behavior of the dynamical system for a specific set of operating conditions. The search for the candidate contraction metric may then be performed. The computer system may seek to verify that a candidate contraction metric for a design of a dynamical system satisfies contraction conditions by performing a process that uses solvers based on decision procedures.
    Type: Application
    Filed: August 18, 2014
    Publication date: August 11, 2016
    Applicant: TOYOTA MOTOR ENGINEERING AND MANUFACTURING NORTH AMERICA, INC.
    Inventors: Ayca Balkan, Jyotirmoy Vinay Deshmukh, James Kapinski
  • SIMULATION-GUIDED INCREMENTAL STABILITY ANALYSIS
    Publication number: 20160048375
    Abstract: A computer system may seek to identify at least one contraction metric that satisfies contraction conditions for a design of a dynamical system. The computer system may do so by formulating a search for a candidate contraction metric that is suspected of satisfying the contraction conditions for the design of the dynamical system from a set of simulation traces that describe the behavior of the dynamical system for a specific set of operating conditions. The search for the candidate contraction metric may then be performed. The computer system may seek to verify that a candidate contraction metric for a design of a dynamical system satisfies contraction conditions by performing a process that uses solvers based on decision procedures.
    Type: Application
    Filed: August 18, 2014
    Publication date: February 18, 2016
    Applicant: TOYOTA MOTOR ENGINEERING AND MANUFACTURING NORTH AMERICA, INC.
    Inventors: Ayca Balkan, Jyotirmoy Vinay Deshmukh, James Kapinski