Johan de Kleer

Person

Los Altos, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Reduced data representation memory controller and related chiplet sets
- Patent number 12,099,744
- Issue date Sep 24, 2024
- Xerox Corporation
- Warren Jackson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods and systems for fault diagnosis
- Patent number 12,099,352
- Issue date Sep 24, 2024
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hybrid solver for integrated circuit diagnostics and testing
- Patent number 12,038,478
- Issue date Jul 16, 2024
- Xerox Corporation
- Aleksandar B. Feldman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for multi-object micro-assembly control with the...
- Patent number 12,020,399
- Issue date Jun 25, 2024
- Xerox Corporation
- Ion Matei
- B81 - MICRO-STRUCTURAL TECHNOLOGY
Information Patent Grant
Search based approach for generating controller models
- Patent number 11,977,868
- Issue date May 7, 2024
- Xerox Corporation
- Alexandre Perez
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Analog computer architecture for fast function optimization
- Patent number 11,967,951
- Issue date Apr 23, 2024
- Xerox Corporation
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reducing the numerical complexity of designs
- Patent number 11,934,756
- Issue date Mar 19, 2024
- Xerox Corporation
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for machine-learning-enabled micro-object density...
- Patent number 11,921,488
- Issue date Mar 5, 2024
- Xerox Corporation
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for classification based diagnosis with partial system model...
- Patent number 11,915,112
- Issue date Feb 27, 2024
- Xerox Corporation
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for generating designs based on automatically built design s...
- Patent number 11,900,018
- Issue date Feb 13, 2024
- Xerox Corporation
- John T. Maxwell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for machine-learning enabled micro-assembly contr...
- Patent number 11,893,327
- Issue date Feb 6, 2024
- Xerox Corporation
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for qualitative reasoning of spatio-temporal phys...
- Patent number 11,860,682
- Issue date Jan 2, 2024
- Xerox Corporation
- Morad Behandish
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Controlling an unmanned aerial vehicle by re-training a sub-optimal...
- Patent number 11,822,345
- Issue date Nov 21, 2023
- Xerox Corporation
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for remotely detecting an anomaly
- Patent number 11,636,200
- Issue date Apr 25, 2023
- Palo Alto Research Center Incorporated
- George Daniel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for constructing process plans for hybrid manufac...
- Patent number 11,599,099
- Issue date Mar 7, 2023
- Palo Alto Research Center Incorporated
- Morad Behandish
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for augmenting lumped parameter model diagnosis e...
- Patent number 11,580,267
- Issue date Feb 14, 2023
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Machine learning based systems and methods for real time, model bas...
- Patent number 11,544,422
- Issue date Jan 3, 2023
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for efficient testing of digital integrated circuits
- Patent number 11,494,537
- Issue date Nov 8, 2022
- Palo Alto Research Center Incorporated
- Aleksandar B. Feldman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for determining hybrid-manufacturing process plan...
- Patent number 11,386,509
- Issue date Jul 12, 2022
- Palo Alto Research Center Incorporated
- Aleksandar B. Feldman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for determining manufacturability and process pla...
- Patent number 11,340,567
- Issue date May 24, 2022
- Palo Alto Research Center Incorporated
- Morad Behandish
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Learning constitutive equations of physical components with constra...
- Patent number 11,321,504
- Issue date May 3, 2022
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generating counterexample tests of incidental...
- Patent number 11,249,888
- Issue date Feb 15, 2022
- Palo Alto Research Center Incorporated
- Alexandre Campos Perez
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Machine-learning framework for testing feedback controller robustness
- Patent number 11,249,891
- Issue date Feb 15, 2022
- Palo Alto Research Center Incorporated
- Peter Patel-Schneider
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for determining hybrid-manufacturing process plan...
- Patent number 11,244,097
- Issue date Feb 8, 2022
- Palo Alto Research Center Incorporated
- Aleksandar B. Feldman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for determining vehicle component conditions via...
- Patent number 11,244,521
- Issue date Feb 8, 2022
- Palo Alto Research Center Incorporated
- Anurag Ganguli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for component-based design of physical systems
- Patent number 11,163,919
- Issue date Nov 2, 2021
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for determining hybrid-manufacturing process plan...
- Patent number 11,157,672
- Issue date Oct 26, 2021
- Palo Alto Research Center Incorporated
- Aleksandar B. Feldman
- G05 - CONTROLLING REGULATING
Information Patent Grant
Model-based diagnosis in frequency domain
- Patent number 11,137,318
- Issue date Oct 5, 2021
- Palo Alto Research Center Incorporated
- Ion Matei
- G05 - CONTROLLING REGULATING
Information Patent Grant
Analog computer architecture for fast function optimization
- Patent number 11,043,951
- Issue date Jun 22, 2021
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for circuit synthesis using partial boolean quant...
- Patent number 11,010,520
- Issue date May 18, 2021
- Palo Alto Research Center Incorporated
- Alexandre Campos Perez
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
REDUCED DATA REPRESENTATION MEMORY CONTROLLER AND RELATED CHIPLET SETS
- Publication number 20240411479
- Publication date Dec 12, 2024
- Xerox Corporation
- Warren Jackson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR MODEL-PREDICTIVE-CONTROL-BASED MICRO-ASSEMBLY...
- Publication number 20240338791
- Publication date Oct 10, 2024
- Xerox Corporation
- Ion Matei
- B81 - MICRO-STRUCTURAL TECHNOLOGY
Information Patent Application
REINFORCEMENT LEARNING AND NONLINEAR PROGRAMMING BASED SYSTEM DESIGN
- Publication number 20240160802
- Publication date May 16, 2024
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR SYMBOL DECODING IN HIGH FREQUENCY (HF) COMMUN...
- Publication number 20240129059
- Publication date Apr 18, 2024
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR MICRO-OBJECT DENSITY DISTRIBUTION CONTROL WIT...
- Publication number 20240086604
- Publication date Mar 14, 2024
- Xerox Corporation
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUANTUM COMPUTING FOR GENERATING ALL DIAGNOSES OF A DIGITAL CIRCUIT
- Publication number 20240078459
- Publication date Mar 7, 2024
- Xerox Corporation
- Aleksandar B. Feldman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR GENERATING TEST INPUTS FOR FAULT DIAGNOSIS
- Publication number 20240070041
- Publication date Feb 29, 2024
- Novity, Inc.
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HYBRID SOLVER FOR INTEGRATED CIRCUIT DIAGNOSTICS AND TESTING
- Publication number 20240003970
- Publication date Jan 4, 2024
- Palo Alto Research Center Incorporated
- Aleksandar B. Feldman
- G01 - MEASURING TESTING
Information Patent Application
SYSTEM DESIGN BASED ON PROCESS FLOW DIAGRAM INFORMATION EXTRACTION...
- Publication number 20230401360
- Publication date Dec 14, 2023
- Novity, Inc.
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REDUCED DATA REPRESENTATION MEMORY CONTROLLER AND RELATED CHIPLET SETS
- Publication number 20230315333
- Publication date Oct 5, 2023
- Palo Alto Research Center Incorporated
- Warren Jackson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS AND SYSTEMS FOR AUTOMATIC GENERATION OF SCIENTIFIC HYPOTHESES
- Publication number 20230281490
- Publication date Sep 7, 2023
- Palo Alto Research Center Incorporated
- Morad BEHANDISH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SUBSYSTEM-LEVEL MODEL-BASED DIAGNOSIS
- Publication number 20230259113
- Publication date Aug 17, 2023
- Novity, Inc.
- Ion Matei
- G05 - CONTROLLING REGULATING
Information Patent Application
SEARCH BASED APPROACH FOR GENERATING CONTROLLER MODELS
- Publication number 20230214197
- Publication date Jul 6, 2023
- Palo Alto Research Center Incorporated
- Alexandre Perez
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR AI-ASSISTED SYSTEM DESIGN
- Publication number 20230185998
- Publication date Jun 15, 2023
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS AND SYSTEMS FOR FAULT DIAGNOSIS
- Publication number 20230104347
- Publication date Apr 6, 2023
- Palo Alto Research Center Incorporated
- Ion MATEI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUANTUM FIELD-PROGRAMMABLE ANALOG ARRAYS AND RELATED METHODS AND SY...
- Publication number 20230101505
- Publication date Mar 30, 2023
- Palo Alto Research Center Incorporated
- Aleksandar B. FELDMAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR EFFICIENT TESTING OF DIGITAL INTEGRATED CIRCUITS
- Publication number 20220365136
- Publication date Nov 17, 2022
- Palo Alto Research Center Incorporated
- Aleksandar B. Feldman
- G01 - MEASURING TESTING
Information Patent Application
CONVERTING IMPLICIT DYNAMIC MODELS INTO EXPLICIT DYNAMIC MODELS
- Publication number 20220253578
- Publication date Aug 11, 2022
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR MACHINE-LEARNING ENABLED MICRO-ASSEMBLY CONTR...
- Publication number 20220188486
- Publication date Jun 16, 2022
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR MACHINE-LEARNING-ENABLED MICRO-OBJECT DENSITY...
- Publication number 20220187785
- Publication date Jun 16, 2022
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REDUCING THE NUMERICAL COMPLEXITY OF DESIGNS
- Publication number 20220180024
- Publication date Jun 9, 2022
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR MULTI-OBJECT MICRO-ASSEMBLY CONTROL WITH THE...
- Publication number 20220156881
- Publication date May 19, 2022
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR DETERMINING VEHICLE COMPONENT CONDITIONS
- Publication number 20220157097
- Publication date May 19, 2022
- Palo Alto Research Center Incorporated
- Anurag Ganguli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC SYSTEM CONTROL USING DEEP MACHINE LEARNING
- Publication number 20220129012
- Publication date Apr 28, 2022
- Palo Alto Research Center Incorporated
- Ion Matei
- B64 - AIRCRAFT AVIATION COSMONAUTICS
Information Patent Application
SYSTEM AND METHOD FOR DETERMINING MANUFACTURABILITY AND PROCESS PLA...
- Publication number 20220113689
- Publication date Apr 14, 2022
- Palo Alto Research Center Incorporated
- Morad Behandish
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR DETERMINING HYBRID-MANUFACTURING PROCESS PLAN...
- Publication number 20220075357
- Publication date Mar 10, 2022
- Palo Alto Research Center Incorporated
- Aleksandar B. Feldman
- G05 - CONTROLLING REGULATING
Information Patent Application
VALIDATING QUALITATIVE STATES WITH THE CONFLICT RESOLUTION METHOD
- Publication number 20220043948
- Publication date Feb 10, 2022
- Palo Alto Research Center Incorporated
- John T. Maxwell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR AUGMENTING LUMPED PARAMETER MODEL DIAGNOSIS E...
- Publication number 20210256170
- Publication date Aug 19, 2021
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR QUALITATIVE REASONING OF SPATIO-TEMPORAL PHYS...
- Publication number 20210192105
- Publication date Jun 24, 2021
- Palo Alto Research Center Incorporated
- Morad Behandish
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ANALOG COMPUTER ARCHITECTURE FOR FAST FUNCTION OPTIMIZATION
- Publication number 20210184680
- Publication date Jun 17, 2021
- Palo Alto Research Center Incorporated
- Ion Matei
- G06 - COMPUTING CALCULATING COUNTING

