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