• DocumentCode
    137756
  • Title

    Verifying and validating multirobot missions

  • Author

    Lyons, D.M. ; Arkin, R.C. ; Jiang, Siwei ; Harrington, D. ; Liu, Tiegen

  • Author_Institution
    Dept. of Comput. & Inf. Sci., Fordham Univ., New York, NY, USA
  • fYear
    2014
  • fDate
    14-18 Sept. 2014
  • Firstpage
    1495
  • Lastpage
    1502
  • Abstract
    We have developed an approach that can be used by mission designers to determine whether or not a performance guarantee for their mission software, when carried out under the uncertain conditions of a real-world environment, will hold within a threshold probability. In this paper we demonstrate its utility for verifying multirobot missions, in particular a bounding overwatch mission.
  • Keywords
    control engineering computing; formal verification; multi-robot systems; bounding overwatch mission; mission software; multirobot mission verification; threshold probability; Algebra; Ports (Computers); Process control; Robot sensing systems; Software;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on
  • Conference_Location
    Chicago, IL
  • Type

    conf

  • DOI
    10.1109/IROS.2014.6942754
  • Filename
    6942754
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=137756