메뉴 건너뛰기




Volumn 37, Issue 6, 2006, Pages 339-349

Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice

Author keywords

Kripke modelling; Minimalist communication; Multiple robots system

Indexed keywords


EID: 85006516884     PISSN: 00207721     EISSN: 14645319     Source Type: Journal    
DOI: 10.1080/00207720500438472     Document Type: Article
Times cited : (17)

References (32)
  • 1
    • 0032308533 scopus 로고    scopus 로고
    • 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
  • 14
    • 0036529990 scopus 로고    scopus 로고
    • 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
  • 17
    • 85023699095 scopus 로고    scopus 로고
    • 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
  • 20
    • 0002977725 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 28
    • 0024645936 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 31
    • 0030416606 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.