Patents by Inventor Alexandre Donze

Alexandre Donze 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 mining temporal requirements from block diagram models of control systems
    Patent number: 9081900
    Abstract: Systems and methods for mining a temporal requirement from a block diagram model of a closed loop control system are disclosed. One embodiment of a method includes simulating the closed loop control system of a vehicle to obtain simulation traces and determining a candidate requirement by instantiating a template requirement with values of the simulation traces to locate parameter values that suggest that the template requirement is fulfilled. Some embodiments of the method include determining whether a counterexample to the candidate requirement exists; and in response to determining that the counterexample to the candidate requirement exists, obtaining the counterexample to the candidate requirement and adding the counterexample to the simulation traces for inspection.
    Type: Grant
    Filed: October 15, 2012
    Date of Patent: July 14, 2015
    Assignees: Toyota Motor Engineering & Manufacturing North America, Inc., The Regents of the University of California
    Inventors: Jyotirmoy V. Deshmukh, Xiaoqing Jin, Alexandre Donze, Sanjit A. Seshia
  • Systems and Methods for Mining Temporal Requirements from Block Diagram Models of Control Systems
    Publication number: 20140109036
    Abstract: Systems and methods for mining a temporal requirement from a block diagram model of a closed loop control system are disclosed. One embodiment of a method includes simulating the closed loop control system of a vehicle to obtain simulation traces and determining a candidate requirement by instantiating a template requirement with values of the simulation traces to locate parameter values that suggest that the template requirement is fulfilled. Some embodiments of the method include determining whether a counterexample to the candidate requirement exists; and in response to determining that the counterexample to the candidate requirement exists, obtaining the counterexample to the candidate requirement and adding the counterexample to the simulation traces for inspection.
    Type: Application
    Filed: October 15, 2012
    Publication date: April 17, 2014
    Inventors: Jyotirmoy V. Desmukh, Xiaoqing Jin, Alexandre Donze, Sanjit A. Seshia