-
1
-
-
0032308533
-
Behavior-based formation control for multirobot teams
-
T. Balch and R.C. Arkin, “Behavior-based formation control for multirobot teams”, IEEE Trans. Robot. Autom., 14, pp. 926-939, 1998.
-
(1998)
IEEE Trans. Robot. Autom.
, vol.14
, pp. 926-939
-
-
Balch, T.1
Arkin, R.C.2
-
2
-
-
0036056136
-
Coordinated target assignment and intercept for unmanned air vehicles, in
-
R.W. Beard, T.W. McLain and M. Goodrich, “Coordinated target assignment and intercept for unmanned air vehicles”, in Proceedings of the IEEE International Conference on Robotics and Automation, volume 3, May 2002, pp. 2581-2586.
-
(2002)
Proceedings of the IEEE International Conference on Robotics and Automation
, vol.3
, pp. 2581-2586
-
-
Beard, R.W.1
Mc Lain, T.W.2
Goodrich, M.3
-
3
-
-
0002169521
-
Temporal logics for realtime system specification
-
P. Bellini, M. Riccardo and P. Nesi, “Temporal logics for realtime system specification”, ACM Computing Surveys (CSUR), 32, pp. 12-42, 2000.
-
(2000)
ACM Computing Surveys (CSUR)
, vol.32
, pp. 12-42
-
-
Bellini, P.1
Riccardo, M.2
Nesi, P.3
-
4
-
-
0003450426
-
-
Berlin: Springer
-
B. Berard, M. Bidoit, A. Finkel, F. Laroussine, A. Petit, L. Petrucci, P. Schnoebelen and P. Mckenzie, Systems and Software Verification, Berlin: Springer, 2001.
-
(2001)
Systems and Software Verification
-
-
Berard, B.1
Bidoit, M.2
Finkel, A.3
Laroussine, F.4
Petit, A.5
Petrucci, L.6
Schnoebelen, P.7
Mc Kenzie, P.8
-
8
-
-
74549117012
-
Testing Petri nets for mobile robots using Grobner bases, in 21st
-
A. Chandler, A. Heyworth, L. Blair and D. Seward, “Testing Petri nets for mobile robots using Grobner bases”, in 21st International Conference on Application and Theory of Petri Nets, pp. 21-34, June 2000.
-
(2000)
International Conference on Application and Theory of Petri Nets
, pp. 21-34
-
-
Chandler, A.1
Heyworth, A.2
Blair, L.3
Seward, D.4
-
9
-
-
0000301350
-
Verification of the Futurebus + Cache coherence protocol
-
E.M. Clarke Jr, O. Grumberg, H. Hiraishi, S. Jha, D.F. Long, K.L. McMillan and L.A. Ness, “Verification of the Futurebus + Cache coherence protocol”, Formal Methods in System Design, 6, pp. 217-232, 1995.
-
(1995)
Formal Methods in System Design
, vol.6
, pp. 217-232
-
-
Clarke, E.M.1
Grumberg, O.2
Hiraishi, H.3
Jha, S.4
Long, D.F.5
Mc Millan, K.L.6
Ness, L.A.7
-
11
-
-
0035417837
-
Formal analysis of a spacecraft controller using SPIN
-
K. Havelund, M. Lowry and J. Penix, “Formal analysis of a spacecraft controller using SPIN”, IEEE Transactions on Software Engineering, 27, pp. 749-765, 2001.
-
(2001)
IEEE Transactions on Software Engineering
, vol.27
, pp. 749-765
-
-
Havelund, K.1
Lowry, M.2
Penix, J.3
-
12
-
-
0012101573
-
BUGS: Basic UXO gathering system
-
Naval PGS, Monterey, CA, April
-
A.J. Healey, S. McMillan, D. Jenkins and R.B. McGhee, “BUGS: Basic UXO gathering system”, in Autonomous Vehicles in Mine Countermeasures Symposium, Naval PGS, Monterey, CA, April 1995.
-
Autonomous Vehicles in Mine Countermeasures Symposium
, pp. 1995
-
-
Healey, A.J.1
Mc Millan, S.2
Jenkins, D.3
Mc Ghee, R.B.4
-
14
-
-
0036529990
-
An automated verification method for distributed systems software based on model extraction
-
G.J. Holzmann and M. H. Smith, “An automated verification method for distributed systems software based on model extraction”, IEEE Trans. Softw. Eng., 28, pp. 364-377, 2002.
-
(2002)
IEEE Trans. Softw. Eng.
, vol.28
, pp. 364-377
-
-
Holzmann, G.J.1
Smith, M.H.2
-
16
-
-
85023657079
-
A formal approach for decentralised co-ordination among UAVS using hybrid control
-
St. Petersburg, Russia, 14-18 June
-
S. Jeyaraman, A. Tsourdos, R. Zbikowski and B. White, “A formal approach for decentralised co-ordination among UAVS using hybrid control”, in 16th IFAC Symposium on Automatic Control in Aerospace (ACA 2004), St. Petersburg, Russia, 14-18 June, 2004a.
-
(2004)
16Th IFAC Symposium on Automatic Control in Aerospace (ACA 2004)
-
-
Jeyaraman, S.1
Tsourdos, A.2
Zbikowski, R.3
White, B.4
-
17
-
-
85023699095
-
A hybrid control approach to autonomous navigation in cooperative multi-robot systems using Kripke models and model checking
-
Instituto Superior Tecnico, Lisbon, Portugal, 5-7 July
-
S. Jeyaraman, A. Tsourdos, R. Zbikowski and B. White, “A hybrid control approach to autonomous navigation in cooperative multi-robot systems using Kripke models and model checking”, in 5th IFAC Symposium on Intelligent Autonomous Vehicles (IAV 2004), Instituto Superior Tecnico, Lisbon, Portugal, 5-7 July, 2004b.
-
(2004)
5Th IFAC Symposium on Intelligent Autonomous Vehicles (IAV 2004)
-
-
Jeyaraman, S.1
Tsourdos, A.2
Zbikowski, R.3
White, B.4
-
18
-
-
18844385252
-
Kripke modelling of multiple robots with decentralized cooperation specified with temporal logic
-
S. Jeyaraman, A. Tsourdos, R. Zbikowski and B. White, “Kripke modelling of multiple robots with decentralized cooperation specified with temporal logic”, Proc. I. Mech. E Part I: J. Syst. Control Eng, 219, pp. 15-31, 2005.
-
(2005)
Proc. I. Mech. E Part I: J. Syst. Control Eng
, vol.219
, pp. 15-31
-
-
Jeyaraman, S.1
Tsourdos, A.2
Zbikowski, R.3
White, B.4
-
19
-
-
0345393088
-
Coordinated execution of tasks in a multiagent environment
-
J. King, R.K. Pretty and R.G. Gosine, “Coordinated execution of tasks in a multiagent environment”, in IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum, 33, pp. 615-620, 2003.
-
(2003)
IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum
, vol.33
, pp. 615-620
-
-
King, J.1
Pretty, R.K.2
Gosine, R.G.3
-
20
-
-
0002977725
-
A completeness theorem in modal logic
-
S.A. Kripke, “A completeness theorem in modal logic”, J. Symbol. Logic, 24, pp. 1-14, 1959.
-
(1959)
J. Symbol. Logic
, vol.24
, pp. 1-14
-
-
Kripke, S.A.1
-
21
-
-
37949002557
-
Semantical analysis of modal logic I. Normal modal propositional calculi
-
S.A. Kripke, “Semantical analysis of modal logic I. Normal modal propositional calculi”, Zeitschr. Math. Logik Grundlagen Math, 9, pp. 67-93, 1963a.
-
(1963)
Zeitschr. Math. Logik Grundlagen Math
, vol.9
, pp. 67-93
-
-
Kripke, S.A.1
-
22
-
-
0001972488
-
Semantical considerations on modal logic
-
S.A. Kripke, “Semantical considerations on modal logic”, Acta Phil. Fennica, 16, pp. 83-94, 1963b.
-
(1963)
Acta Phil. Fennica
, vol.16
, pp. 83-94
-
-
Kripke, S.A.1
-
24
-
-
35048837396
-
-
Technical Report IAM 92-013, Institute of Informatics and Applied Mathematics, University of Berne
-
P.B. Ladkin and S. Leue, An Analysis of Message Sequence Charts, Technical Report IAM 92-013, Institute of Informatics and Applied Mathematics, University of Berne, June 1992.
-
(1992)
An Analysis of Message Sequence Charts
-
-
Ladkin, P.B.1
Leue, S.2
-
25
-
-
0003765895
-
-
Technical Report 98-06, University of Waterloo, April
-
S. Leue, L. Mehrmann and M. Rezai, Synthesizing ROOM Models from Message Sequence Chart Specifications, Technical Report 98-06, University of Waterloo, April 1998.
-
(1998)
Synthesizing ROOM Models from Message Sequence Chart Specifications
-
-
Leue, S.1
Mehrmann, L.2
Rezai, M.3
-
28
-
-
0024645936
-
Petri Nets: Properties, analysis and applications, in
-
T. Murata, “Petri Nets: Properties, analysis and applications”, in Proceedings of the IEEE, 77, 1989, pp. 541-580.
-
(1989)
Proceedings of the IEEE
, vol.77
, pp. 541-580
-
-
Murata, T.1
-
29
-
-
0002877121
-
Current state of the art in distributed autonomous mobile robotics
-
Tokyo: Springer
-
L.E. Parker, “Current state of the art in distributed autonomous mobile robotics”, in Distributed Autonomous Robotic System 4, Tokyo: Springer, 2000, pp. 3-12.
-
(2000)
Distributed Autonomous Robotic System
, vol.4
, pp. 3-12
-
-
Parker, L.E.1
-
30
-
-
0011936606
-
-
Technical Report CMURI-TR-01-16, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA
-
S. Singh and S. Thayer, ARMS: A Survey of Collaborative Robotics Core Technologies and Their Military Applications, Technical Report CMURI-TR-01-16, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, July 2001.
-
(2001)
ARMS: A Survey of Collaborative Robotics Core Technologies and Their Military Applications
-
-
Singh, S.1
Thayer, S.2
-
31
-
-
0030416606
-
A computer network architecture based control architecture for autonomous distributed multirobot systems, in
-
G. Yasuda and K. Tachibana, “A computer network architecture based control architecture for autonomous distributed multirobot systems”, in 18th International Conference on Computers and Industrial Engineering, volume 31, 1996, pp. 697-702.
-
(1996)
18Th International Conference on Computers and Industrial Engineering
, vol.31
, pp. 697-702
-
-
Yasuda, G.1
Tachibana, K.2
-
32
-
-
0028714917
-
Petri nets and industrial applications: A tutorial
-
R. Zurawski and M. Zhou, “Petri nets and industrial applications: A tutorial”, IEEE Trans. Ind. Electron., 41, pp. 567-583, 1994.
-
(1994)
IEEE Trans. Ind. Electron.
, vol.41
, pp. 567-583
-
-
Zurawski, R.1
Zhou, M.2
|