• Login
    View Item 
    •   SMARTech Home
    • Institute for Robotics and Intelligent Machines (IRIM)
    • IRIM Articles and Papers
    • Georgia Robotics and InTelligent Systems Laboratory (GRITS)
    • View Item
    •   SMARTech Home
    • Institute for Robotics and Intelligent Machines (IRIM)
    • IRIM Articles and Papers
    • Georgia Robotics and InTelligent Systems Laboratory (GRITS)
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Correct-by-Construction Control Synthesis for Multi-Robot Mixing

    Thumbnail
    View/Open
    MixingBTL15.pdf (843.1Kb)
    Date
    2015-12
    Author
    Diaz-Mercado, Yancy
    Jones, Austin
    Belta, Calin
    Egerstedt, Magnus
    Metadata
    Show full item record
    Abstract
    This paper considers the problem of controlling a team of heterogeneous agents to conform to high- level interaction (coordination, sensing, and communication) missions. We consider interactions that can be specified via symbolic inputs from the braid group. We define a novel specification language, called Braid Temporal Logic (BTL), that allows us to specify rich, temporally-layered tasks involving agents’ locations in an environment, their relative positions to each other, and frequency of location swaps and information exchanges between agents. We use techniques from formal methods to generate symbolic inputs that conform to a given BTL specification and use recently developed hybrid optimal control synthesis techniques to enact the synthesized pattern. The generated trajectories are provably guaranteed to be collision-free, respect physical boundaries of the agents’ mission space, and to satisfy the high-level mission. Results are validated via implementation on a team of wheeled robots.
    URI
    http://hdl.handle.net/1853/55970
    Collections
    • Georgia Robotics and InTelligent Systems Laboratory (GRITS) [230]
    • Georgia Robotics and InTelligent Systems Laboratory (GRITS) Publications [230]

    Browse

    All of SMARTechCommunities & CollectionsDatesAuthorsTitlesSubjectsTypesThis CollectionDatesAuthorsTitlesSubjectsTypes

    My SMARTech

    Login

    Statistics

    View Usage StatisticsView Google Analytics Statistics
    facebook instagram twitter youtube
    • My Account
    • Contact us
    • Directory
    • Campus Map
    • Support/Give
    • Library Accessibility
      • About SMARTech
      • SMARTech Terms of Use
    Georgia Tech Library266 4th Street NW, Atlanta, GA 30332
    404.894.4500
    • Emergency Information
    • Legal and Privacy Information
    • Human Trafficking Notice
    • Accessibility
    • Accountability
    • Accreditation
    • Employment
    © 2020 Georgia Institute of Technology