A

A Bos

20 records found

A resource logic for multi-agent plan merging

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

Plan fragment libraries

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

Promis methodology for prognostic health management

Replanning in a resource-based framework

Muti-agent cooperation in a planning framework

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

An approximation algorithm for a logistic planning problem

Cooperation by iterated plan revision

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

A plan fusion algorithm for multi-agent systems

An algorithm for replanning

Complexity reduction by using computational histories

Model-based diagnosis for satellite-based instruments

Computing with computational histories

A system architecture for distributed implementation of virtual measurement systems

Automated theorem proving for the KARO-architecture

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

A dynamic systems framework for multi-agent experiments