Show simple item record

dc.contributor.advisorEgerstedt, Magnus
dc.contributor.authorGlotfelter, Paul
dc.date.accessioned2019-05-29T14:02:32Z
dc.date.available2019-05-29T14:02:32Z
dc.date.created2019-05
dc.date.issued2019-03-21
dc.date.submittedMay 2019
dc.identifier.urihttp://hdl.handle.net/1853/61238
dc.description.abstractFrom 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.
dc.format.mimetypeapplication/pdf
dc.language.isoen_US
dc.publisherGeorgia Institute of Technology
dc.subjectBoolean composition
dc.subjectNonsmooth analysis
dc.subjectDifferential inclusions
dc.subjectMulti-robot systems
dc.subjectRobotic systems
dc.subjectCollision avoidance
dc.subjectLeader follower
dc.titleSpecification composition and controller synthesis for robotic systems
dc.typeDissertation
dc.description.degreePh.D.
dc.contributor.departmentElectrical and Computer Engineering
thesis.degree.levelDoctoral
dc.contributor.committeeMemberCortes, Jorge
dc.contributor.committeeMemberRogers, Jonathan
dc.contributor.committeeMemberHutchinson, Seth
dc.contributor.committeeMemberCoogan, Samuel
dc.date.updated2019-05-29T14:02:32Z


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record