Show simple item record

dc.rights.licenseUsers may download and share copies with attribution in accordance with a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License. No commercial use or derivatives are permitted without the explicit approval of the author.
dc.contributorJulius, Anak Agung
dc.contributorWen, John T.
dc.contributorMishra, Sandipan
dc.contributorWu, Wencen
dc.contributor.authorWinn, Andrew Kevin
dc.date.accessioned2021-11-03T08:25:14Z
dc.date.available2021-11-03T08:25:14Z
dc.date.created2015-06-09T13:41:11Z
dc.date.issued2015-05
dc.identifier.urihttps://hdl.handle.net/20.500.13015/1448
dc.descriptionMay 2015
dc.descriptionSchool of Engineering
dc.description.abstractWe next examine methods for improving the controller synthesis process or improving the resulting controller. We present two methods of optimizing the trajectories. In the first, we use a gradient descent approach to minimize a cost functional while maintaining a desired robustness using potential functions. In the second, we use a tool from nonsmooth optimization to optimize the robustness directly. These methods are then used to automatically generate new trajectories from given trajectories. We then present a method for learning a piecewise affine feedback control law from the trajectory-based controller. Finally, we will examine methods of performing distance computations, a calculation vital for any implementation of our approach, and present a novel method for calculating the distance to the boundary of an ellipsoid with better robustness and efficiency than existing methods.
dc.description.abstractAs technology advances, the control systems that are used to drive devices are growing more and more complicated. In many situations the PID controllers of the past are replaced with complicated high-level controllers that allow complex systems to satisfy complex spacial and temporal specifications. It is important to have methods for designing controllers that guarantee that these tasks are performed correctly.
dc.description.abstractOur research focuses on generating controllers for hybrid systems that satisfy safety and temporal logic specifications. A hybrid system is a dynamical system that incorporates both continuous and discrete elements. Safety specifications involve avoiding a set of unsafe states while eventually reaching a set of goal states, and temporal logic specifications involve reaching or avoiding sets of states depending on the the system's history. Some existing methods solve this problem globally, but either grow computationally intractable as the dimension of the dynamical system grows, or requires the system to have very simple dynamics. Other methods perform an on-line search for a feasible trajectory, but without a guarantee that a satisfying trajectory will be found in an acceptable time frame. The proposed method lies in between these approaches in that it guarantees satisfaction of the specifications for a local set of initial states, and can be applied to high dimensional and/or complex dynamical systems.
dc.description.abstractIn our approach we first introduce the control autobisimulation function, which is the analogue of the control Lyapunov function for approximate bisimulation. We use this function to determine a set of admissible feedback control laws that guarantee trajectory robustness, a property that ensures that any trajectory of the closed-loop system that is initialized within some neighborhood of a nominal trajectory will stay within some tube of the nominal trajectory when given the same input. This feedback control and input can be used as the controller for some subset of the initial states. We next derive a method to compute the largest tube such that any trajectory inside the tube is guaranteed to satisfy the desired specifications. By generating feasible trajectories, say by a human playing a video game simulation of the system, we can create a set of trajectories such that for any allowable initial state there is a trajectory whose feedback law and input will meet the desired specifications.
dc.language.isoENG
dc.publisherRensselaer Polytechnic Institute, Troy, NY
dc.relation.ispartofRensselaer Theses and Dissertations Online Collection
dc.subjectElectrical engineering
dc.titleTrajectory-based safety controller synthesis
dc.typeElectronic thesis
dc.typeThesis
dc.digitool.pid175914
dc.digitool.pid175915
dc.digitool.pid175916
dc.rights.holderThis electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
dc.description.degreePhD
dc.relation.departmentDept. of Electrical, Computer, and Systems Engineering


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record