Palo Alto Research Center Inc.

Xerox Corporation

Other

C-infinity, Inc.

Johan De Kleer

Ion Matei

Aleksandar B Feldman

Lukas Daniel Kuhn

Rong Zhou

Robert Roy Price

Saigopal Nelaturi

Rajinderjeet Singh Minhas

Morad Behandish

Anurag Ganguli

Minh Binh Do

Alexander Feldman

Shekhar Gupta

Christian Fritz

Tim C Schmidt

Alexandre Campos Perez

Alexandre Perez

Juan Liu

Arvind Rangarajan

Tolga Kurtoglu

Linxia Liao

Ron Zvi Stern

Maksym Zhenirovskyy

Matthew Klenk

Maksym I Zhenirovskyy

Warren Bruce Jackson

Eugene Michael Chow

Daniel H Greene

Shantanu Rane

Michael D Dixon

John Ogden Lamping

Eric Saund

Eric Allan Bier

Jeng Ping Lu

Bernard D Casse

Sungwook Yoon

George Daniel

John Turner Maxwell, Iii

Bhaskar Saha

Anne Plochowietz

Lara S Crawford

Christoforos Somarakis

Peter Frederick Patel-Schneider

Kyle D Dent

Hector Luis Palacios Verdes

Clinton Morris

Randi Wang

Peter Patel-Schneider

Christian Wilhelm Fritz

Marzieh Nabi-Abdolyousefi

One variation of a method includes: accessing a virtual assembly; for a virtual component in a set of virtual components within the virtual assembly, generating a constellation of rays emanating from an inset surface of the virtual component; traversing the virtual component along a first ray, in the constellation of rays, in a first direction; in response to the virtual component colliding with another virtual component along the first ray, identifying a restricted escape direction; traversing the virtual component along a second ray, in the constellation of rays, in a second direction; in response to the virtual shell avoiding collision with another virtual component along the second ray, identifying an unrestricted escape direction; and generating a virtual assembly sequence specifying installation of the virtual component, opposite the second direction, prior to installation of another virtual component, based on the unrestricted escape direction.

Method for automatically generating assembly and disassembly plans

One embodiment provides a method and a system for reconstructing symbols transmitted over a high frequency (HF) communication channel. During operation, the system can receive, at a receiver, a radio frequency (RF) signal carrying an input data frame and transmitted over the HF communication channel. The input data frame includes a number of known symbols followed by a number of unknown symbols. The system can determine a set of channel parameters associated with the HF communication channel based on the received RF signal and the known symbols and reconstruct, using a machine-learning technique, the unknown symbols based on the determined channel parameters and the received RF signal.

System and method for symbol decoding in high frequency (hf) communication channels

System and method that allow to jointly cause movement of multiple micro-and-nano-objects to desired positions are described. A high speed camera tracks the locations of the objects. An array of electrodes is used to generate a dynamic potential energy landscape for manipulating objects with both DEP and EP forces. One or more computing devices are used to: process images captured by the camera to estimate positions of the objects; use model predictive control optimization to obtain trajectories and electrode potentials for moving at least some of the objects from estimated positions to further positions; and control the electrodes based on electrode potentials.

System and method for model-predictive-control-based micro-assembly control with the aid of a digital computer

A system and method for determining vehicle component conditions is provided. A predictive model is built for a vehicle component and values are mapped for a feature of the vehicle component using the predictive model. A threshold is applied to the mapped values. An occurrence of a fault of the vehicle component is predicted when one or more of the mapped values exceeds the threshold and an extended optimal interval during which the fault is predicted to occur is identified.

System and method for determining vehicle component conditions

Methods may comprise: identifying a fault indicator associated with a physical system; collecting first data related to a state of the physical system; applying a surrogate model to the first data to produce a plurality of potential fault modes; applying an optimization algorithm to the plurality of potential fault modes using a similarity metric to produce an input and a plurality of outputs, wherein each of the plurality of outputs corresponds to one of the plurality of potential fault modes, wherein the input provides differentiation between each of the plurality of outputs; applying the input to the physical system; collecting second data from physical system in response to applying the input; identifying a true mode of the physical system based on a comparison of the second data and the plurality of outputs; and diagnosing a fault of the physical system based on the true mode.

Methods and systems for fault diagnosis

A transform memory controller is described herein wherein the transform memory controller comprises logic elements configured to perform desired transform operations on data that flows to-and-from conventional computer memory elements. The transform operations are configured to perform operations on such data without the need for such data to travel to-and-from the conventional computer memory element via the processor (e.g., Central Processing Unit (CPU)) of the computer system. Several desirable transform operations are herein disclosed.

Reduced data representation memory controller and related chiplet sets

