Decentralized intrusion detection for secure cooperative multi-agent systems
暂无分享,去创建一个
Antonio Bicchi | Gianluca Dini | Adriano Fagiolini | Lucia Pallottino | Gianni Valenti | A. Bicchi | L. Pallottino | A. Fagiolini | G. Dini | G. Valenti
[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..