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