One embodiment provides a method and a system for computing diagnoses for a physical system. During operation, the system can obtain a design of the physical system, generate a design of a diagnostic system by augmenting the design of the physical system based on a number of fault-emulating subsystems, and convert the design of the diagnostic system into a polynomial formula comprising a plurality of variables. The plurality of variables can include inputs and outputs of the original physical system and a number of ancillary variables. The system can further embed the polynomial formula on a hardware-based solver configured to perform optimization using the polynomial formula as an objective function to obtain a diagnostic vector used for explaining faults in the physical system.

Hybrid solver for integrated circuit diagnostics and testing

System and method that allow to jointly cause movement of multiple micro-and-nano-objects to desired positions are described. A high speed camera tracks the locations of the objects. An array of photo-transistor-controlled electrodes is used to generate a dynamic potential energy landscape for manipulating objects with both DEP and EP forces, and a video projector is used actuate the array. One or more computing devices are used to: process images captured by the camera to estimate positions of the objects; generate desired trajectories of the objects using an objective function; compare the desired chiplet positions with current positions and generate input signals to minimize the error between them; and map the control inputs to images that are projected on the array using a video project. The projected images activate or deactivate electrodes, as indicated by the control inputs.

System and method for multi-object micro-assembly control with the aid of a digital computer

A method includes obtaining a binary code of a controller. The method also includes decompiling the binary code of the controller to generate a source code. The method further includes generating one or more abstract syntax trees based on the source code. The method further includes generating an interpretable model based on the one or more abstract syntax trees. The interpretable model is interpretable by subject matter experts.

Search based approach for generating controller models

An analog circuit for solving optimization algorithms comprises three voltage controlled current sources and three capacitors, operatively coupled in parallel to the three voltage controlled current sources, respectively. The circuit further comprises a first inductor, operatively coupled in series between a first pair of the capacitors and the voltage controller current sources and a second pair of the capacitors and the voltage controller current sources. The circuit further comprises a second inductor, operatively coupled in series between the second pair of the capacitors and the voltage controller current sources and a third pair of the capacitors and the voltage controller current sources.

Analog computer architecture for fast function optimization

A component library having a plurality of design components is received. Designs are predicted using the plurality of components using a machine learning model. The predicted designs comprise a subset of all possible designs using the plurality of components. A set of design criteria is received. At least one design solution is generated based on the set of design criteria and the predicted designs.

Reducing the numerical complexity of designs

System and method that to shape micro-object density distribution (how densely the micro-objects are assembled in particular spatial regions) are provided. A high speed camera tracks existing object density distribution. An array of photo-transistor-controlled electrodes is used to generate a dynamic potential energy landscape for manipulating objects with both DEP and EP forces, and a video projector is used actuate the array. One or more computing devices are used to: process images captured by the camera to estimate existing density distribution of objects; receive a desired density distribution of micro-objects; define a model describing a variation of micro-object density over time due to capacitance-based interactions; generate a sequence of electrode potential that when generated would minimize error between the existing density distribution and a desired density distribution; and use the sequences of electrode potentials to actuate the electrodes.

System and method for machine-learning-enabled micro-object density distribution control with the aid of a digital computer

A classification-based diagnosis for detecting and predicting faults in physical system (e.g. an electronic circuit or rail switch) is disclosed. Some embodiments make use of partial system model information (e.g., system topology, components behavior) to simplify the classifier complexity (e.g., reduce the number of parameters). Some embodiments of the method use a Bayesian approach to derive a classifier structure.

Method for classification based diagnosis with partial system model information

The techniques disclosed herein help designers find interesting designs for small electrical, mechanical, and/or hydraulic mechanisms by exhaustively enumerating the design space given a library of components and a maximum number of components allowed per design. Some embodiments work by creating a design space grammar of designs, solving the equations associated with parts of the grammar, and putting the solutions into equivalence classes. This dramatically reduces the number of designs that have to be evaluated to see if they satisfy the design criteria. The result is often a small number of base designs that show the range of possible solutions to the design problem.

Method for generating designs based on automatically built design space grammars

System and method that allow utilize machine learning algorithms to move a micro-object to a desired position are described. A sensor such as a high speed camera or capacitive sensing, tracks the locations of the objects. A dynamic potential energy landscape for manipulating objects is generated by controlling each of the electrodes in an array of electrodes. One or more computing devices are used to: estimate an initial position of a micro-object using the sensor; generate a continuous representation of a dynamic model for movement of the micro-object due to electrode potentials generated by at least some of the electrodes and use automatic differentiation and Gauss quadrature rules on the dynamic model to derive optimum potentials to be generated by the electrodes to move the micro-object to the desired position; and map the calculated optimized electrode potentials to the array to activate the electrodes.

System and method for machine-learning enabled micro-assembly control with the aid of a digital computer

Growing community of inventors

Los Altos, CA, United States of America

Johan De Kleer