Patents by Inventor Aleksandar B. Feldman

Aleksandar B. Feldman has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20220365136
    Abstract: One embodiment provides a method and a system for generating test vectors for testing a computational system. During operation, the system obtains a design of the computational system, the design comprising an original system. The system generates a design of a fault-augmented system block by adding a plurality of fault-emulating subsystems to the original system; generates a design of an equivalence-checking system based on the original system and the fault-augmented system block; encodes the design of the equivalence-checking system into a logic formula, with variables within the logic formula comprising inputs and outputs of the original system and inputs and outputs of the fault-augmented system block; and solves the logic formula to obtain a test vector used for testing at least one fault in the computational system.
    Type: Application
    Filed: May 13, 2021
    Publication date: November 17, 2022
    Applicant: Palo Alto Research Center Incorporated
    Inventors: Aleksandar B. Feldman, Johan de Kleer, Alexandre Campos Perez, Ion Matei
  • Patent number: 11494537
    Abstract: One embodiment provides a method and a system for generating test vectors for testing a computational system. During operation, the system obtains a design of the computational system, the design comprising an original system. The system generates a design of a fault-augmented system block by adding a plurality of fault-emulating subsystems to the original system; generates a design of an equivalence-checking system based on the original system and the fault-augmented system block; encodes the design of the equivalence-checking system into a logic formula, with variables within the logic formula comprising inputs and outputs of the original system and inputs and outputs of the fault-augmented system block; and solves the logic formula to obtain a test vector used for testing at least one fault in the computational system.
    Type: Grant
    Filed: May 13, 2021
    Date of Patent: November 8, 2022
    Assignee: Palo Alto Research Center Incorporated
    Inventors: Aleksandar B. Feldman, Johan de Kleer, Alexandre Campos Perez, Ion Matei
  • Publication number: 20220253578
    Abstract: A nonlimiting example method for converting implicit dynamic models into explicit dynamic models comprises: performing a block lower triangular (BLT) transformation on equations of an implicit dynamic differential algebraic equation (DAE) model to yield a BLT representation of the implicit dynamic DAE model; performing a nonlinear block extraction for a diagonal of the BLT representation of the implicit dynamic DAE model to yield one or more nonlinear blocks and one or more linear blocks; constructing a surrogate causal model for each of the one or more nonlinear blocks; training the surrogate causal model for each of the one or more nonlinear blocks; and constructing an explicit dynamic ordinary differential equation (ODE) model that corresponds to the implicit dynamic DAE model based on the linear blocks and the surrogate causal model. The explicit ODE model may be useful for controlling operations, diagnosing issues, and prognosticating conditions within a physical system.
    Type: Application
    Filed: February 9, 2021
    Publication date: August 11, 2022
    Applicant: Palo Alto Research Center Incorporated
    Inventors: Ion Matei, Aleksandar B. Feldman, Johan de Kleer
  • Patent number: 11386509
    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.
    Type: Grant
    Filed: September 10, 2020
    Date of Patent: July 12, 2022
    Assignee: Palo Alto Research Center Incorporated
    Inventors: Aleksandar B. Feldman, Morad Behandish, Johan de Kleer, Ion Matei, Saigopal Nelaturi
  • Publication number: 20220180024
    Abstract: 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.
    Type: Application
    Filed: December 4, 2020
    Publication date: June 9, 2022
    Inventors: Ion Matei, Maksym Zhenirovskyy, Johan de Kleer, Aleksandar B. Feldman
  • Publication number: 20220075357
    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.
    Type: Application
    Filed: September 10, 2020
    Publication date: March 10, 2022
    Applicant: Palo Alto Research Center Incorporated
    Inventors: Aleksandar B. Feldman, Morad Behandish, Johan de Kleer, Ion Matei, Saigopal Nelaturi
  • Patent number: 11244097
    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.
    Type: Grant
    Filed: September 16, 2020
    Date of Patent: February 8, 2022
    Assignee: Palo Alto Research Center Incorporated
    Inventors: Aleksandar B. Feldman, Morad Behandish, Johan de Kleer, Ion Matei, Saigopal Nelaturi
  • Patent number: 11163919
    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.
    Type: Grant
    Filed: December 26, 2018
    Date of Patent: November 2, 2021
    Assignee: Palo Alto Research Center Incorporated
    Inventors: Ion Matei, Maksym I. Zhenirovskyy, Johan de Kleer, Aleksandar B. Feldman
  • Patent number: 11157672
    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.
    Type: Grant
    Filed: September 17, 2020
    Date of Patent: October 26, 2021
    Assignee: Palo Alto Research Center Incorporated
    Inventors: Aleksandar B. Feldman, Morad Behandish, Johan de Kleer, Ion Matei, Saigopal Nelaturi
  • Patent number: 11137318
    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.
    Type: Grant
    Filed: July 9, 2018
    Date of Patent: October 5, 2021
    Assignee: PALO ALTO RESEARCH CENTER INCORPORATED
    Inventors: Ion Matei, Aleksandar B. Feldman, Johan de Kleer
  • Publication number: 20210256170
    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.
    Type: Application
    Filed: February 18, 2020
    Publication date: August 19, 2021
    Inventors: Ion Matei, Saigopal Nelaturi, Johan de Kleer, Clinton Morris, Aleksandar B. Feldman
  • Patent number: 11010520
    Abstract: One embodiment provides a system and method for automated design of a computational system. During operation, the system obtains a component library comprising a plurality of computational components, receives design requirements, and builds a plurality of universal component cells. A respective universal component cell is configurable, by a selection signal, to behave as one of the computational components. The system further constructs a candidate computational system using the universal component cells, constructs a miter based on the design requirements and the candidate computational system, and converts the miter into a quantified satisfiability (QS) formula. The system generates a set of inputs that are a subset of all possible inputs of the QS formula, solves the QS formula by performing partial input expansion on the generated set of inputs to obtain at least one design solution, and outputs the at least one design solution to facilitate construction of the computational system.
    Type: Grant
    Filed: September 29, 2020
    Date of Patent: May 18, 2021
    Assignee: Palo Alto Research Center Incorporated
    Inventors: Alexandre Campos Perez, Aleksandar B. Feldman, Johan de Kleer
  • Patent number: 10853540
    Abstract: One embodiment provides a method and a system for automated design of a computational system. During operation, the system obtains a component library comprising a plurality of computational components, receives design requirements of the computational system, and builds a plurality of universal component cells. A respective universal component cell is configurable, by a selection signal, to behave as one of the plurality of computational components. The system further constructs a candidate computational system using the plurality of universal component cells and encodes the received design requirements and the candidate computational system into a single logic formula. Variables within the single logic formula comprise at least inputs, outputs, and internal variables of the candidate computational system. The system solves the single logic formula to obtain at least one design solution for the computational system.
    Type: Grant
    Filed: December 31, 2018
    Date of Patent: December 1, 2020
    Assignee: Palo Alto Research Center Incorporated
    Inventors: Aleksandar B. Feldman, Johan de Kleer, Ion Matei
  • Publication number: 20200210532
    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.
    Type: Application
    Filed: December 26, 2018
    Publication date: July 2, 2020
    Applicant: Palo Alto Research Center Incorporated
    Inventors: Ion Matei, Maksym I. Zhenirovskyy, Johan de Kleer, Aleksandar B. Feldman
  • Publication number: 20200210535
    Abstract: One embodiment provides a method and a system for automated design of a computational system. During operation, the system obtains a component library comprising a plurality of computational components, receives design requirements of the computational system, and builds a plurality of universal component cells. A respective universal component cell is configurable, by a selection signal, to behave as one of the plurality of computational components. The system further constructs a candidate computational system using the plurality of universal component cells and encodes the received design requirements and the candidate computational system into a single logic formula. Variables within the single logic formula comprise at least inputs, outputs, and internal variables of the candidate computational system. The system solves the single logic formula to obtain at least one design solution for the computational system.
    Type: Application
    Filed: December 31, 2018
    Publication date: July 2, 2020
    Applicant: Palo Alto Research Center Incorporated
    Inventors: Aleksandar B. Feldman, Johan de Kleer, Ion Matei
  • Publication number: 20190383700
    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.
    Type: Application
    Filed: July 9, 2018
    Publication date: December 19, 2019
    Applicant: Palo Alto Research Center Incorporated
    Inventors: Ion Matei, Aleksandar B. Feldman, Johan de Kleer