Full Record

New Search | Similar Records

Title Specification composition and controller synthesis for robotic systems
Publication Date
Date Accessioned
Degree PhD
Discipline/Department Electrical and Computer Engineering
Degree Level doctoral
University/Publisher Georgia Tech
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.
Subjects/Keywords Boolean composition; Nonsmooth analysis; Differential inclusions; Multi-robot systems; Robotic systems; Collision avoidance; Leader follower
Contributors Egerstedt, Magnus (advisor); Cortes, Jorge (committee member); Rogers, Jonathan (committee member); Hutchinson, Seth (committee member); Coogan, Samuel (committee member)
Language en
Country of Publication us
Record ID handle:1853/61238
Repository gatech
Date Indexed 2020-05-13
Issued Date 2019-03-21 00:00:00
Note [degree] Ph.D.;

Sample Images | Cited Works