A. James Clark School of Engineering
Permanent URI for this communityhttp://hdl.handle.net/1903/1654
The collections in this community comprise faculty research works, as well as graduate theses and dissertations.
Browse
2 results
Search Results
Item Motion Planning and Controls with Safety and Temporal Constraints(2016) Zhou, Yuchen; Baras, John S; Electrical Engineering; Digital Repository at the University of Maryland; University of Maryland (College Park, Md.)Motion planning, or trajectory planning, commonly refers to a process of converting high-level task specifications into low-level control commands that can be executed on the system of interest. For different applications, the system will be different. It can be an autonomous vehicle, an Unmanned Aerial Vehicle(UAV), a humanoid robot, or an industrial robotic arm. As human machine interaction is essential in many of these systems, safety is fundamental and crucial. Many of the applications also involve performing a task in an optimal manner within a given time constraint. Therefore, in this thesis, we focus on two aspects of the motion planning problem. One is the verification and synthesis of the safe controls for autonomous ground and air vehicles in collision avoidance scenarios. The other part focuses on the high-level planning for the autonomous vehicles with the timed temporal constraints. In the first aspect of our work, we first propose a verification method to prove the safety and robustness of a path planner and the path following controls based on reachable sets. We demonstrate the method on quadrotor and automobile applications. Secondly, we propose a reachable set based collision avoidance algorithm for UAVs. Instead of the traditional approaches of collision avoidance between trajectories, we propose a collision avoidance scheme based on reachable sets and tubes. We then formulate the problem as a convex optimization problem seeking control set design for the aircraft to avoid collision. We apply our approach to collision avoidance scenarios of quadrotors and fixed-wing aircraft. In the second aspect of our work, we address the high level planning problems with timed temporal logic constraints. Firstly, we present an optimization based method for path planning of a mobile robot subject to timed temporal constraints, in a dynamic environment. Temporal logic (TL) can address very complex task specifications such as safety, coverage, motion sequencing etc. We use metric temporal logic (MTL) to encode the task specifications with timing constraints. We then translate the MTL formulae into mixed integer linear constraints and solve the associated optimization problem using a mixed integer linear program solver. We have applied our approach on several case studies in complex dynamical environments subjected to timed temporal specifications. Secondly, we also present a timed automaton based method for planning under the given timed temporal logic specifications. We use metric interval temporal logic (MITL), a member of the MTL family, to represent the task specification, and provide a constructive way to generate a timed automaton and methods to look for accepting runs on the automaton to find an optimal motion (or path) sequence for the robot to complete the task.Item An Optimal Control Model for Human Postural Regulation(2010) Li, Yao; Levine, William S; Electrical Engineering; Digital Repository at the University of Maryland; University of Maryland (College Park, Md.)Human upright stance is inherently unstable without a balance control scheme. Many biological behaviors are likely to be optimal with respect to some performance measure that involves energy. It is reasonable to believe that the human is (unconsciously) optimizing some performance measure as he regulates his balance posture. In experimental studies, a notable feature of postural control is a small constant sway. Specifically, there is greater sway than would occur with a linear feedback control without delay. A second notable feature of the human postural control is that the response to perturbations varies with their amplitude. Small disturbances produce motion only at the ankles with the hip and knee angles unchanging. Large perturbation evoke ankle and hip angular movement only. Still larger perturbation result in movement of all three joint angles. Inspired by these features, a biomechanical model resembling human balance control is proposed. The proposed model consists of three main components which are the body dynamics, a sensory estimator for delay and disturbance, and an optimal nonlinear control scheme providing minimum required corrective response. The human body is modeled as a multiple segment inverted pendulum in the sagittal plane and controlled by ankle and hip joint torques. A series of nonlinear optimal control problems are devised as mathematical models of human postural control during quiet standing. Several performance criteria that are high even orders in the body state or functions of these states (such as joint angle, Center of Pressure COP or Center of Mass COM) and quadratic in the joint control are utilized. This objective function provides a trade-off between the allowed deviations of the position from its nominal value and the neuromuscular energy required to correct for these deviations. Note that this performance measure reduces the actuator energy used by penalizing small postural errors very lightly. By using the Model Predictive Control (MPC) technique, the discrete-time approximation to each of these problems can be converted into a nonlinear programming problem and then solved by optimization methods. The solution gives a control scheme that agrees with the main features of the joint kinematics and its coordination process. The derived model is simulated for different scenarios to validate and test the performance of the proposed postural control architecture.