• Login
    View Item 
    •   SMARTech Home
    • College of Computing (CoC)
    • Georgia Tech Mobile Robot Lab (GT-MRL)
    • Mobile Robot Laboratory Publications
    • View Item
    •   SMARTech Home
    • College of Computing (CoC)
    • Georgia Tech Mobile Robot Lab (GT-MRL)
    • Mobile Robot Laboratory Publications
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Performance Verification for Behavior-based Robot Missions

    Thumbnail
    View/Open
    ARMS2013_GIRFT-V7.pdf (602.8Kb)
    Date
    2013
    Author
    Lyons, Damian M.
    Arkin, Ronald C.
    Jiang, Shu
    Liu, Tsung-Ming
    Nirmal, Paramesh
    Deeb, J.
    Metadata
    Show full item record
    Abstract
    Certain robot missions need to perform predictably in a physical environment that may only be poorly characterized in advance. This requirement raises many issues for existing approaches to software verification. An approach based on behavior-based controllers in a process-algebra framework is proposed by Lyons et al [15] to side-step state combinatorics. In this paper we show that this approach can be used to generate a Dynamic Bayesian Net work for the problem, and that verification is reduced to a filtering problem for this network. We present validation results for the verification of a multiple waypoint robot mission using this approach.
    URI
    http://hdl.handle.net/1853/50081
    Collections
    • Mobile Robot Laboratory Publications [187]
    • Mobile Robot Laboratory [187]

    Browse

    All of SMARTechCommunities & CollectionsDatesAuthorsTitlesSubjectsTypesThis CollectionDatesAuthorsTitlesSubjectsTypes

    My SMARTech

    Login

    Statistics

    View Usage StatisticsView Google Analytics Statistics
    • About
    • Terms of Use
    • Contact Us
    • Emergency Information
    • Legal & Privacy Information
    • Accessibility
    • Accountability
    • Accreditation
    • Employment
    • Login
    Georgia Tech

    © Georgia Institute of Technology

    • About
    • Terms of Use
    • Contact Us
    • Emergency Information
    • Legal & Privacy Information
    • Accessibility
    • Accountability
    • Accreditation
    • Employment
    • Login
    Georgia Tech

    © Georgia Institute of Technology