On-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based Approach

The paper presents an approach for the monitoring and diagnosis of multi-agent systems where mobile robotic agents provide services and partial observability of the environment is achieved via a set of fixed sensors. This kind of systems exhibits complex dynamics where weakly predictable interactions among agents may arise. A model-based approach to on-line monitoring and diagnosis is adopted: while the dynamics of the system components and their relations are modeled via communicating automata, the global system model is factored in a number of subsystems dynamically aggregating a convenient set of component models. The On-line Monitoring Module (OMM) estimates the possible evolutions of the system by exploiting partial system observability provided by sensors and agents messages and enforces global constraints. 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 robotic agents and/or troublesome interactions among them. As a specific case-study we refer to the RoboCare project2.

[1]  G. Grisetti,et al.  The RoboCare project, cognitive systems for the care of the elderly , 2003 .

[2]  Andreas Malik,et al.  Peter Struss : Diagnosis of Dynamic Systems Does Not Necessarily Require Simulation , 1996 .

[3]  Edmund H. Durfee,et al.  Distributed Continual Planning for Unmanned Ground Vehicle Teams , 1999, AI Mag..

[4]  Daniele Theseider Dupré,et al.  Causal Simulation and Diagnosis of Dynamic Systems , 2001, AI*IA.

[5]  Nico Roos,et al.  Multi-Agent Diagnosis with spatially distributed knowledge , 2002 .

[6]  Julie Behan,et al.  The Development of an Intelligent Library Assistant Robot , 2006, Artificial Intelligence and Applications.

[7]  Victor R. Lesser,et al.  Using self-diagnosis to adapt organizational structures , 2001, AGENTS '01.

[8]  Pietro Torasso,et al.  Monitoring and Diagnosing Multi-Agent Systems: the RoboCare proposal , 2004 .

[9]  Y. Pencole,et al.  Incremental decentralized diagnosis approach for the supervision of a telecommunication network , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[10]  Daniele Theseider Dupré,et al.  On-Board Diagnosis of Automotive Systems: From Dynamic Qualitative Diagnosis to Decision Trees , 1999 .

[11]  Daniele Theseider Dupré,et al.  A Spectrum of Definitions for Temporal Model-Based Diagnosis , 1998, Artificial Intelligence.

[12]  Yannick Pencolé,et al.  Diagnosis of discrete-event systems using binary decision diagrams , 2004 .

[13]  Guus Wolf,et al.  Schedule management: An object oriented approach , 1994, Decis. Support Syst..

[14]  Pieter J. Mosterman,et al.  Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems , 1997, AAAI/IAAI.

[15]  Victor R. Lesser,et al.  Domain Monotonicity and the Performance of Local Solutions Strategies for CDPS-based Distributed Sensor Interpretation and Distributed Diagnosis , 2004, Autonomous Agents and Multi-Agent Systems.

[16]  Pietro Torasso,et al.  High Level Interpretation of Action Failures in Multi-Robot Systems , 2005 .

[17]  Luigi Portinale,et al.  Diagnosing time-varying misbehavior: an approach based on model decomposition , 1994, Annals of Mathematics and Artificial Intelligence.

[18]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[19]  M. Golumbic.  Annals of Mathematics and Artificial Intelligence , 2002, Annals of Mathematics and Artificial Intelligence.

[20]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[21]  Marie-Odile Cordier,et al.  A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks , 2005, Artif. Intell..

[22]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[23]  Nico Roos,et al.  How to keep plan execution healthy , 2005 .

[24]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[25]  Nico Roos,et al.  Reaching diagnostic agreement in multi-agent diagnosis , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[26]  Hiroaki Kitano,et al.  The Robocup Physical Agent Challenge: Phase I , 1998, Appl. Artif. Intell..

[27]  Gianfranco Lamperti,et al.  Diagnosis of discrete-event systems from uncertain temporal observations , 2002, Artif. Intell..

[28]  Pietro Torasso,et al.  Intelligent Supervision of Plan Execution in Multi-Agent Systems , 2006, Int. Trans. Syst. Sci. Appl..

[29]  Amedeo Cesta,et al.  Assessing the Bias of Classical Planning Strategies on Makespan-Optimizing Scheduling , 2004, ECAI.

[30]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[31]  Erann Gat,et al.  An Autonomous Spacecraft Agent Prototype , 1997, AGENTS '97.

[32]  Paul M. Frank,et al.  Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy: A survey and some new results , 1990, Autom..

[33]  Meir Kalech,et al.  Diagnosing a team of agents: scaling-up , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[34]  Amedeo Cesta,et al.  Planning and Scheduling Ingredients for a Multi-Agent System , 2002 .

