Local monitor implementation for decentralized intrusion detection in secure multi-agent systems

Proceedings of the 3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007

Volumn , Issue , 2007, Pages 454-459

  Fagiolini, Adriano ^a   Valenti, Gianni ^a   Pallottino, Lucia ^a   Dini, Gianluca ^a   Bicchi, Antonio ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; MOBILE ROBOTS; MULTI AGENT SYSTEMS; SECURITY SYSTEMS;

LOGIC RULES; MISBEHAVING AGENTS; NEIGHBORING AGENTS;

INTRUSION DETECTION;

EID: 44449126769     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2007.4341717     Document Type: Conference Paper

References (13)

1. C. Tomlin, G. J. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A case study in multi-agent hybrid systems," vol. 43, pp. 509-521, 1998.
2. R. Ghosh and C. J. Tomlin, "Maneuver design for multiple aircraft conflict resolution," Chicago, IL, 2000.
3. L. Pallottino, V. Scordio, E. Frazzoli, and A. Bicchi, "Probabilistic verification of a decentralized policy for conflict resolution in multi-agent systems," IEEE International Conference on Robotics and Automation, pp. 2448-2453, 2006.
4. J. Blum and A. Eskandarian, "The threat of intelligent collisions," IT Professional, vol. 6, no. 1, pp. 24-29, Jan.-Feb. 2004.
5. L. Lamport, R. Shostak, and M. Pease, "The Byzantine Generals Problem," ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 4, no. 3, pp. 382-401, 1982.
6. T. Yoo and S. Lafortune, "Polynomial-time verification of diagnosability of partially observed discrete-event systems," Automatic Control, IEEE Transactions on, vol. 47, no. 9, pp. 1491-1495, 2002.
7. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Failure diagnosis using discrete-event models," Control Systems Technology, IEEE Transactions on, vol. 4, no. 2, pp. 105-124, 1996.
8. R. Boel and J. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers," Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on, pp. 175-181, 2002.
9. G. Fourlas, K. Kyriakopoulos, and N. Krikelis, "Diagnosability of Hybrid Systems," Proceedings of the 10th IEEE Mediterranean Conference on Control and Automation, 2002.
10. A. Balluchi, L. Benvenuti, M. Di Benedetto, and A. Sangiovanni- Vincentelli, "Design of observers for hybrid systems," Hybrid Systems: Computation and Control, vol. 2289, pp. 76-89, 2002.
11. S. Narasimhan, F. Zhao, G. Biswas, and E. Hung, "Fault isolation in hybrid systems combining model based diagnosis and signal processing," Proc. of IFAC 4th Symposium on Fault Detection, Supervision, and Safety for Technical Processes, 2000.
12. G. Fourlas, K. Kyriakopoulos, and N. Krikelis, "A Framework for Fault Detection of Hybrid Systems," Proceedings of the 9th IEEE Mediterranean Conference on Control and Automation, 2001.
13. A. Fagiolini, G. Valenti, L. Pallottino, G. Dini, and A. Bicchi, "Decentralized Intrusion Detection For Secure Cooperative Multi-Agent Systems," IEEE International Conference on Decision and Control, 2007, submitted.