-
1
-
-
33644997478
-
Flocking for multi-agent dynamic systems: Algorithms and theory
-
R. Olfati-Saber, "Flocking for multi-agent dynamic systems: algorithms and theory," Automatic Control, IEEE Transactions on, vol. 51, no. 3, pp. 401-420, 2006.
-
(2006)
Automatic Control, IEEE Transactions on
, vol.51
, Issue.3
, pp. 401-420
-
-
Olfati-Saber, R.1
-
2
-
-
0034783961
-
Towards the development of intelligent transportation systems
-
L. Figueiredo, I. Jesus, J. Machado, J. Ferreira, and J. Martins de Carvalho, "Towards the development of intelligent transportation systems," Intelligent Transportation Systems, 2001. Proceedings. 2001 IEEE, pp. 1206-1211, 2001.
-
(2001)
Intelligent Transportation Systems, 2001. Proceedings. 2001 IEEE
, pp. 1206-1211
-
-
Figueiredo, L.1
Jesus, I.2
Machado, J.3
Ferreira, J.4
Martins de Carvalho, J.5
-
3
-
-
84976699318
-
The Byzantine Generals Problem
-
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.
-
(1982)
ACM Transactions on Programming Languages and Systems (TOPLAS)
, vol.4
, Issue.3
, pp. 382-401
-
-
Lamport, L.1
Shostak, R.2
Pease, M.3
-
4
-
-
0032050862
-
-
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.
-
(1998)
Conflict resolution for air traffic management: A case study in multi-agent hybrid systems
, vol.43
, pp. 509-521
-
-
Tomlin, C.1
Pappas, G.J.2
Sastry, S.3
-
6
-
-
84876842675
-
Decentralized cooperative conflict resolution among multiple autonomous mobile agents
-
Dec
-
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.
-
(2004)
Proceedings of the Conference on Decision and Control
, vol.5
, pp. 4758-4763
-
-
Pallottino, L.1
Scordio, V.2
Bicchi, A.3
-
7
-
-
0347742772
-
Intrusion detection systems and multisensor data fusion
-
T. Bass, "Intrusion detection systems and multisensor data fusion," Commun. ACM, vol. 43, no. 4, pp. 99-105, 2000.
-
(2000)
Commun. ACM
, vol.43
, Issue.4
, pp. 99-105
-
-
Bass, T.1
-
8
-
-
0002473030
-
DIDS (Distributed Intrusion Detection System)-Motivation, Architecture, and an Early Prototype
-
S. Snapp, J. Brentano, G. Dias, T. Goan, L. Heberlein, C. Ho, K. Levitt, B. Mukherjee, S. Smaha, T. Grance et al., "DIDS (Distributed Intrusion Detection System)-Motivation, Architecture, and an Early Prototype," Proceedings of the 14th National Computer Security Conference, pp. 167-176, 1991.
-
(1991)
Proceedings of the 14th National Computer Security Conference
, pp. 167-176
-
-
Snapp, S.1
Brentano, J.2
Dias, G.3
Goan, T.4
Heberlein, L.5
Ho, C.6
Levitt, K.7
Mukherjee, B.8
Smaha, S.9
Grance, T.10
-
11
-
-
0036741824
-
Polynomial-time verification of diagnosability of partially observed discrete-event systems
-
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.
-
(2002)
Automatic Control, IEEE Transactions on
, vol.47
, Issue.9
, pp. 1491-1495
-
-
Yoo, T.1
Lafortune, S.2
-
12
-
-
0030109707
-
Failure diagnosis using discrete-event models
-
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.
-
(1996)
Control Systems Technology, IEEE Transactions on
, vol.4
, Issue.2
, pp. 105-124
-
-
Sampath, M.1
Sengupta, R.2
Lafortune, S.3
Sinnamohideen, K.4
Teneketzis, D.5
-
13
-
-
0029373586
-
Diagnosability of discrete-event systems
-
_, "Diagnosability of discrete-event systems," Automatic Control, IEEE Transactions on, vol. 40, no. 9, pp. 1555-1575, 1995.
-
(1995)
Automatic Control, IEEE Transactions on
, vol.40
, Issue.9
, pp. 1555-1575
-
-
Sampath, M.1
Sengupta, R.2
Lafortune, S.3
Sinnamohideen, K.4
Teneketzis, D.5
-
14
-
-
0026492213
-
Invertibility of Discrete-Event Dynamic Systems
-
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.
-
(1992)
Mathematics of Control, Signals, and Systems (MCSS)
, vol.5
, Issue.4
, pp. 365-390
-
-
Özveren, C.1
Willsky, A.2
-
17
-
-
62749109676
-
Decentralized Intrusion Detection For Secure Cooperative Multi-Agent Systems
-
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.
-
(2007)
IEEE International Conference on Decision and Control
-
-
Fagiolini, A.1
Valenti, G.2
Pallottino, L.3
Dini, G.4
Bicchi, A.5
-
18
-
-
44449126769
-
Local Monitor Implementation for Decentralized Intrusion Detection in Secure Multi-Agent Systems
-
_, "Local Monitor Implementation for Decentralized Intrusion Detection in Secure Multi-Agent Systems," IEEE Conference on Automation, Science, and Engineering, 2007.
-
(2007)
IEEE Conference on Automation, Science, and Engineering
-
-
Fagiolini, A.1
Valenti, G.2
Pallottino, L.3
Dini, G.4
Bicchi, A.5
-
21
-
-
0004215089
-
-
Morgan Kaufmann Publishers, San Mateo, CA
-
N. Lynch, Distributed Algorithms. Morgan Kaufmann Publishers, San Mateo, CA, 1996.
-
(1996)
Distributed Algorithms
-
-
Lynch, N.1
-
22
-
-
0037389231
-
Simultaneous localization and map building for a team of cooperating robots: A set membership approach
-
M. Di Marco, A. Garulli, A. Giannitrapani, and A. Vicino, "Simultaneous localization and map building for a team of cooperating robots: a set membership approach," Robotics and Automation, IEEE Transactions on, vol. 19, no. 2, pp. 238-249, 2003.
-
(2003)
Robotics and Automation, IEEE Transactions on
, vol.19
, Issue.2
, pp. 238-249
-
-
Di Marco, M.1
Garulli, A.2
Giannitrapani, A.3
Vicino, A.4
-
24
-
-
51649089486
-
A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model
-
P. Lincoln and J. Rushby, "A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model," Fault-Tolerant Computing, 1995,'Highlights from Twenty-Five Years'., Twenty-Fifth International Symposium on, 1995.
-
(1995)
Fault-Tolerant Computing, 1995,'Highlights from Twenty-Five Years'., Twenty-Fifth International Symposium on
-
-
Lincoln, P.1
Rushby, J.2
|