A

A Bos

20 records found

A resource logic for multi-agent plan merging

Model-based health tracking
Conference paper (2001) - A Bos (author)

Promis methodology for prognostic health management

Plan fragment libraries

System health tracking and safe testing
Conference paper (2001) - A Bos (author), A.J.C. van Gemund (author)

Replanning in a resource-based framework

Cooperation by iterated plan revision

Complexity reduction by using computational histories

An approximation algorithm for a logistic planning problem

A plan fusion algorithm for multi-agent systems

An algorithm for replanning

Safe testing for dynamic systems
Conference paper (2000) - A Bos (author), C. Witteveen (author)

Muti-agent cooperation in a planning framework

Model-based diagnosis for satellite-based instruments

Design of a generic model-based diagnosis system with automatic abstraction generation

Automated theorem proving for the KARO-architecture

A dynamic systems framework for multi-agent experiments

A system architecture for distributed implementation of virtual measurement systems

Compilation to speed up the control of hybrid systems
Conference paper (1999) - A Bos (author), C. Witteveen (author)

Computing with computational histories