Conference Paper

Consensus-based distributed Intrusion Detection for multi-robot systems

Interdepartmental Res. Center "E. Piaggio", Univ. di Pisa, Pisa
DOI: 10.1109/ROBOT.2008.4543196 Conference: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA
Source: DBLP


This paper addresses a security problem in robotic multi-agent systems, where agents are supposed to cooperate according to a shared protocol. A distributed Intrusion Detection System (IDS) is proposed here, that detects possible non-cooperative agents. Previous work by the authors showed how single monitors embedded on-board the agents can detect non- cooperative behavior, using only locally available information. In this paper, we allow such monitors to share the collected information in order to overcome their sensing limitation. In this perspective, we show how an agreement on the type of behavior of a target-robot may be reached by the monitors, through execution of a suitable consensus algorithm. After formulating a consensus problem over non-scalar quantities, and with a generic update function, we provide conditions for the consensus convergence and an upper bound to its transient duration. Effectiveness of the proposed solution is finally shown through simulation of a case study.

Download full-text


Available from: Gianluca Dini,
  • Source
    • "An attempt to control a collective variable expressed in terms of formation statistics (e.g. the centroid and the shape of the team) by resorting to a distributed estimator of the actual collective variable can be found in [10] and [25]. Decentralized estimation and control are also investigated in [22] in the framework of linear state feedback control, and in [8] in the context of sensory networks, where the estimated state covers the role of solving surveillance and monitoring tasks. The paper builds on the results of [1], [4], where tracking of the sole weighted centroid has been achieved by resorting to a distributed controller, and of [2], [3] where the tracking of an assigned time-varying relative formation, in addition to the centroid, is achieved. "
    [Show abstract] [Hide abstract]
    ABSTRACT: The paper presents a decentralized observer for a class of multi-agent systems. The proposed observer allows each robot of the team to estimate the overall system state provided that the communication network is connected and that the motion control law is Lipschitz. In case of perfect measurements the observer error is proved to be exponentially convergent to zero, while global uniform ultimately boundeness is proved for the case of bounded non-vanishing noise on the state measurements. The approach is validated via numerical simulations considering, as a case study, the decentralized control of the centroid and the formation of a team of robots.
    IEEE International Conference on Information and Automation; 08/2013
  • Source
    • "The cooperation rules are assumed to be a class of decentralized logical conditions. Moreover, a communication-based reputation consensus protocol is constructed in [5] in order to confirm the network's decisions on faulty targets. "
    [Show abstract] [Hide abstract]
    ABSTRACT: In this paper we propose a distributed real-time fault detection, isolation and mitigation framework for multiagent systems performing cooperative tasks. Various system models and detection schemes with respect to communication and sensing are considered. Two communication protocols for fault detection are introduced first and proved to be effective. Then a scheme based on limited relative state measurements is developed. Furthermore, we propose fault isolation and mitigation steps to guarantee the accomplishment of a global objective. All schemes are distributed in the sense that at each step of the fault detection, isolation and mitigation every agent only uses locally available information. One key feature of the framework is the significant reduction of required computational resource when compared with the fault detection and isolation schemes based on unknown input observers. Later we show that the proposed framework can be applied to the consensus and other cooperative formation problems. Several computer simulations are presented to demonstrate the efficiency of the framework.
    American Control Conference (ACC), 2012; 06/2012
  • Source
    • "ξ n (k 0 ) is the boolean combination of all the internal robots state at time k = k 0 , and ¯ k ≤ diameter(G). Proof: The proof follows the same argument used in [11] to prove the abstract convergence of consensus algorithms. "
    [Show abstract] [Hide abstract]
    ABSTRACT: In this paper a novel decentralized approach for task sequencing within a multiple missions control framework is presented. The main contribution of this work concerns the decentralization of a control framework for multiple mission execution in order to enhance the robustness of the system, and the application of the latter to a heterogeneous robotic network. The proposed approach is based on the Matrix based Discrete Event Framework (MDEF). This formalism is adapted to networks of heterogeneous robots, i.e., robots with different capabilities, and to the decentralized control of mission execution using a consensus-based approach which guarantees the agreement among robots on executed actions and their consequences.
    Robotics and Automation (ICRA), 2011 IEEE International Conference on; 06/2011
Show more