Jyotirmoy V Deshmukh

US Patent:

20100169618, Jul 1, 2010

Filed:

Dec 30, 2008

Appl. No.:

12/345857

Inventors:

Ganesan Ramalingam - Bangalore, IN
Sriram Rajamani - Bellevue WA, US
Venkatesh-Prasad Ranganath - Bangalore, IN
Kapil Vaswani - Bangalore, IN
Jyotirmoy Vinay Deshmukh - Austin TX, US

Assignee:

Microsoft Corporation - Redmond WA

International Classification:

G06F 9/44

US Classification:

712220, 712E09004

Abstract:

The claimed subject matter provides a system and/or a method that facilitates ensuring non-interference between multiple threads that access a shared resource. An interface can receive a portion of sequential code, wherein the portion of sequential code includes a property that is maintained and relied upon when invoked and executed by a sequential client. A synthesizer component can leverage a sequential proof related to the portion of sequential code in order to derive a concurrency control mechanism for a portion of concurrency code that maintains the property when invoked by a concurrent client, wherein the sequential proof identifies a concurrent interference at an execution point that is tolerable for the concurrent client.

US Patent:

20200226467, Jul 16, 2020

Filed:

Jan 13, 2020

Appl. No.:

16/741328

Inventors:

- Tempe AZ, US
Hani Ben Amor - Tempe AZ, US
Adel Dokhanchi - Tempe AZ, US
Jyotirmoy Deshmukh - Torrance CA, US

Assignee:

Arizona Board of Regents on Behalf of Arizona State University - Tempe AZ
University of Southern California - Los Angeles CA

International Classification:

G06N 3/08
G06T 7/77
G06F 16/245
G06N 3/04

Abstract:

Various embodiments for systems and methods of evaluating perception systems for autonomous vehicles using a quality temporal logic are disclosed herein.

US Patent:

20160231990, Aug 11, 2016

Filed:

Aug 18, 2014

Appl. No.:

14/462218

Inventors:

- Erlanger KY, US
Jyotirmoy Vinay Deshmukh - Torrance CA, US
James Kapinski - Redondo Beach CA, US

Assignee:

TOYOTA MOTOR ENGINEERING AND MANUFACTURING NORTH AMERICA, INC. - Erlanger KY

International Classification:

G06F 9/44
G06F 17/30
G06F 17/10

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.

US Patent:

20140201723, Jul 17, 2014

Filed:

Feb 6, 2013

Appl. No.:

13/760407

Inventors:

Toyota Motor Engineering & Manufacturing North America, Inc. - , US
Jyotirmoy V. Deshmukh - Torrance CA, US

Assignee:

Toyota Motor Engineering & Manufacturing North America, Inc. - Erlanger KY

International Classification:

G06F 11/36

US Classification:

717135

Abstract:

In one embodiment, a method of evaluating stability of software code for a control system includes receiving a set of initial trajectories by a semidefinite programming solver module, and determining one or more candidate Lyapunov functions based on the set of initial trajectories. The method further includes performing a plurality of simulations using a model of the control system to create a set of discovered trajectories, and evaluating the set of discovered trajectories to determine one or more counterexample trajectories that violate one or more Lyapunov conditions. If one or more counterexample trajectories are discovered, then the method includes inputting the set of discovered trajectories including the one or more counterexample trajectories into the semidefinite programming solver module, and determining, by the semidefinite programming solver module, one or more additional candidate Lyapunov functions from the set of initial trajectories and the set of discovered trajectories.