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
Model-based health tracking
Promis methodology for prognostic health management
Design of a generic model-based diagnosis system with automatic abstraction generation
A plan fusion algorithm for multi-agent systems
Model-based diagnosis for satellite-based instruments
Complexity reduction by using computational histories
An algorithm for replanning
An approximation algorithm for a logistic planning problem
Safe testing for dynamic systems
Cooperation by iterated plan revision
Muti-agent cooperation in a planning framework
A dynamic systems framework for multi-agent experiments
Computing with computational histories
Automated theorem proving for the KARO-architecture
A system architecture for distributed implementation of virtual measurement systems
Compilation to speed up the control of hybrid systems
