Decentralized intrusion detection for secure cooperative multi-agent systems

In this paper we address the problem of detecting faulty behaviors of cooperative mobile agents. A novel decentralized and scalable architecture that can be adopted to realize a monitor of the agents' behavior is proposed. We consider agents which may perform different independent tasks, but cooperate to guarantee the entire system's safety. Agents plan their next actions by following a set of rules which is shared among them. Such rules are decentralized, i.e. they dictate actions that depend only on configurations of neighboring agents. Some agents may not be acting according to this cooperation protocol, due to tampering or spontaneous failure. To detect such misbehaviors we propose a solution where each agent runs a local monitor using only locally available information. The objective of the work is the definition of a basic framework to automatically realize decentralized intrusion detectors for (hybrid) multi-agent systems where interaction is modeled through logical cooperative protocols.

[1]  Azim Eskandarian,et al.  The threat of intelligent collisions , 2004, IT Professional.

[2]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

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

[4]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[5]  Claire J. Tomlin,et al.  Maneuver design for multiple aircraft conflict resolution , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[6]  J.H. van Schuppen,et al.  Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[7]  Alan S. Willsky,et al.  Mathematics of Control, Signals, and Systems Invertibility of Discrete-event Dynamic Systems* , 2022 .

[8]  W. M. Wonham,et al.  Supervisory control of discrete event processes , 1982 .

[9]  Edwin K. P. Chong,et al.  On d-inversion in timed discrete event systems with interruption , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[10]  Kostas J. Kyriakopoulos,et al.  DIAGNOSABILITY OF HYBRID SYSTEMS , 2002 .

[11]  A. Bicchi,et al.  Decentralized cooperative conflict resolution among multiple autonomous mobile agents , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[12]  Stéphane Lafortune,et al.  Polynomial-time verification of diagnosability of partially observed discrete-event systems , 2002, IEEE Trans. Autom. Control..

[13]  Antonio Bicchi,et al.  Probabilistic verification of a decentralized policy for conflict resolution in multi-agent systems , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..

[14]  S. Shankar Sastry,et al.  Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..

[15]  Alberto L. Sangiovanni-Vincentelli,et al.  Design of Observers for Hybrid Systems , 2002, HSCC.

[16]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[17]  Feng Zhao,et al.  FAULT ISOLATION IN HYBRID SYSTEMS COMBINING MODEL BASED DIAGNOSIS AND SIGNAL PROCESSING , 2000 .

[18]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

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

[20]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[21]  Yin Wang,et al.  Decentralized Diagnosis of Discrete Event Systems using Unconditional and Conditional Decisions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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