Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Diagnosis of large active systems
Artificial Intelligence
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Autonomous Agents and Multi-Agent Systems
A protocol for multi-agent diagnosis with spatially distributed knowledge
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Diagnosis of single and multi-agent plans
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
On the design of social diagnosis algorithms for multi-agent teams
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Diagnosis of plan execution and the executing agent
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
On-line monitoring of plan execution: A distributed approach
Knowledge-Based Systems
Supervision and diagnosis of joint actions in multi-agent plans
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Plan Diagnosis and Agent Diagnosis in Multi-agent Systems
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Towards Automated Online Diagnosis of Robot Navigation Software
SIMPAR '08 Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots
Collaborative microdrones: applications and research challenges
Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems
Reasoning about Exceptions to Contracts
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
On classification and modeling issues in distributed model-based diagnosis
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Hi-index | 0.00 |
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.