Inventor

DE KLEER JOHAN

US63 patents

⚠️ This page may combine multiple inventors who share the name “DE KLEER JOHAN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

DE KLEER JOHAN

PALO ALTO RES CT INC

Dynamically adaptive, resource aware system and method for scheduling

Frugal user engagement help systems

System and method for facilitating prediction data for device based on synthetic data with uncertainties

System and method for constructing process plans for hybrid manufacturing with the aid of a digital computer

Modeling when connections are the problem

Methods and systems for pervasive diagnostics

Job scheduler for distributed systems using pervasive state estimation with modeling of capabilities of compute nodes

System and method for efficient task scheduling in heterogeneous, distributed compute infrastructures via pervasive diagnosis

System and method for determining hybrid-manufacturing process plans for printed circuit boards based on satisfiability modulo difference logic solver

Method and system for automated design and design-space exploration

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

System and method for generating counterexample tests of incidental invariants

Machine-learning framework for testing feedback controller robustness

Diagnosing intermittent faults

System and method for remotely detecting an anomaly

System and method for determining manufacturability and process planning for hybrid manufacturing using symbolic, logical, and/or combinatorial representations

System and method for determining vehicle component conditions via performance correlation

System and method for determining hybrid-manufacturing process plans for integrated circuits based on satisfiability modulo difference logic solver

Re-design of analog circuits

Automatic redesign of digital circuits

Reducing the numerical complexity of designs

Method and system for efficient testing of digital integrated circuits

System and method for augmenting lumped parameter model diagnosis engine

Analog computer architecture for fast function optimization

Method and system for qualitative reasoning of spatio-temporal physical systems

System and method for symbol decoding in high frequency (hf) communication channels

Learning constitutive equations of physical components with constraints discovery

Dynamically adaptive, resource aware system and method for scheduling

Depth-first search for target value problems

System and method for determining hybrid-manufacturing process plans based on satisfiability modulo difference logic solver

Model-based diagnosis in frequency domain

System and method for determining vehicle component conditions

XEROX CORP

Massively parallel propositional reasoning

System and method for machine-learning enabled micro-assembly control with the aid of a digital computer

System and method for model-predictive-control-based micro-assembly control with the aid of a digital computer

System and method for determining vehicle component conditions

System and method for multi-object micro-assembly control with the aid of a digital computer

Analog computer architecture for fast function optimization

DE KLEER JOHAN

Factored envisioning for decision support

Methods and systems for continuously estimating persistent and intermittent failure probabilities for production resources

Troubleshooting temporal behavior in “combinational” circuits

Dynamic domain abstraction through meta-analysis

SCHMIDT TIM

Depth-first search for target value problems

Multi-interval heuristics for accelerating target-value search

KUHN LUKAS D

Methods and systems for target value path identification

Methods and systems for fault diagnosis in observation rich systems

LIU JUAN

Pervasive model adaptation: the integration of planning and information gathering in dynamic production systems

Computationally efficient tiered inference for multiple fault diagnosis

DO MINH BINH

Methods and systems for active diagnosis through logic-based planning

KUHN LUKAS DANIEL

Methods and systems for constructing production plans