Abstract: A computer is provided with a geometric representation of an as-designed part and a set of hybrid manufacturing capabilities. The computer computes a set of additive and subtractive manufacturing primitives from the provided set of hybrid manufacturing capabilities, and intersects the primitives to generate an atomic decomposition of space. The computer uses the atomic decomposition to generate a non-geometric representation of a space of manufacturable parts with hybrid manufacturing capabilities in at least one of symbolic, logical, and combinatorial forms. At least one of a necessary, sufficient, or necessary-and-sufficient condition for manufacturability is tested via examining the non-geometric representation for the existence of at least one feasible process plan whose outcome is an as-manufactured part that is interchangeable with the as-designed part.

Abstract: 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.

Abstract: 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.

Abstract: The following relates generally to system modeling. Some embodiments described herein learn a representation of the parameter feasibility space that make model parameter tuning easier by constraining the search space, thus enabling physical interpretation of the learned model. They also enable model-based system analytics (controls, diagnosis, prognostics) by providing a system model.

Abstract: A nonlinear dynamic control system is defined by a set of equations that include a state vector and one or more control inputs. Via a machine learning method, a sub-optimal controller is derived that stabilizes the nonlinear dynamic control system at an equilibrium point. The sub-optimal controller is retrained to be used as a stabilizing controller for the nonlinear dynamic control system under general operating conditions.

Abstract: A computer is provided with a geometric representation of an as-designed part and a set of hybrid manufacturing capabilities. The computer computes a set of additive and subtractive manufacturing primitives from the provided set of hybrid manufacturing capabilities, and intersects the primitives to generate an atomic decomposition of space. The computer uses the atomic decomposition to generate a non-geometric representation of a space of manufacturable parts with hybrid manufacturing capabilities in at least one of symbolic, logical, and combinatorial forms. At least one of a necessary, sufficient, or necessary-and-sufficient condition for manufacturability is tested via examining the non-geometric representation for the existence of at least one feasible process plan whose outcome is an as-manufactured part that is interchangeable with the as-designed part.

Abstract: One embodiment of the present disclosure provides a system for determining a hybrid-manufacturing plan for manufacturing an object. During operation, the system can obtain a set of hybrid-manufacturing constraints for manufacturing the object. The set of hybrid-manufacturing constraints can include a set of primitives, a set of atoms, and an atom end-state vector. An atom can correspond to a unit of spatial volume of the object. A primitive can represent an additive or a subtractive manufacturing process corresponding to one or more atoms of the object. Next, the system can determine a plurality of feasible hybrid-manufacturing plans based on the set of hybrid-manufacturing constraints. Each feasible hybrid-manufacturing plan can represent an ordering of the set of primitives that satisfies the atom end-state vector. The system can then determine costs for manufacturing the object using the plurality feasible hybrid-manufacturing plans.

Abstract: One embodiment provides a system and method for identifying invariants in a software system. During operation, the system executes a test suite comprising a plurality of tests associated with the software system to output a list of likely invariants in the software system, and performs a test-generation operation attempting to generate counterexample tests for the likely invariants. In response to a counterexample test being successfully generated for a first likely invariant, the system removes the first likely invariant from the list of likely invariants and adds the successfully generated counterexample test to the test suite.

Abstract: A method includes receiving a subject-matter expert (SME) interpretable model. The method further includes converting, by a processing device, the SME interpretable model into a functional mockup unit (FMU). The method further includes integrating the FMU into a control software project (CSP). The method further includes compiling the CSP into binary code.

Abstract: A computer simulation includes qualitative values and constraints of a qualitative state. At least some of the constraints include additions of at least some of the qualitative values. The qualitative values are converted to inequalities and equalities. A subset of the original constraints is extracted that represents all of the additions. A conflict resolution method is applied to the inequalities along with the addition constraints. The conflict resolution method makes a tentative assignment of numerical values to the quantitative values and determines consistencies over all of the inequalities and equalities using the tentative assignments. Based on the conflict resolution method determining that the addition constraints reduce to a trivial inconsistency, the qualitative state can be invalidated.

Abstract: One embodiment can provide a system for determining a hybrid-manufacturing process plan for manufacturing a printed circuit board (PCB). During operation, the system can obtain a set of hybrid-manufacturing constraints. The set of hybrid-manufacturing constraints can include a set of primitives, a set of atoms, and an atom end-state vector. A primitive can represent an additive or a subtractive manufacturing process corresponding to one or more atoms of the PCB. An atom can correspond to a unit of spatial volume of the PCB. The system can determine a plurality of feasible hybrid-manufacturing plans based on the set of hybrid-manufacturing constraints. Each feasible hybrid-manufacturing plan can represent an ordering of the set of primitives satisfying the atom end-state vector. The system can determine costs for manufacturing the PCB using the plurality of feasible hybrid-manufacturing plans. The system can determine, based on the costs, an optimized hybrid-manufacturing plan for manufacturing the PCB.

