Patents

Issued Patents

  1. Alexander Feldman, Johan de Kleer, and Ion Matei. Method and System for Automated Design and Design-Space Exploration. U.S. Patent 10853540, 2020. pdf
  2. Alexander Feldman, Ion Matei, and Johan de Kleer. Automatic Redesign of Digital Circuits. U.S. Patent 10915684, 2021. pdf
  3. Alexander Feldman, Morad Behandish, Johan de Kleer, Ion Matei, and Saigopal Nelaturi. System and Method for Determining Hybrid-Manufacturing Process Plans for Integrated Circuits Based on Satisfiability Modulo Difference Logic Solver. U.S. Patent 11157672, 2022. pdf
  4. Alexander Feldman, Morad Behandish, Johan de Kleer, Ion Matei, and Saigopal Nelaturi. System and Method for Determining Hybrid-Manufacturing Process Plans Based on Satisfiability Modulo Difference Logic Solver. U.S. Patent 11386509, 2022. pdf
  5. Alexander Feldman, Morad Behandish, Johan de Kleer, Ion Matei, and Saigopal Nelaturi. System and Method for Determining Hybrid-Manufacturing Process Plans for Printed Circuit Boards Based on Satisfiability Modulo Difference Logic Solver. U.S. Patent 11244097, 2022. pdf
  6. Ion Matei, Alexander Feldman, and Johan de Kleer. Analog Computer Architecture for Fast Function Optimization. U.S. Patent 11043951, 2021. pdf
  7. Ion Matei, Saigopal Nelaturi, Johan de Kleer, Clinton Morris, and Alexander Feldman. System and method for augmenting lumped parameter model diagnosis engine. U.S. Patent 025617, 2021. (pending). pdf
  8. Ion Matei, Alexander Feldman, and Johan de Kleer. Re-design of Analog Circuits. U.S. Patent 11003823, 2021. pdf
  9. Ion Matei, Maksym Zhenirovskyy, Johan de Kleer, and Alexander Feldman. Method and System for Component-Based Design of Physical Systems. U.S. Patent 11386509, 2022. pdf
  10. Ion Matei, Alexander Feldman, and Johan de Kleer. Converting Implicit Dynamic Models into Explicit Dynamic Models. U.S. Patent 0253578, 2022. (pending). pdf
  11. Ion Matei, Alexander Feldman, and Johan de Kleer. Model-Based Diagnosis in Frequency Domain. U.S. Patent 11137318, 2021. pdf
  12. Ion Matei, Maksym Zhenirovskyy, Johan de Kleer, and Alexander Feldman. Reducing the Numerical Complexity of Designs. U.S. Patent 0180024, 2022. (pending). pdf
  13. Alexandre Campos Perez, Alexander Feldman, and Johan de Kleer. System and Method for Circuit Synthesis Using Partial Boolean Quantification. U.S. Patent 11010520, 2021. pdf