The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 14, 2015
Filed:
Oct. 15, 2012
Toyota Motor Engineering & Manufacturing North America, Inc., Erlanger, KY (US);
The Regents of the University of California, Oakland, CA (US);
Jyotirmoy V. Deshmukh, Torrance, CA (US);
Xiaoqing Jin, Riverside, CA (US);
Alexandre Donze, Berkeley, CA (US);
Sanjit A. Seshia, El Cerrito, CA (US);
Toyota Motor Engineering & Manufacturing North America, Inc., Erlanger, KY (US);
The Regents of the University of California, Oakland, CA (US);
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.