Abstract: One embodiment provides a method and a system for diagnosing faults in a physical system. During operation, the system can create a fault-augmented model of the physical system by considering various potential faults, and it can generate a machine-learning model to predict an operation mode of the physical system using the outputs of the physical system. A respective operation mode corresponds to normal operation or a potential fault in the physical system. The system can generate a plurality of training samples based on the fault-augmented model, use the training samples to train the machine-learning model to learn a sequence of inputs and model parameters that minimizes an uncertainty of the predicted operation mode, and then apply the learned sequence of inputs and the trained machine-learning model on the physical system to determine the operation mode of the physical system.

Abstract: This disclosure provides techniques for providing or facilitating automatic generation or conversion to geometric designs based on system-level designs. An example method may include receiving a system model from a system modeling environment. The system model describes, represents, or reflects a typology of two or more system components. The topology describes connectivity and performance by the two or more system components. A processing device extracts the topology of the two or more system components from the system model. The topology is represented by two or more connected nodes. The topology describes connectivity and performance by two or more system components. The processing device generates design spaces for the two or more connected nodes. The processing device further generates geometric representations in the design spaces for each of the two or more connected nodes to form the geometric assembly based on the system model.

Abstract: A method is provided. The method includes obtaining an enhanced state graph. The enhanced state graph represents a set of objects within an environment and a set of positions of the set of objects. The enhanced state graph includes a set of object nodes, a set of property nodes and a set of goal nodes to represent a set of objectives. The method also includes generating a set of instructions for a set of mechanical systems based on the enhanced state graph. The set of mechanical systems is configured to interact with one or more of the set of objects within the environment. The method further includes operating the set of mechanical systems to achieve the set of objectives based on the set of instructions.

Abstract: A method is provided. The method includes obtaining sensor data indicative of a set of objects detected within an environment. The method also includes generating a state graph based on the sensor data. The state graph includes a set of object nodes and a set of property nodes. The method further includes obtaining user input data generated based on a natural language input. The method further includes updating the state graph based on the user input data to generate an enhanced state graph. The enhanced state graph includes additional nodes generated based on the user input data. The method further includes generating a set of instructions for a set of mechanical systems based on the enhanced state graph. The method further includes operating the set of mechanical systems to achieve a set of objectives based on the set of instructions.

Abstract: A method is provided. The method includes obtaining a state graph that represents a set of objects within an environment and a set of positions of the set of objects within the environment. The state graph includes a set of object nodes and a set of property nodes. The method also includes obtaining user input data. The user input data is generated based on a natural language input. The method further includes updating the state graph based on the user input data to generate an enhanced state graph. The enhanced state graph includes additional nodes generated based on the user input data. The method further includes providing the enhanced state graph to a planning module. The planning modules generates instructions for operating a mechanical system based on the enhanced state graph.

Abstract: In one embodiment, a method is provided. The method includes obtaining sensor data indicative of a set of objects detected within an environment. The method also includes determining a set of positions of the set of objects and a set of properties of the set of objects based on the sensor data. The method further includes generating a state graph based on the sensor data. The state graph represents the set of objects and the set of positions of the set of objects. The state graph includes a set of object nodes to represent the set of objects and a set of property nodes to represent the set of properties of the set of objects. The state graph is provided to a graph enhancement module that updates the state graph with additional data to generate an enhanced state graph.

Abstract: A method is provided. The method includes obtaining an enhanced state graph. The enhanced state graph represents a set of objects within an environment and a set of positions of the set of objects. The enhanced state graph includes a set of object nodes, a set of property nodes and a set of goal nodes to represent a set of objectives. The method also includes generating a set of instructions for a set of mechanical systems based on the enhanced state graph. The set of mechanical systems is configured to interact with one or more of the set of objects within the environment. The method further includes operating the set of mechanical systems to achieve the set of objectives based on the set of instructions.

Abstract: Systems and methods for solving nogood databases involve generating a representation comprising a plurality of contexted disjunctions, conjoining all of the contented disjunctions to form a conjunction of contexted disjunctions, and storing the representation as the conjunction of contexted disjunctions. Nogoods are eliminated by refining the representation until a result of the conjunction of contexted disjunctions is backtrack-free or the result of the conjunction of contexted disjunctions reduces to false. In various embodiments, the refining is carried out without reordering the disjunctions and/or without merging the disjunctions. In various embodiments, the systems and methods are used for various constraint satisfaction problems, such as syntactic processing of natural language sentences, map coloring, understanding line drawings, electronic circuit analysis, and truth maintenance systems.