Dynamic distributed intrusion detection for secure Multi-Robot systems

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2009, Pages 2723-2728

  Fagiolini, Adriano ^a   Babboni, Francesco ^a   Bicchi, Antonio ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DETECTION CAPABILITY; DISTRIBUTED INTRUSION DETECTION; INTRUSION DETECTORS; MULTI AGENT SYSTEM (MAS); MULTI-ROBOT SYSTEMS; SHOW THROUGH; STATE OBSERVER;

INFORMATION USE; MULTI AGENT SYSTEMS;

ROBOTICS;

EID: 79956023335     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2009.51526     Document Type: Conference Paper

References (26)

1. J. Tsitsiklis, D. Bertsekas, and M. Äthans, "Distributed asynchronous deterministic and stochastic gradient optimization algorithms," Automatic Control, IEEE Transactions on, vol. 31, no. 9, pp. 803-812, 1986. (Pubitemid 16629805)
2. D. Bertsekas and J. Tsitsiklis, " A survey of some aspects of parallel and distributed iterative algorithms," 1989.
3. C. P. Pfleeger and S. L. Pfleeger, Security in Computing. Prentice Hall, 2004.
4. S. Bosworth, M. Kabay, and I. NetLibrary, Computer Security Handbook. John Wiley & Sons, 2002.
5. J. Blum and A. Eskandarian, " The threat of intelligent collisions," IT Professional, vol. 6, no. 1, pp. 24-29, Jan.-Feb. 2004.
6. A. Fagiolini, G. Valenti, L. Pallottino, G. Dini, and A. Bicchi, " Decentralized intrusion detection for secure cooperative multiagent systems," in Proc. 46th IEEE Conf. on Decision and Control, 2007, pp. 1553-1558.
7. F. Pasqualetti, A. Bicchi, and F. Bullo, " Distributed intrusion detection for secure consensus computations," in Proc. 46th IEEE Conf. on Decision and Control, New Orleans, LA, USA, 12-14 December 2007, pp. 5594-5599.
8. M. Franceschelli, M. Egerstedt, and A. Giua, " Motion Probes for Fault Detection and Recovery in Networked Control Systems," American Control Conference, Seattle, WA, June, 2008.
9. M. Ji and M. Egerstedt, " Observability and estimation in distributed sensor networks," Proc. 46th IEEE Conf. on Decision and Control, pp. 4221-4226, 2007.
10. A. Fagiolini, M. Pellinacci, G. Valenti, G. Dini, and A. Bicchi, " Consensus based Distributed Intrusion Detection for Multi Robot Systems," in Proc. IEEE International Conf. on Robotics and Automation, 2008, pp. 120-127.
11. A. Fagiolini, G. Valenti, L. Pallottino, G. Dini, and A. Bicchi, " Local Monitor Implementation for Decentralized Intrusion Detection in Secure Multi Agent Systems," in Proc. 3rd Annual IEEE Conf. on Automation Science and Engineering, 2007, pp. 454-459.
12. A. Fagiolini, A. Bicchi, G. Dini, and I. Savino, " Tolerating malicious monitors in detecting misbehaving robots," in IEEE International Workshop on Safety, Security, and Rescue Robotics, Tohoku University Aobayama Campus, Sendai, Japan, 2008.
13. A. Girard and C. L. Guernic, " Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis," in Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, 2008, pp. 215-228.
14. A. Girard, " Reachability of Uncertain Linear Systems Using Zonotopes," in Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, 2005, pp. 291-305.
15. T. Dang and O. Maler, "Reachability analysis via face lifting," in Hybrid Systems: Computation and Control, Lecture Notes in Computer Science. Springer-Verlag, 1998, pp. 96-109. (Pubitemid 128055511)
16. E. Asarin, T. Dang, and A. Girard, " Reachability Analysis of Nonlinear Systems Using Conservative Approximation," in Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, 2003, pp. 20-35.
17. P. Collins, " Continuity and Computability of Reachable Sets," in Theoretical Computer Science, vol. 341, 2005, pp. 162-195.
18. D. D. Vecchio and R. Murray, Complexity Management in the State Estimation of Multi-Agent Systems. John Wiley & Sons, Ltd, 2001.
19. R. Vidal, R. Chiuso, S. Soatto, and S. Sastry, " Observability of linear hybrid systems," in In Hybrid Systems: Computation and Control, LNCS. Springer Verlag, 2003, pp. 526-539.
20. M. Babaali and M. Egerstedt, " Observability of switched linear systems," in Hybrid Systems: Computation and Control, Lecture Notes in Computer Science. Springer Verlag, 2004, pp. 48-63.
21. M. Babaali and G. J. Pappas, " Observability of switched linear systems in continuous time," in Hscc, 2005, pp. 103-117.
22. A. D'Innocenzo, " Observability and Temporal Properties of Hybrid Systems: Analysis and Verification," Ph.D Thesis, University of L'Aquila, Department of Electrical Engineering and Computer Science, 2006.
23. L. Benvenuti, D. Bresolin, A. Casagrande, P. Collins, A. Ferrari, E. Mazzi, T. Villa, and A. Sangiovanni-Vincentelli, " Reachability Computation for Hybrid Systems with Ariadne," in Proc. of the 17th IFAC World Congress, 2008.
24. J. Aubin and H. Frankowska, Set-Valued Analysis. Birkhäuser, 1990.
25. R. Alur, S. Kannan, and S. L. Torre, " Polyhedral flows in hybrid automata," Form. Methods Syst. Des., vol. 24, no. 3, pp. 261-280, 2004.
26. A. Bressan and B. Piccoli, Introduction to the Mathematical Theory of Control. American Institute of Mathematical Sciences, Applied Math Series Vol. 2, 2007.