Karen K Leung

US Patent:

20110234493, Sep 29, 2011

Filed:

Feb 25, 2011

Appl. No.:

12/932466

Inventors:

Donald Kravits - Glendale CA, US
Gregory Butkus - La Verne CA, US
Karen S. Leung - South Pasadena CA, US
Peter Ricci - Deland FL, US
Marcelyn J. Floyd - Bay Lake FL, US
Charles L. Bueche - Austin TX, US

Assignee:

DISNEY ENTERPRISES, INC. - Burbank CA

International Classification:

G06F 3/033
G06F 3/044
G06F 3/041

US Classification:

345160, 345174, 345173

Abstract:

There is provided a system and method for the interactive display floor with multi-touch surround surfaces that is integrated with an interactive computer system. There is provided a system comprising an interactive video floor, a sensitized peripheral surface, an interactive computer and video system. When the user makes contact with sensitized peripheral surface, digital input data is transmitted to interactive computer. After analyzing the digital input data, the interactive computer sends digital output data back to interactive video floor through video system, and back to sensitized peripheral surface. The interactive video floor redisplays its graphics based on the content of the digital output data, and the sensitized peripheral surface reconfigures itself with respect to the information within digital output data.

US Patent:

20200379893, Dec 3, 2020

Filed:

May 29, 2019

Appl. No.:

16/425723

Inventors:

Karen Y. LEUNG - Mountain View CA, US
Soon Ho KONG - Arlington MA, US
Jonathan DECASTRO - Arlington MA, US
Frank PERMENTER - Cambridge MA, US

International Classification:

G06F 11/36
G06N 3/08
G06F 17/50
G06N 5/02
G06F 17/13

Abstract:

A method for synthesizing parameters for control of a closed loop system based on a differentiable simulation model of the closed loop system includes determining requirements/specifications for the closed loop system in signal temporal logic (STL). The method also includes selecting a parametric control law having a differentiable parameter control function. The method also includes converting the requirements in signal temporal logic into differentiable computational graph. The method further includes building the differentiable simulation model as a differentiable computational graph. Furthermore, the method includes automatically learning values of parameters for the differentiable parameter control function of the closed loop system by backpropagating an error.