Issued Patents All Time
Showing 1–25 of 33 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12432007 | System and method for symbol decoding in high frequency (hf) communication channels | Johan de Kleer | 2025-09-30 |
| 12307629 | System and method for model-predictive-control-based micro-assembly control with the aid of a digital computer | Johan de Kleer | 2025-05-20 |
| 12099352 | Methods and systems for fault diagnosis | Aleksandar B. Feldman, Alexandre Perez, Johan de Kleer | 2024-09-24 |
| 12038478 | Hybrid solver for integrated circuit diagnostics and testing | Aleksandar B. Feldman, Johan de Kleer, Alexandre Campos Perez | 2024-07-16 |
| 12020399 | System and method for multi-object micro-assembly control with the aid of a digital computer | Johan de Kleer | 2024-06-25 |
| 11977868 | Search based approach for generating controller models | Alexandre Perez, Peter Patel-Schneider, Johan de Kleer, Ron Zvi Stern | 2024-05-07 |
| 11967951 | Analog computer architecture for fast function optimization | Aleksandar B. Feldman, Johan de Kleer | 2024-04-23 |
| 11934756 | Reducing the numerical complexity of designs | Maksym Zhenirovskyy, Johan de Kleer, Aleksandar B. Feldman | 2024-03-19 |
| 11921488 | System and method for machine-learning-enabled micro-object density distribution control with the aid of a digital computer | Johan de Kleer, Christoforos Somarakis | 2024-03-05 |
| 11915112 | Method for classification based diagnosis with partial system model information | Johan de Kleer, Alexander Feldman, Maksym Zhenirovskyy | 2024-02-27 |
| 11893327 | System and method for machine-learning enabled micro-assembly control with the aid of a digital computer | Anne Plochowietz, Saigopal Nelaturi, Johan de Kleer, Jeng Ping Lu, Lara S. Crawford +1 more | 2024-02-06 |
| 11822345 | Controlling an unmanned aerial vehicle by re-training a sub-optimal controller | Rajinderjeet Singh Minhas, Johan de Kleer, Maksym Zhenirovskyy | 2023-11-21 |
| 11747796 | System and method for voltage-based real-time micro-object position control with the aid of a digital computer | Jeng Ping Lu, Saigopal Nelaturi, Julie A. Bert, Lara S. Crawford, Armin R. Volkel +1 more | 2023-09-05 |
| 11636200 | System and method for remotely detecting an anomaly | George Daniel, Alexander Feldman, Bhaskar Saha, Anurag Ganguli, Bernard D. Casse +2 more | 2023-04-25 |
| 11580267 | System and method for augmenting lumped parameter model diagnosis engine | Saigopal Nelaturi, Johan de Kleer, Clinton Morris, Aleksandar B. Feldman | 2023-02-14 |
| 11544422 | Machine learning based systems and methods for real time, model based diagnosis | Maksym Zhenirovskyy, Johan de Kleer, Alexander Feldman | 2023-01-03 |
| 11494537 | Method and system for efficient testing of digital integrated circuits | Aleksandar B. Feldman, Johan de Kleer, Alexandre Campos Perez | 2022-11-08 |
| 11386509 | System and method for determining hybrid-manufacturing process plans based on satisfiability modulo difference logic solver | Aleksandar B. Feldman, Morad Behandish, Johan de Kleer, Saigopal Nelaturi | 2022-07-12 |
| 11321504 | Learning constitutive equations of physical components with constraints discovery | Johan de Kleer | 2022-05-03 |
| 11249891 | Machine-learning framework for testing feedback controller robustness | Peter Patel-Schneider, Alexandre Perez, Ron Zvi Stern, Johan de Kleer | 2022-02-15 |
| 11244097 | System and method for determining hybrid-manufacturing process plans for printed circuit boards based on satisfiability modulo difference logic solver | Aleksandar B. Feldman, Morad Behandish, Johan de Kleer, Saigopal Nelaturi | 2022-02-08 |
| 11163919 | Method and system for component-based design of physical systems | Maksym Zhenirovskyy, Johan de Kleer, Aleksandar B. Feldman | 2021-11-02 |
| 11157672 | System and method for determining hybrid-manufacturing process plans for integrated circuits based on satisfiability modulo difference logic solver | Aleksandar B. Feldman, Morad Behandish, Johan de Kleer, Saigopal Nelaturi | 2021-10-26 |
| 11137318 | Model-based diagnosis in frequency domain | Aleksandar B. Feldman, Johan de Kleer | 2021-10-05 |
| 11079747 | System and method for capacitance-based real-time micro-object position control with the aid of a digital computer | Jeng Ping Lu, Saigopal Nelaturi, Julie A. Bert, Lara S. Crawford, Armin R. Volkel +1 more | 2021-08-03 |