Search

The paper describes Pietro Torasso’s contribution to the area of diagnostic problem solving, starting from the early 80’s and recalling the work carried on by Pietro and by the research group he started at the Department of Computer Science of the University of Torino. [ABSTRACT FROM AUTHOR]

The paper introduces and formalizes a distributed approach for the model-based monitoring of the execution of a plan, where concurrent actions are carried on by a team of mobile robots in a partially observable environment. Each robot is monitored on-line by an agent that has the task of tracking all the possible evolutions both under nominal and faulty behavior of the robot and to estimate the belief state at each time instant. The strategy for deriving local solutions which are globally consistent is formalized. The distributed monitoring provides on-line feedback to a system supervisor which has to decide whether building a new plan as a consequence of actions failure. The feasibility of the approach and the gain in the performance are shown by comparing experimental results of the proposed approach with a centralized one. [Copyright &y& Elsevier]

The paper presents an approach for the on-line monitoring and diagnosis of multi-robot systems where services are provided by a team of robots and the environment is only partially observable via a net of fixed sensors. This kind of systems exhibits complex dynamics where weakly predictable interactions among robots may occur. To face this problem, a model-based approach is adopted: in particular, the paper discusses how to build a system model by aggregating a convenient set of basic system components, which are modeled via communicating automata. Since the dynamics of a multi-robot system depend on the actions performed by the robots (and actions change over time), the global system model is partitioned into a number of submodels, each one describing the dynamics of a single action. The paper introduces the architecture of the Supervisor which has to track the actions progress and to infer an explanation when an action is completed with delay or fails. The Supervisor includes two main modules: the On-line Monitoring Module (OMM) tracks the status of the system by exploiting the (partial) observations provided by sensors and robots. When the monitor detects failures in the actions execution, the Diagnostic Interpretation Module (DIM) is triggered for explaining the failure in terms of faults in the robots and/or troublesome interactions among them. The RoboCare domain has been selected as a test bed of the approach. The paper discusses experimental results collected in such a domain with particular focus on the competence and the efficiency of both the OMM and the DIM. [ABSTRACT FROM AUTHOR]