• 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.

    Verifying Performance for Autonomous Robot Missions with Uncertainty

    Thumbnail
    View/Open
    Lyons_Arkin_IAV13_v7.pdf (522.3Kb)
    Date
    2012
    Author
    Lyons, Damian M.
    Arkin, Ronald C.
    Liu, Tsung-Ming
    Jiang, Shu
    Nirmal, Paramesh
    Metadata
    Show full item record
    Abstract
    Establishing performance guarantees for robot missions is especially important for C-WMD applications. Software verification techniques, such as model checking (Clark 1999, Jhala & Majumdar 2009), can be applied to robotic applications but characteristics of this application area, including addition of a robot environment model and handling continuous spatial location well, exacerbate state explosion, a key weakness of these methods. We have proposed an approach to verifying robot missions that shifts the focus from state-based analysis onto the solution of a set of flow equations (Lyons et al. 2012). The key novelty introduced in this paper is a probabilistic spatial representation for flow equations. We show how this representation models the spatial situation for robot motion with environments or controllers that include discrete choice (constraints). A model such as we propose here is useful only if it can accurately predict robot motion. We conclude by presenting three validation results that show this approach has strong predictive power ; that is, that the verifications it produces can be trusted.
    URI
    http://hdl.handle.net/1853/46410
    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