Decentralized intrusion detection for secure cooperative multi-agent systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2007, Pages 1553-1558

  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

MOBILE AGENTS; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; SCALABILITY;

INTRUSION DETECTORS; LOGICAL COOPERATIVE PROTOCOLS;

INTRUSION DETECTION;

EID: 62749109676     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2007.4434902     Document Type: Conference Paper

References (15)

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, and A. Bicchi, "Decentralized cooperative conflict resolution among multiple autonomous mobile agents," in Proceedings of the Conference on Decision and Control, vol. 5, Dec. 2004, pp. 4758-4763.
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. P. Ramadge and W. Wonham, "Supervisory Control of a Class of Discrete Event Processes," SIAM Journal on Control and Optimization, vol. 25, no. 1, pp. 206-230, 1987.
9. _, "The control of discrete event systems," Proceedings of the IEEE, vol. 77, no. 1, pp. 81-98, 1989.
10. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," Automatic Control, IEEE Transactions on, vol. 40, no. 9, pp. 1555-1575, 1995.
11. C. Özveren and A. Willsky, "Invertibility of Discrete-Event Dynamic Systems," Mathematics of Control, Signals, and Systems (MCSS), vol. 5, no. 4, pp. 365-390, 1992.
12. Y. Wang, T.-S. Yoo, and S. Lafortune, "Decentralized diagnosis of discrete event systems using unconditional and conditional decisions," in Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on, 12-15 Dec. 2005, pp. 6298-6304.
13. G. Fourlas, K. Kyriakopoulos, and N. Krikelis, "Diagnosability of Hybrid Systems," Proceedings of the 10th IEEE Mediterranean Conference on Control and Automation, 2002.
14. _, "A Framework for Fault Detection of Hybrid Systems," Proceedings of the 9th IEEE Mediterranean Conference on Control and Automation, 2001.
15. E. K. Yongseok Park, "On d-Inversion in Timed Discrete Event Systems with Interruption," Decision and Control, 1995. Proceedings. 34nd IEEE Conference on, vol. 2, 1995.