Johan de Kleer

Person

Patents Grantslast 30 patents

Reduced data representation memory controller and related chiplet sets

Methods and systems for fault diagnosis

Hybrid solver for integrated circuit diagnostics and testing

System and method for multi-object micro-assembly control with the...

Search based approach for generating controller models

Analog computer architecture for fast function optimization

Reducing the numerical complexity of designs

System and method for machine-learning-enabled micro-object density...

Method for classification based diagnosis with partial system model...

Method for generating designs based on automatically built design s...

System and method for machine-learning enabled micro-assembly contr...

Method and system for qualitative reasoning of spatio-temporal phys...

Controlling an unmanned aerial vehicle by re-training a sub-optimal...

System and method for remotely detecting an anomaly

System and method for constructing process plans for hybrid manufac...

System and method for augmenting lumped parameter model diagnosis e...

Machine learning based systems and methods for real time, model bas...

Method and system for efficient testing of digital integrated circuits

System and method for determining hybrid-manufacturing process plan...

System and method for determining manufacturability and process pla...

Learning constitutive equations of physical components with constra...

System and method for generating counterexample tests of incidental...

Machine-learning framework for testing feedback controller robustness

System and method for determining hybrid-manufacturing process plan...

System and method for determining vehicle component conditions via...

Method and system for component-based design of physical systems

