20 records found
1
A resource logic for multi-agent plan merging
System health tracking and safe testing
Promis methodology for prognostic health management
Plan fragment libraries
Model-based health tracking
Replanning in a resource-based framework
Cooperation by iterated plan revision
Design of a generic model-based diagnosis system with automatic abstraction generation
Model-based diagnosis for satellite-based instruments
Complexity reduction by using computational histories
Muti-agent cooperation in a planning framework
Safe testing for dynamic systems
An approximation algorithm for a logistic planning problem
A plan fusion algorithm for multi-agent systems
An algorithm for replanning
A dynamic systems framework for multi-agent experiments
Computing with computational histories
A system architecture for distributed implementation of virtual measurement systems
Compilation to speed up the control of hybrid systems
Automated theorem proving for the KARO-architecture
