Show simple item record

dc.contributor.advisorBelta, Calin A.en_US
dc.contributor.advisorTron, Robertoen_US
dc.contributor.authorYang, Guangen_US
dc.date.accessioned2020-10-19T18:34:43Z
dc.date.available2020-10-19T18:34:43Z
dc.date.issued2020
dc.identifier.urihttps://hdl.handle.net/2144/41481
dc.description.abstractMotion planning and controller design are essential in many autonomous applications, such as self-driving cars, surveillance with drones, and assistive robotics for home or medical applications. In these areas, the dynamical systems can be characterized as cyber-physical systems, in which the physical parts can be modeled by differential equations in continuous time, while digital computers are used to perform discrete state sampling and control updates. However, many existing frameworks were developed solely for the cyber part of the system. Ignoring continuous phenomena during discrete-time implementation could render undesired and even unsafe behavior. In this dissertation, I developed a motion planning and control framework for safety-critical systems to satisfy spatial and temporal constraints under a zeroth-order hold control implementation. In the first part of the dissertation, I introduce a self-triggered controller, with control barrier functions constraints for safety and control Lyapunov functions constraints for stability. The controls are generated by solving quadratic programs sequentially over time. Instead of using a periodic control mechanism, where the controls are updated at a constant rate, I proactively calculate the next update time instant, given the constraints, to ensure continuous-time safety and stability. In the second part of the dissertation, I introduce a correct-by-construction control synthesis framework where the system is required to satisfy Signal Temporal Logic formulas. I utilize the lower bounds of the control barrier functions and the predicate functions over a time interval to ensure continuous-time satisfaction of a formula. The focus of the third part of the dissertation is a sampling-based motion planner. The motion planner is based on Rapidly-exploring Random Trees. I introduce a function that generates collision-free trajectories and controls on-the-fly to avoid separate collision checks during edge extensions. The developed motion planner works for nonlinear systems and can be efficiently solved in real-time.en_US
dc.language.isoen_US
dc.rightsAttribution 4.0 Internationalen_US
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/
dc.subjectRoboticsen_US
dc.titleMotion planning and control for safety-critical systemsen_US
dc.typeThesis/Dissertationen_US
dc.date.updated2020-09-29T07:03:17Z
etd.degree.nameDoctor of Philosophyen_US
etd.degree.leveldoctoralen_US
etd.degree.disciplineSystems Engineeringen_US
etd.degree.grantorBoston Universityen_US
dc.identifier.orcid0000-0003-1181-4862


This item appears in the following Collection(s)

Show simple item record

Attribution 4.0 International
Except where otherwise noted, this item's license is described as Attribution 4.0 International