System and method for determining hybrid-manufacturing process plan...

Model-based diagnosis in frequency domain

Analog computer architecture for fast function optimization

System and method for circuit synthesis using partial boolean quant...

Patents Applicationslast 30 patents

REDUCED DATA REPRESENTATION MEMORY CONTROLLER AND RELATED CHIPLET SETS

SYSTEM AND METHOD FOR MODEL-PREDICTIVE-CONTROL-BASED MICRO-ASSEMBLY...

REINFORCEMENT LEARNING AND NONLINEAR PROGRAMMING BASED SYSTEM DESIGN

SYSTEM AND METHOD FOR SYMBOL DECODING IN HIGH FREQUENCY (HF) COMMUN...

SYSTEM AND METHOD FOR MICRO-OBJECT DENSITY DISTRIBUTION CONTROL WIT...

QUANTUM COMPUTING FOR GENERATING ALL DIAGNOSES OF A DIGITAL CIRCUIT

METHOD AND SYSTEM FOR GENERATING TEST INPUTS FOR FAULT DIAGNOSIS

HYBRID SOLVER FOR INTEGRATED CIRCUIT DIAGNOSTICS AND TESTING

SYSTEM DESIGN BASED ON PROCESS FLOW DIAGRAM INFORMATION EXTRACTION...