[35]  P. Pandurang Nayak,et al.  Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..

[36]  P. Pandurang Nayak,et al.  Back to the Future for Consistency-Based Trajectory Tracking , 2000, AAAI/IAAI.

[37]  Pietro Torasso,et al.  Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis , 2006, Reasoning, Action and Interaction in AI Theories and Systems.

[38]  Amedeo Cesta,et al.  Evaluating plans through restrictiveness and resource strength , 2005 .

[39]  Nico Roos,et al.  Diagnosis of Plan Execution and the Executing Agent , 2005, KI.

[40]  Gianfranco Lamperti,et al.  Diagnosis of active systems : principles and techniques , 2003 .

[41]  Nico Roos,et al.  A protocol for multi-agent diagnosis with spatially distributed knowledge , 2003, AAMAS '03.

[42]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[43]  Pierre Marquis,et al.  A Perspective on Knowledge Compilation , 2001, IJCAI.

[44]  Keith Golden,et al.  Plan Execution, Monitoring, and Adaptation for Planetary Rovers , 2000, Electron. Trans. Artif. Intell..

[45]  Daniele Theseider Dupré,et al.  Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models , 1999, AI Commun..

[46]  Enke Chen,et al.  A Relational Algebraic Approach to the Representation and Analysis of Discrete Event Systems , 1991, 1991 American Control Conference.

[47]  Shaoying Liu,et al.  A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System , 1996, J. Syst. Softw..

[48]  Pietro Torasso,et al.  Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis , 2005, KI.

[49]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

[50]  Nico Roos,et al.  Multi Agent Diagnosis: an analysis , 2001 .

[51]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[52]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[53]  Meir Kalech,et al.  On the Design of Social Diagnosis Algorithms for Multi-Agent Teams , 2003, IJCAI.

[54]  Albert Benveniste,et al.  Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets , 1998, Discret. Event Dyn. Syst..

[55]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .

[56]  Daniele Theseider Dupré,et al.  State-based vs Simulation-based Diagnosis of Dynamic Systems , 2000, ECAI.

[57]  Michael Freed,et al.  Model-Based Diagnosis of Planning Failures , 1990, AAAI.

[58]  Peter J. F. Lucas.  Bayesian model-based diagnosis , 2001, Int. J. Approx. Reason..

[59]  Randal E. Bryant,et al.  Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.

[60]  Meir Kalech,et al.  Towards Model-Based Diagnosis of Coordination Failures , 2005, AAAI.

[61]  Pietro Torasso,et al.  COMPACT DIAGNOSES REPRESENTATION IN DIAGNOSTIC PROBLEM SOLVING , 2005, Comput. Intell..

[62]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[63]  Ronen I. Brafman,et al.  Partial-Order Planning with Concurrent Interacting Actions , 2011, J. Artif. Intell. Res..

[64]  Peter Struss,et al.  Qualitative Modeling is the Key to Automated Diagnosis , 1996 .

[65]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[66]  Dennis Heimbigner,et al.  A planning based approach to failure recovery in distributed systems , 2004, WOSS '04.

[67]  David Coppit,et al.  Developing a high-quality software tool for fault tree analysis , 1999, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443).

[68]  Pietro Torasso,et al.  On-line monitoring and diagnosis of a team of service robots: A model-based approach , 2006, AI Commun..

[69]  David Kelley.  A theory of abstraction. , 1984 .

[70]  Amedeo Cesta,et al.  A Constraint-Based Architecture for Flexible Support to Activity Scheduling , 2001, AI*IA.

[71]  Dana Kulic,et al.  Real-time safety for human - robot interaction , 2005, ICAR '05. Proceedings., 12th International Conference on Advanced Robotics, 2005..

[72]  Alexis Drogoul,et al.  The MICRobES Project, an Experimental Approach towards "Open Collective Robotics" , 2000, DARS.

[73]  Pietro Torasso,et al.  Computing Minimum-Cardinality Diagnoses Using OBDDs , 2003, KI.

[74]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[75]  Edmund H. Durfee,et al.  Limiting disruption in multiagent replanning , 2003, AAMAS '03.

[76]  Marco Roveri,et al.  Conformant Planning via Symbolic Model Checking , 2000, J. Artif. Intell. Res..

[77]  Nico Roos,et al.  Diagnosis of single and multi-agent plans , 2005, AAMAS '05.

[78]  Stéphane Lafortune,et al.  Distributed Diagnosis of Discrete-Event Systems Using Petri Nets , 2003, ICATPN.

[79]  Petr Jan Horn,et al.  Autonomic Computing: IBM's Perspective on the State of Information Technology , 2001 .