Patents by Inventor Xiaoqing Jin
Xiaoqing Jin 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).
-
Patent number: 11087568Abstract: Systems and methods are provided for monitoring time-series data relative to a temporal logic specification regarding expected behavior of a system, such as a vehicle. The time-series data and a threshold value(s) specified in the temporal logic specification may be encrypted and analyzed without decrypting the time-series data to maintain the privacy of a user(s) of the vehicle. Encryption of the time-series data and the threshold value(s) may be accomplished using an order preserving encryption scheme. Analysis of the time-series data may be accomplished utilizing a batch processing-type architecture or a continuous processing-type architecture. When utilizing the continuous processing-type architecture, historical time-series data may be stored and utilized to determine whether currently-monitored time-series data satisfies the temporal logic specification.Type: GrantFiled: February 3, 2020Date of Patent: August 10, 2021Assignee: TOYOTA MOTOR ENGINEERING & MANUFACTURING NORTH AMERICA, INC.Inventors: Jyotirmoy V. Deshmukh, James P. Kapinski, Xiaoqing Jin, Luan V. Nguyen
-
Publication number: 20200175780Abstract: Systems and methods are provided for monitoring time-series data relative to a temporal logic specification regarding expected behavior of a system, such as a vehicle. The time-series data and a threshold value(s) specified in the temporal logic specification may be encrypted and analyzed without decrypting the time-series data to maintain the privacy of a user(s) of the vehicle. Encryption of the time-series data and the threshold value(s) may be accomplished using an order preserving encryption scheme. Analysis of the time-series data may be accomplished utilizing a batch processing-type architecture or a continuous processing-type architecture. When utilizing the continuous processing-type architecture, historical time-series data may be stored and utilized to determine whether currently-monitored time-series data satisfies the temporal logic specification.Type: ApplicationFiled: February 3, 2020Publication date: June 4, 2020Inventors: Jyotirmoy V. Deshmukh, James P. Kapinski, Xiaoqing Jin, Luan V. Nguyen
-
Patent number: 10580225Abstract: Systems and methods are provided for monitoring time-series data relative to a temporal logic specification regarding expected behavior of a system, such as a vehicle. The time-series data and a threshold value(s) specified in the temporal logic specification may be encrypted and analyzed without decrypting the time-series data to maintain the privacy of a user(s) of the vehicle. Encryption of the time-series data and the threshold value(s) may be accomplished using an order preserving encryption scheme. Analysis of the time-series data may be accomplished utilizing a batch processing-type architecture or a continuous processing-type architecture. When utilizing the continuous processing-type architecture, historical time-series data may be stored and utilized to determine whether currently-monitored time-series data satisfies the temporal logic specification.Type: GrantFiled: March 31, 2017Date of Patent: March 3, 2020Assignee: TOYOTA MOTOR ENGINEERING & MANUFACTURING NORTH AMERICA, INC.Inventors: Jyotirmoy V. Deshmukh, James P. Kapinski, Xiaoqing Jin, Luan V. Nguyen
-
Patent number: 10547070Abstract: A system for determining desired control paths for controlling operation of a fuel cell circuit includes a memory to store a model of the fuel cell circuit and an input device to receive system requirements. The system also includes a model processor designed to select sets of time-series actuator states corresponding to time-series control of an actuator of the fuel cell circuit and to perform simulations of the model using the multiple sets of time-series actuator states as controls for the actuator. The model processor is also performs an analysis of results of the simulations to determine whether the results for each of the multiple sets of time-series actuator states satisfy the system requirements and how far the results are from the system requirements, and selects a final set of time-series actuator states that satisfy the system requirements based on the analysis.Type: GrantFiled: March 9, 2018Date of Patent: January 28, 2020Assignee: TOYOTA MOTOR ENGINEERING & MANUFACTURING NORTH AMERICA, INC.Inventors: Jyotirmoy V. Deshmukh, Xiaoqing Jin, Jared Farnsworth, Shigeki Hasegawa
-
Patent number: 10429811Abstract: Systems and methods for evaluating closed-loop control systems are disclosed. In one embodiment, a method of evaluating a control system includes determining, using a processing device, one or more convergence classifier functions from a closed-loop model, wherein the one or more convergence classifier functions convey convergent behavior of the closed-loop model over a pre-determined period of time. The method further includes generating, using the processing device, a plurality of test cases of an input space of the closed-loop model under evaluation, and determining, using the processing device, whether one or more individual test cases of the plurality of test cases do not satisfy the one or more convergence classifier functions.Type: GrantFiled: April 8, 2016Date of Patent: October 1, 2019Assignee: Toyota Motor Engineering & Manufacturing North America, Inc.Inventors: Jyotirmoy V. Deshmukh, James P. Kapinski, Xiaoqing Jin
-
Publication number: 20190280319Abstract: A system for determining desired control paths for controlling operation of a fuel cell circuit includes a memory to store a model of the fuel cell circuit and an input device to receive system requirements. The system also includes a model processor designed to select sets of time-series actuator states corresponding to time-series control of an actuator of the fuel cell circuit and to perform simulations of the model using the multiple sets of time-series actuator states as controls for the actuator. The model processor is also performs an analysis of results of the simulations to determine whether the results for each of the multiple sets of time-series actuator states satisfy the system requirements and how far the results are from the system requirements, and selects a final set of time-series actuator states that satisfy the system requirements based on the analysis.Type: ApplicationFiled: March 9, 2018Publication date: September 12, 2019Inventors: Jyotirmoy V. Deshmukh, Xiaoqing Jin, Jared Farnsworth
-
Publication number: 20180286143Abstract: Systems and methods are provided for monitoring time-series data relative to a temporal logic specification regarding expected behavior of a system, such as a vehicle. The time-series data and a threshold value(s) specified in the temporal logic specification may be encrypted and analyzed without decrypting the time-series data to maintain the privacy of a user(s) of the vehicle. Encryption of the time-series data and the threshold value(s) may be accomplished using an order preserving encryption scheme. Analysis of the time-series data may be accomplished utilizing a batch processing-type architecture or a continuous processing-type architecture. When utilizing the continuous processing-type architecture, historical time-series data may be stored and utilized to determine whether currently-monitored time-series data satisfies the temporal logic specification.Type: ApplicationFiled: March 31, 2017Publication date: October 4, 2018Applicant: Toyota Motor Engineering & Manufacturing North America, Inc.Inventors: JYOTIRMOY V. DESHMUKH, JAMES P. KAPINSKI, XIAOQING JIN, LUAN V. NGUYEN
-
Patent number: 9798652Abstract: A computer-implemented method for automatically identifying a faulty behavior of a control system. The method includes receiving, at a test processor, a description of the faulty behavior. The method also includes selecting, using the test processor, a goal state based on a heuristic decision. The method also includes selecting, using the test processor, a selected system state. The method also includes selecting, using the test processor, a selected variable to the control system based on the goal state. The method also includes loading, from a memory, a control model of the control system. The method also includes performing, using the test processor, a simulation of the control model using the selected variable and the selected system state as parameters of the simulation. The method also includes determining, using the test processor, whether the faulty behavior was observed based on the simulation.Type: GrantFiled: September 8, 2015Date of Patent: October 24, 2017Assignees: TOYOTA MOTOR ENGINEERING & MANUFACTURING NORTH AMERICA, INC., UNIVERSITY JOSEPH FOURIERInventors: James P. Kapinski, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Thao Dang, Tommaso Dreossi
-
Publication number: 20170293285Abstract: Systems and methods for evaluating closed-loop control systems are disclosed. In one embodiment, a method of evaluating a control system includes determining, using a processing device, one or more convergence classifier functions from a closed-loop model, wherein the one or more convergence classifier functions convey convergent behavior of the closed-loop model over a pre-determined period of time. The method further includes generating, using the processing device, a plurality of test cases of an input space of the closed-loop model under evaluation, and determining, using the processing device, whether one or more individual test cases of the plurality of test cases do not satisfy the one or more convergence classifier functions.Type: ApplicationFiled: April 8, 2016Publication date: October 12, 2017Applicant: Toyota Motor Engineering & Manufacturing North America, Inc.Inventors: Jyotirmoy V. Deshmukh, James P. Kapinski, Xiaoqing Jin
-
Publication number: 20160092346Abstract: A computer-implemented method for automatically identifying a faulty behavior of a control system. The method includes receiving, at a test processor, a description of the faulty behavior. The method also includes selecting, using the test processor, a goal state based on a heuristic decision. The method also includes selecting, using the test processor, a selected system state. The method also includes selecting, using the test processor, a selected variable to the control system based on the goal state. The method also includes loading, from a memory, a control model of the control system. The method also includes performing, using the test processor, a simulation of the control model using the selected variable and the selected system state as parameters of the simulation. The method also includes determining, using the test processor, whether the faulty behavior was observed based on the simulation.Type: ApplicationFiled: September 8, 2015Publication date: March 31, 2016Inventors: James P. Kapinski, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Thao Dang, Tommaso Dreossi
-
Patent number: 9081900Abstract: 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: GrantFiled: October 15, 2012Date of Patent: July 14, 2015Assignees: Toyota Motor Engineering & Manufacturing North America, Inc., The Regents of the University of CaliforniaInventors: Jyotirmoy V. Deshmukh, Xiaoqing Jin, Alexandre Donze, Sanjit A. Seshia
-
Publication number: 20140109036Abstract: 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: ApplicationFiled: October 15, 2012Publication date: April 17, 2014Inventors: Jyotirmoy V. Desmukh, Xiaoqing Jin, Alexandre Donze, Sanjit A. Seshia
-
Publication number: 20050180523Abstract: A method of wirelessly transmitting digital signal includes the steps of (a) dividing a digital signal into a primary signal band and a secondary signal band; (b) phrase-shifting the secondary signal to form a reverse signal with respect to the primary signal band in such a manner that the reverse signal is one hundred and eighty degrees out of phrase with the primary signal band; (c) encoding the primary signal band and the reverse signal; (d) wirelessly transmitting the primary signal band and the reverse signal; (e) decoding the encoded primary signal band and the encoded reverse signal; and (f) combining the primary signal band and the reverse signal to re-form the digital signal.Type: ApplicationFiled: October 19, 2004Publication date: August 18, 2005Inventors: Jianping Gao, Yu Cao, Xiaoqing Jin