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