• Login
    View Item 
    •   SMARTech Home
    • Georgia Tech Theses and Dissertations
    • Georgia Tech Theses and Dissertations
    • View Item
    •   SMARTech Home
    • Georgia Tech Theses and Dissertations
    • Georgia Tech Theses and Dissertations
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Specification composition and controller synthesis for robotic systems

    Thumbnail
    View/Open
    GLOTFELTER-DISSERTATION-2019.pdf (16.10Mb)
    Date
    2019-03-21
    Author
    Glotfelter, Paul
    Metadata
    Show full item record
    Abstract
    From precision agriculture to autonomous-transportation systems, robotic systems have been proposed to accomplish a number of tasks. However, these systems typically require satisfaction of multiple constraints, such as safety or connectivity maintenance, while completing their primary objectives. The objective of this thesis is to endow robotic systems with a Boolean-composition and controller-synthesis framework for specifications of objectives and constraints. Barrier functions represent one method to enforce such constraints via forward set invariance, and Lyapunov functions offer a similar guarantee for set stability. This thesis focuses on building a system of Boolean logic for barrier and Lyapunov functions by using min and max operators. As these objects inherently introduce nonsmoothness, this thesis extends the theory on barrier functions to nonsmooth barrier functions and, subsequently, to controlled systems via control nonsmooth barrier functions. However, synthesizing controllers with respect to a nonsmooth function may create discontinuities; as such, this thesis develops a controller-synthesis framework that, despite creating discontinuities, still produces valid controllers (i.e., ones that satisfy the objectives and constraints). These developments have been successfully applied to a variety of robotic systems, including remotely accessible testbeds, autonomous-transportation scenarios, and leader-follower systems.
    URI
    http://hdl.handle.net/1853/61238
    Collections
    • Georgia Tech Theses and Dissertations [22401]
    • School of Electrical and Computer Engineering Theses and Dissertations [3128]

    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