Abstract: A method for determining vehicle component conditions via performance correlation is provided. A list of doors for maintenance on a transport vehicle is maintained. Measurements for one of the doors based on an inspection of that door are maintained. A determination is made as to whether maintenance is required for the door based on the measurements and a maintenance status is assigned to the door. The door measurements are compared to measurements for other doors of the transportation vehicle. Those other doors with measurements similar to the door are identified and the maintenance status of the door is assigned to the other doors identified.

Abstract: A self-aware machine platform is implemented through analyzing operational data of machining tools to achieve machine tool damage assessment, prediction and planning in manufacturing shop floor. Machining processes are first identified by matching similar processes through an ICP algorithm. Machining processes are further clustered by Hotelling's T-squared statistics. Degradation of the machining tool is detected through a trend of the operational data within a cluster of machining processes by a monotonicity test, and the remaining useful life of the machining tool is predicted through a particle filter by extrapolating the trend under a first-order Markov process. In addition, process anomalies across machines are detected through a combination of outlier detection methods including SOMs, multivariate regression, and robust Mahalanobis distance. Warnings and recommendations are flexibly provided to manufacturing shop floor based on policy choice.

Abstract: A method and system for automated design of a physical system are provided. During operation, the system obtains a component library comprising a plurality of physical components, receives design requirements of the physical system, and constructs an initial system model based on physical components in the component library and the design requirements. The system topology associated with the initial system model can include a large number of links that are sufficiently coupled to one another, and a respective link comprises one or more physical components. The system further performs an optimization operation comprising a plurality of iterations, with the system topology being updated at each iteration. Updating the system topology includes removing links and components from the system topology. The system then generates a final system model based on an outcome of the optimization operation and outputs a design solution of the physical system according to the final system model.

Abstract: One embodiment of the present disclosure provides a system for determining a hybrid-manufacturing plan for manufacturing an integrated circuit (IC). During operation, the system can obtain a set of hybrid-manufacturing constraints for manufacturing the IC. The set of hybrid-manufacturing constraints can include a set of primitives, a set of atoms, and an atom end-state vector. An atom can correspond to a unit of spatial volume of the IC. A primitive can represent an additive, subtractive, or a mixed manufacturing process corresponding to one or more atoms of the IC. Next, the system can determine a plurality of feasible hybrid-manufacturing plans based on the set of manufacturing constraints. Each feasible hybrid-manufacturing plan can represent an ordering of the set of primitives that satisfies the atom end-state vector. The system can then determine costs for manufacturing the IC using the plurality feasible hybrid-manufacturing plans.

Abstract: One embodiment can provide a method and a system for diagnosing faults in a physical system. During operation, the system obtains a time-domain model of the physical system and converts the time-domain model to the frequency domain to obtain a frequency-domain model of the physical system. The time-domain model can include one or more model parameters having known values. The system also obtains time-domain input and output signals and converts the time-domain input and output signals to the frequency domain to obtain frequency-domain input and output signals. The system identifies at least one model parameter having an expected value that is different from a known value of the at least one model parameter based on the frequency-domain model and the frequency-domain input and output signals, and generates a diagnostic output indicating at least one component within the physical system being faulty based on the identified at least one model parameter.

Abstract: A target system is coupled to a diagnosis engine that uses a lumped parameter model of the system for diagnosis. A proximity search in is performed in a computer-aided design model of the system to find groups of components that may be affected by resistive or parasitic interactions between the individual components in the groups. The lumped parameter model is augmented by adding elements that emulate the resistive or parasitic interactions between the individual components in the groups. The augmented lumped model is used by the diagnosis engine to perform diagnosis on the system.

Abstract: The techniques discussed herein generally relate to a method and system for qualitative modeling of and reasoning about the behavior of spatio-temporal physical systems. In some embodiments, qualitative representations based on Tonti diagrams are used to describe lumped or distributed parameter systems. Using a topological structure of the physical system, some embodiments generate qualitative governing equations as symbolic constraints on qualitative state variables. The qualitative constraints may be used to produce a qualitative simulation of the physical system. The qualitative simulation may be used to guide conceptual design iterations with given design criteria, or for instantiation of quantitative or hybrid (qualitative and quantitative) models and simulations.

Abstract: 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.

Abstract: 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.