André Bos

Learn More
Fault diagnosis is crucial for the reduction of test & integration time and down-time of complex systems. In this paper, we present a model-based approach to derive tests and test sequences for sequential fault diagnosis. This approach offers advantages over methods that are based on test coverage of explicit fault states, represented in matrix form.(More)
A simple framework is developed for representing plans, goals and resources of agents in order to model cooperative planning behavior. Plans are represented as acyclic networks of skills that, given adequate initial resources, can realize special resources (goals). Given the storage costs of resources, application costs of skills, and values of goals we can(More)
An important aspect of agents is how they construct a plan to reach their goals. Since most agents live in a dynamic environment, they also will often be confronted with situations in which the plans they constructed to reach their goals are no longer feasible. In such situations, agents have to change their plan to deal with the new environment. In this(More)
We introduce an algorithm for cooperative planning in multi-agent systems. The algorithm enables the agents to combine (fuse) their plans in order to increase their joint profits. A computational resources and skills framework is developed for representing the planned activities of an agent under time constraints. Using this resource-skill framework, we(More)