REDUCED DATA REPRESENTATION MEMORY CONTROLLER AND RELATED CHIPLET SETS

METHODS AND SYSTEMS FOR AUTOMATIC GENERATION OF SCIENTIFIC HYPOTHESES

SUBSYSTEM-LEVEL MODEL-BASED DIAGNOSIS

SEARCH BASED APPROACH FOR GENERATING CONTROLLER MODELS

SYSTEM AND METHOD FOR AI-ASSISTED SYSTEM DESIGN

METHODS AND SYSTEMS FOR FAULT DIAGNOSIS

QUANTUM FIELD-PROGRAMMABLE ANALOG ARRAYS AND RELATED METHODS AND SY...

METHOD AND SYSTEM FOR EFFICIENT TESTING OF DIGITAL INTEGRATED CIRCUITS

CONVERTING IMPLICIT DYNAMIC MODELS INTO EXPLICIT DYNAMIC MODELS

SYSTEM AND METHOD FOR MACHINE-LEARNING ENABLED MICRO-ASSEMBLY CONTR...

SYSTEM AND METHOD FOR MACHINE-LEARNING-ENABLED MICRO-OBJECT DENSITY...

REDUCING THE NUMERICAL COMPLEXITY OF DESIGNS

SYSTEM AND METHOD FOR MULTI-OBJECT MICRO-ASSEMBLY CONTROL WITH THE...

SYSTEM AND METHOD FOR DETERMINING VEHICLE COMPONENT CONDITIONS

DYNAMIC SYSTEM CONTROL USING DEEP MACHINE LEARNING

SYSTEM AND METHOD FOR DETERMINING MANUFACTURABILITY AND PROCESS PLA...

SYSTEM AND METHOD FOR DETERMINING HYBRID-MANUFACTURING PROCESS PLAN...

VALIDATING QUALITATIVE STATES WITH THE CONFLICT RESOLUTION METHOD

SYSTEM AND METHOD FOR AUGMENTING LUMPED PARAMETER MODEL DIAGNOSIS E...

METHOD AND SYSTEM FOR QUALITATIVE REASONING OF SPATIO-TEMPORAL PHYS...

ANALOG COMPUTER ARCHITECTURE FOR FAST FUNCTION OPTIMIZATION