Ensemble Kalman Filtering for Inverse Optimal Control Andrea Arnold and Hien Tran, Member, SIAM

Total Page:16

File Type:pdf, Size:1020Kb

Ensemble Kalman Filtering for Inverse Optimal Control Andrea Arnold and Hien Tran, Member, SIAM Ensemble Kalman Filtering for Inverse Optimal Control Andrea Arnold and Hien Tran, Member, SIAM Abstract—Solving the inverse optimal control problem for In the Bayesian framework, unknown parameters are mod- discrete-time nonlinear systems requires the construction of a eled as random variables with probability density functions stabilizing feedback control law based on a control Lyapunov representing distributions of possible values. The EnKF is a function (CLF). However, there are few systematic approaches available for defining appropriate CLFs. We propose an ap- nonlinear Bayesian filter which uses ensemble statistics in proach that employs Bayesian filtering methodology to param- combination with the classical Kalman filter equations for eterize a quadratic CLF. In particular, we use the ensemble state and parameter estimation [9]–[11]. The EnKF has been Kalman filter (EnKF) to estimate parameters used in defining employed in many settings, including weather prediction the CLF within the control loop of the inverse optimal control [12], [13] and mathematical biology [11]. To the authors’ problem formulation. Using the EnKF in this setting provides a natural link between uncertainty quantification and optimal knowledge, this is the first proposed use of the EnKF in design and control, as well as a novel and intuitive way to find inverse optimal control problems. The novelty of using the the one control out of an ensemble that stabilizes the system the EnKF in this setting allows us to generate an ensemble of fastest. Results are demonstrated on both a linear and nonlinear control laws, from which we can then select the control law test problem. that drives the system to zero the fastest. While the nonlinear Index Terms—inverse optimal control, Bayesian statistics, problem has no guarantee of a unique control, we use the nonlinear filtering, ensemble Kalman filter (EnKF). control ensemble to find the best solution starting from a prior distribution of possible controls. The paper is organized as follows. We review the main I. INTRODUCTION ideas behind optimal control and inverse optimal control in HE aim of nonlinear optimal control [1], [2] is to deter- Section II and nonlinear Bayesian filtering and the EnKF T mine a control law for a given system that minimizes in Section III. In Section IV, we describe the application a cost functional relating the state and control variables. of the EnKF to parametrizing the CLF for inverse optimal The solution to this problem relies on solving the Hamilton- control problem. The results in Section V demonstrate the Jacobi-Bellman (HJB) equation, which has been solved for effectiveness of the EnKF CLF procedure on both a linear linear systems [3] but is very difficult to solve for general and nonlinear test example. nonlinear systems [4], [5]. An alternate approach is to find a stabilizing feedback control first, then establish that it optimizes a specified cost functional – this is known as the II. OPTIMAL AND INVERSE OPTIMAL CONTROL inverse optimal control problem. In this section we describe the optimal control problem and Solving the inverse optimal control problem for discrete- inverse optimal control problem for discrete-time nonlinear time nonlinear systems requires the construction of a stabiliz- systems using similar notations as in [8]. For details on feed- ing feedback control law based on a control Lyapunov func- back control methodology for nonlinear dynamic systems, tion (CLF). However, there are few systematic approaches see, e.g., [14]. available for defining appropriate CLFs. Available meth- Consider the discrete-time affine nonlinear system ods parameterize quadratic CLFs using a recursive speed- gradient algorithm [6], particle swarm optimization [7] or, xk+1 = f(xk) + g(xk)uk; x0 = x(0); (1) more recently, the extended Kalman filter (EKF) [8]. n This work develops a novel approach employing Bayesian where xk 2 R is the state of the system at time k, uk 2 Rm is the control input at time k, and f : Rn ! Rn and filtering methodology to parameterize a quadratic CLF. In n n×m particular, we use the ensemble Kalman filter (EnKF) to g : R ! R are smooth mappings with f(0) = 0 and estimate parameters used in defining the CLF within the g(xk) 6= 0 for all xk 6= 0. The nonlinear optimal control control loop of the inverse optimal control problem. Using problem is to determine a control law uk that minimizes the the EnKF in this setting provides a natural link between associated cost functional uncertainty quantification and optimal design and control, 1 X T as well as an intuitive way to find the one control out of an V (xk) = L(xn) + unEun ; (2) ensemble that drives the system to zero the fastest. n=k n n where V : ! + has V (0) = 0, L : ! + is Manuscript submitted December 19, 2017. This work was supported in R R R R part by National Science Foundation grant number NSF RTG/DMS-1246991 positive semidefinite, and E is a real, symmetric positive (Research Training Group in Mathematical Biology at NC State). definite m × m weighting matrix. The boundary condition Andrea Arnold is with the Department of Mathematical Sciences, V (0) = 0 is necessary so that V (xk) can be used as a CLF. Worcester Polytechnic Institute, Worcester, MA 01609, USA, e-mail: [email protected]. The cost functional (2) can be rewritten as Hien Tran is with the Department of Mathematics, North Carolina State T University, Raleigh, NC 27695, USA, e-mail: [email protected]. V (xk) = L(xk) + uk Euk + V (xk+1): (3) For an infinite horizon control problem, the time-invariant III. NONLINEAR BAYESIAN FILTERING AND THE ENKF ∗ function V (xk) satisfies the discrete-time Bellman equation We approach the solution to the inverse optimal control problem from the Bayesian statistical framework, using non- ∗ T ∗ V (xk) = min L(xk) + uk Euk + V (xk+1) : (4) linear Bayesian filtering methodology to parameterize the u k quadratic CLF. In the Bayesian framework, the quantities of Taking the gradient of (4) with respect to uk yields the interest (such as the system states or parameters) are treated optimal control as random variables with probability distributions, and their joint posterior density is assembled using Bayes’ theorem. ∗ ∗ 1 −1 T @V (xk+1) In particular, if x denotes the states of a system and y some uk = − E g (xk) (5) 2 @xk+1 partial, noisy system observations, then Bayes’ theorem gives which, when substituting into (3), yields the discrete-time π(x j y) / π(y j x)π(x); (11) Hamilton-Jacobi-Bellman (HJB) equation where the likelihood function π(y j x) indicates how likely it is that the data y are observed if the state values were V ∗(x ) = L(x ) + V ∗(x ) k k k+1 known and the prior distribution π(x) encodes any known ∗T 1 @V (xk+1) −1 T @V (xk+1) information on the states before taking the data into account. + g(xk)E g (xk) : (6) 4 @xk+1 @xk+1 Bayesian filtering methods rely on the use of discrete- time stochastic equations describing the model states and ob- Since solving the discrete-time HJB equation (6) is very servations to sequentially update the joint posterior density. difficult for general nonlinear systems, an alternative ap- Assuming a time discretization tk, k = 0; 1;:::;T , with the proach is to consider the inverse optimal control problem. observations yk occurring possibly in a subset of the discrete In inverse optimal control, the first step is to construct a time instances (where yk = ; if there is no observation stabilizing feedback control law, then to establish that the at tk), we can write an evolution-observation model for control law optimizes a given cost functional. By definition, the stochastic state and parameter estimation problem using the control law discrete-time Markov models. The state evolution equation ∗ ∗ 1 −1 T @V (xk+1) X = F (X ) + V ;V ∼ N (0; Q ); (12) uk = − E g (xk) (7) k+1 k k+1 k+1 k+1 2 @xk+1 where F is a known propagation model and Vk+1 is an is inverse optimal if it satisfies the following two criteria: innovation process, computes the forward time propagation 1) It achieves (global) exponential stability of the equi- of the state variables Xk given parameters θ, while the librium point xk = 0 for the system (1). observation equation 2) It minimizes the defined cost functional (2), for which Yk+1 = G(Xk+1) + Wk+1;Wk+1 ∼ N (0; Rk+1); (13) L(xk) = −V with where G is a known operator and Wk+1 is the observation ∗T ∗ V := V (xk+1) − V (xk) + uk Euk ≤ 0; (8) noise, predicts the observation at time tk+1 based on the current state and parameter values. where V (xk) is positive definite. Letting Dk = y1; y2; : : : ; yk denote the set of obser- A control law satisfying the above definition can be defined vations up to time tk, the stochastic evolution-observation using a quadratic control Lyapunov function (CLF) of the model allows us to sequentially update the posterior distri- form bution π(xk j Dk) using a two-step, predictor-corrector-type 1 V (x ) = xTPx ; (9) scheme: k 2 k k π(xk j Dk) ! π(xk+1 j Dk) ! π(xk+1 j Dk+1) (14) where the matrix P 2 Rn×n is symmetric positive definite (i.e., P = PT > 0). Once an appropriate CLF (9) has been The first step (the prediction step) employs the state evolution selected, the state feedback control law (7) becomes equation (12) to predict the values of the states at time tk+1 without knowledge of the data.
Recommended publications
  • Propt Product Sheet
    PROPT - The world’s fastest Optimal Control platform for MATLAB. PROPT - ONE OF A KIND, LIGHTNING FAST SOLUTIONS TO YOUR OPTIMAL CONTROL PROBLEMS! NOW WITH WELL OVER 100 TEST CASES! The PROPT software package is intended to When using PROPT, optimally coded analytical solve dynamic optimization problems. Such first and second order derivatives, including problems are usually described by: problem sparsity patterns are automatically generated, thereby making it the first MATLAB • A state-space model of package to be able to fully utilize a system. This can be NLP (and QP) solvers such as: either a set of ordinary KNITRO, CONOPT, SNOPT and differential equations CPLEX. (ODE) or differential PROPT currently uses Gauss or algebraic equations (PAE). Chebyshev-point collocation • Initial and/or final for solving optimal control conditions (sometimes problems. However, the code is also conditions at other written in a more general way, points). allowing for a DAE rather than an ODE formulation. Parameter • A cost functional, i.e. a estimation problems are also scalar value that depends possible to solve. on the state trajectories and the control function. PROPT has three main functions: • Sometimes, additional equations and variables • Computation of the that, for example, relate constant matrices used for the the initial and final differentiation and integration conditions to each other. of the polynomials used to approximate the solution to the trajectory optimization problem. The goal of PROPT is to make it possible to input such problem • Source transformation to turn descriptions as simply as user-supplied expressions into possible, without having to worry optimized MATLAB code for the about the mathematics of the cost function f and constraint actual solver.
    [Show full text]
  • Optimal Control Theory Version 0.2
    An Introduction to Mathematical Optimal Control Theory Version 0.2 By Lawrence C. Evans Department of Mathematics University of California, Berkeley Chapter 1: Introduction Chapter 2: Controllability, bang-bang principle Chapter 3: Linear time-optimal control Chapter 4: The Pontryagin Maximum Principle Chapter 5: Dynamic programming Chapter 6: Game theory Chapter 7: Introduction to stochastic control theory Appendix: Proofs of the Pontryagin Maximum Principle Exercises References 1 PREFACE These notes build upon a course I taught at the University of Maryland during the fall of 1983. My great thanks go to Martino Bardi, who took careful notes, saved them all these years and recently mailed them to me. Faye Yeager typed up his notes into a first draft of these lectures as they now appear. Scott Armstrong read over the notes and suggested many improvements: thanks, Scott. Stephen Moye of the American Math Society helped me a lot with AMSTeX versus LaTeX issues. My thanks also to Atilla Yilmaz for spotting lots of typos and errors, which I have corrected. I have radically modified much of the notation (to be consistent with my other writings), updated the references, added several new examples, and provided a proof of the Pontryagin Maximum Principle. As this is a course for undergraduates, I have dispensed in certain proofs with various measurability and continuity issues, and as compensation have added various critiques as to the lack of total rigor. This current version of the notes is not yet complete, but meets I think the usual high standards for material posted on the internet. Please email me at [email protected] with any corrections or comments.
    [Show full text]
  • Optimal Control Theory
    Optimal Control Theory Mrinal Kanti Ghosh Department of Mathematics Indian Institute of Science Bangalore 560 012 email : [email protected] 1 Introduction Optimal Control Theory deals with optimization problems involving a controlled dynamical system. A controlled dynamical system is a dynamical system in which the trajectory can be altered continuously in time by choosing a control parameter u(t) continuously in time. A (deterministic) controlled dynamical system is usually governed by an ordinary differential equation of the form 9 x_(t) = f(t; x(t); u(t)); t > 0 = (1:1) d ; x(0) = x0 2 R where u : Rd ! U is a function called the control, U a given set called the control set, and d d f : R+ × R × U ! IR : By choosing the value of u(t), the state trajectory x(t) can be controlled. The objective of controlling the state trajectory is to minimize a certain cost associated with (1.1). Consider the following important problem studied by Bushaw and Lasalle in the field of aerospace engineering. Let x(t) represent the deviation of a rocket trajectory from some desired flight path. Then, provided the deviation is small, it is governed to a good approxi- mation by 9 x_(t) = A(t)x(t) + B(t)u(t); t > 0 = x(0) = x0; x(T ) = 0; ; (1:2) u(t) 2 [−1; 1]; where A and B are appropriate matrix valued functions. The vector x0 is the initial deviation, u(t) is the rocket thrust at time t, and T is the final time.
    [Show full text]
  • PSO-Based Soft Lunar Landing with Hazard Avoidance: Analysis and Experimentation
    aerospace Article PSO-Based Soft Lunar Landing with Hazard Avoidance: Analysis and Experimentation Andrea D’Ambrosio 1,* , Andrea Carbone 1 , Dario Spiller 2 and Fabio Curti 1 1 School of Aerospace Engineering, Sapienza University of Rome, Via Salaria 851, 00138 Rome, Italy; [email protected] (A.C.); [email protected] (F.C.) 2 Italian Space Agency, Via del Politecnico snc, 00133 Rome, Italy; [email protected] * Correspondence: [email protected] Abstract: The problem of real-time optimal guidance is extremely important for successful au- tonomous missions. In this paper, the last phases of autonomous lunar landing trajectories are addressed. The proposed guidance is based on the Particle Swarm Optimization, and the differ- ential flatness approach, which is a subclass of the inverse dynamics technique. The trajectory is approximated by polynomials and the control policy is obtained in an analytical closed form solution, where boundary and dynamical constraints are a priori satisfied. Although this procedure leads to sub-optimal solutions, it results in beng fast and thus potentially suitable to be used for real-time purposes. Moreover, the presence of craters on the lunar terrain is considered; therefore, hazard detection and avoidance are also carried out. The proposed guidance is tested by Monte Carlo simulations to evaluate its performances and a robust procedure, made up of safe additional maneuvers, is introduced to counteract optimization failures and achieve soft landing. Finally, the whole procedure is tested through an experimental facility, consisting of a robotic manipulator, equipped with a camera, and a simulated lunar terrain. The results show the efficiency and reliability Citation: D’Ambrosio, A.; Carbone, of the proposed guidance and its possible use for real-time sub-optimal trajectory generation within A.; Spiller, D.; Curti, F.
    [Show full text]
  • ID 467 Optimal Control Applied to an Economic Model for Reducing Unemployment Problems in Bangladesh
    Proceedings of the International Conference on Industrial Engineering and Operations Management Bangkok, Thailand, March 5-7, 2019 Optimal Control Applied to an Economic Model for Reducing Unemployment Problems in Bangladesh Md. Haider Ali Biswas, Uzzwal Kumar Mallick, Mst. Shanta Khatun Mathematics Discipline, Khulna University Khulna-9208, Bangladesh [email protected],[email protected],[email protected] Kazi Masum Parves Joint Director, Bangladesh Bank, Khulna, Bangladesh [email protected] Abstract In this paper, a nonlinear mathematical model of unemployment is described and analyzed for reduction of unemployed persons using two controls ‘creation of new vacancies’ and ‘skilled manpower’. For maximization of the number of employed people at the end of implemented policy, we find the control profile of two controls using Pontryagin’s Maximum Principle. This study concludes two effective controls so that the number of unemployed persons at the end of implemented policies of the government is minimized while minimizing the systematic cost of policy making. Our numerical results as illustrated in the figures strongly agree with the analytical findings. Keywords: Unemployment, Socio-economic damage, Mathematical model, Optimal control, Numerical simulation. 1. Introduction Unemployment problems have become the most immense concerns all over the world. This issue is significantly an alarming concern in Bangladesh as well. Unemployment can be defined as a state of workless for a person, who is fit, capable and willing to work. It is well known that the main reason for socio-economic damage, deletion of morality and social values is unemployment. With the increasing tendency of unemployed population in a country significantly affects the other factors, such that the income per person, health costs, quality of healthcare and poverty and seriously hamper the growth of national economy.
    [Show full text]
  • Optimal Control the Optimal Control Problem Can Be Described By
    Optimal Control The optimal control problem can be described by introducing the system dynamics x_ = F (x; u) which is assumed to start in an initial state given by x(0) = x0 and has controllable parameters u u 2 U The objective function consists of a function of the final state [x(T )] and a cost function (or loss function) ` that is integrated over time. Z T J = [x(T )] + `(u; x)dt 0 1 The simplest optimization problem is depicted in Figure 1: min F~(x) x 40 4 20 2 0 0 -4 -2 -2 0 2 -4 4 Figure 1: A simple case for optimization: a function of two variables has a single minimum at the point x∗. 2 Constraints The simplest kind of constraint is an equality constraint, for example, g(x) = 0. Formally this addition is stated as min F~(x) subject to G(x) = 0 x This complication can be handled by the method of Lagrange. This method reduces the constrained problem to a new, unconstrained minimization prob- lem with additional variables. The additional variables are known as Lagrange multipliers. To handle this problem, add g(x) to f~(x) using a Lagrange mul- tiplier λ: F (x; λ) = F~(x) + λG(x) The Lagrange multiplier is an extra scalar variable, so the number of degrees of freedom of the problem has increased, but the advantage is that now sim- ple, unconstrained minimization techniques can be applied to the composite function. The problem becomes min F (x; λ) x,λ Most often the equality constraint is the dynamic equations of the system itself, x_ = F (x; u), and the problem is to find an optimal trajectory x(t).
    [Show full text]
  • Optimal and Autonomous Control Using Reinforcement Learning: a Survey
    2042 IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, VOL. 29, NO. 6, JUNE 2018 Optimal and Autonomous Control Using Reinforcement Learning: A Survey Bahare Kiumarsi , Member, IEEE , Kyriakos G. Vamvoudakis, Senior Member, IEEE , Hamidreza Modares , Member, IEEE , and Frank L. Lewis, Fellow, IEEE Abstract — This paper reviews the current state of the art on unsupervised, or reinforcement, depending on the amount and reinforcement learning (RL)-based feedback control solutions quality of feedback about the system or task. In supervised to optimal regulation and tracking of single and multiagent learning, the feedback information provided to learning algo- systems. Existing RL solutions to both optimal H2 and H∞ control problems, as well as graphical games, will be reviewed. rithms is a labeled training data set, and the objective is RL methods learn the solution to optimal control and game to build the system model representing the learned relation problems online and using measured data along the system between the input, output, and system parameters. In unsu- trajectories. We discuss Q-learning and the integral RL algorithm pervised learning, no feedback information is provided to the as core algorithms for discrete-time (DT) and continuous-time algorithm and the objective is to classify the sample sets to (CT) systems, respectively. Moreover, we discuss a new direction of off-policy RL for both CT and DT systems. Finally, we review different groups based on the similarity between the input sam- several applications. ples. Finally, reinforcement learning (RL) is a goal-oriented Index Terms — Autonomy, data-based optimization, learning tool wherein the agent or decision maker learns a reinforcement learning (RL).
    [Show full text]
  • Tomlab Product Sheet
    TOMLAB® - For fast and robust large- scale optimization in MATLAB® The TOMLAB Optimization Environment is a powerful optimization and modeling package for solving applied optimization problems in MATLAB. TOMLAB provides a wide range of features, tools and services for your solution process: • A uniform approach to solving optimization problem. • A modeling class, tomSym, for lightning fast source transformation. • Automatic gateway routines for format mapping to different solver types. • Over 100 different algorithms for linear, discrete, global and nonlinear optimization. • A large number of fully integrated Fortran and C solvers. • Full integration with the MAD toolbox for automatic differentiation. • 6 different methods for numerical differentiation. • Unique features, like costly global black-box optimization and semi-definite programming with bilinear inequalities. • Demo licenses with no solver limitations. • Call compatibility with MathWorks’ Optimization Toolbox. • Very extensive example problem sets, more than 700 models. • Advanced support by our team of developers in Sweden and the USA. • TOMLAB is available for all MATLAB R2007b+ users. • Continuous solver upgrades and customized implementations. • Embedded solvers and stand-alone applications. • Easy installation for all supported platforms, Windows (32/64-bit) and Linux/OS X 64-bit For more information, see http://tomopt.com or e-mail [email protected]. Modeling Environment: http://tomsym.com. Dedicated Optimal Control Page: http://tomdyn.com. Tomlab Optimization Inc. Tomlab
    [Show full text]
  • Learning, Expectations Formation, and the Pitfalls of Optimal Control Monetary Policy
    FEDERAL RESERVE BANK OF SAN FRANCISCO WORKING PAPER SERIES Learning, Expectations Formation, and the Pitfalls of Optimal Control Monetary Policy Athanasios Orphanides Central Bank of Cyprus John C. Williams Federal Reserve Bank of San Francisco April 2008 Working Paper 2008-05 http://www.frbsf.org/publications/economics/papers/2008/wp08-05bk.pdf The views in this paper are solely the responsibility of the authors and should not be interpreted as reflecting the views of the Federal Reserve Bank of San Francisco or the Board of Governors of the Federal Reserve System. Learning, Expectations Formation, and the Pitfalls of Optimal Control Monetary Policy Athanasios Orphanides Central Bank of Cyprus and John C. Williams¤ Federal Reserve Bank of San Francisco April 2008 Abstract This paper examines the robustness characteristics of optimal control policies derived un- der the assumption of rational expectations to alternative models of expectations. We assume that agents have imperfect knowledge about the precise structure of the economy and form expectations using a forecasting model that they continuously update based on incoming data. We ¯nd that the optimal control policy derived under the assumption of rational expectations can perform poorly when expectations deviate modestly from rational expectations. We then show that the optimal control policy can be made more robust by deemphasizing the stabilization of real economic activity and interest rates relative to infla- tion in the central bank loss function. That is, robustness to learning provides an incentive to employ a \conservative" central banker. We then examine two types of simple monetary policy rules from the literature that have been found to be robust to model misspeci¯cation in other contexts.
    [Show full text]
  • Decentralized Optimal Control of Connected and Automated Vehicles in a Corridor
    2018 21st International Conference on Intelligent Transportation Systems (ITSC) Maui, Hawaii, USA, November 4-7, 2018 Decentralized Optimal Control of Connected and Automated Vehicles in a Corridor Liuhui Zhao Member, IEEE, Andreas A. Malikopoulos, Senior Member, IEEE Abstract— In earlier work, we established a decentralized op- traffic operation center and received control actions from the timal control framework for coordinating online connected and center to improve network-wide traffic flow [11], [12]. automated vehicles (CAVs) in specific transportation segments, In earlier work, a decentralized optimal control framework e.g., urban intersections, merging roadways, roundabouts, and speed reduction zones. In this paper, we address coordination was established for coordinating online CAVs in different of CAVs in a corridor with multiple such scenarios and derive a transportation segments. A closed-form, analytical solution closed-form analytical solution that includes interior boundary without considering state and control constraints was pre- conditions. We evaluate the effectiveness of the solution through sented in [13], [14], and [15] for coordinating online CAVs simulation in VISSIM. The proposed approach reduces signif- at highway on-ramps, in [16] at two adjacent intersections, icantly both fuel consumption and travel time for the CAVs compared to the baseline scenario where traditional human- and in [17] at roundabouts. The solution of the unconstrained driven vehicles without control are considered. problem was also validated experimentally
    [Show full text]
  • Numerical Methods for Solving Optimal Control Problems
    University of Tennessee, Knoxville TRACE: Tennessee Research and Creative Exchange Masters Theses Graduate School 5-2015 Numerical Methods for Solving Optimal Control Problems Garrett Robert Rose University of Tennessee - Knoxville, [email protected] Follow this and additional works at: https://trace.tennessee.edu/utk_gradthes Part of the Numerical Analysis and Computation Commons Recommended Citation Rose, Garrett Robert, "Numerical Methods for Solving Optimal Control Problems. " Master's Thesis, University of Tennessee, 2015. https://trace.tennessee.edu/utk_gradthes/3401 This Thesis is brought to you for free and open access by the Graduate School at TRACE: Tennessee Research and Creative Exchange. It has been accepted for inclusion in Masters Theses by an authorized administrator of TRACE: Tennessee Research and Creative Exchange. For more information, please contact [email protected]. To the Graduate Council: I am submitting herewith a thesis written by Garrett Robert Rose entitled "Numerical Methods for Solving Optimal Control Problems." I have examined the final electronic copy of this thesis for form and content and recommend that it be accepted in partial fulfillment of the requirements for the degree of Master of Science, with a major in Mathematics. Charles Collins, Major Professor We have read this thesis and recommend its acceptance: Abner Jonatan Salgado-Gonzalez, Suzanne Lenhart Accepted for the Council: Carolyn R. Hodges Vice Provost and Dean of the Graduate School (Original signatures are on file with official studentecor r ds.) Numerical Methods for Solving Optimal Control Problems A Thesis Presented for the Master of Science Degree The University of Tennessee, Knoxville Garrett Robert Rose May 2015 1 Dedication To my parents and brother “If you’re into that sort of thing.” ii Acknowledgements I would like to take a second to thank those who help with either this thesis, or my academic career in general.
    [Show full text]
  • Linear-Quadratic Optimal Control in Maximal Coordinates
    Linear-Quadratic Optimal Control in Maximal Coordinates Jan Brudigam¨ 1 and Zachary Manchester2 (a) Acrobot basins of attraction (b) Acrobot Abstract— The linear-quadratic regulator (LQR) is an effi- 3.14 cient control method for linear and linearized systems. Typi- cally, LQR is implemented in minimal coordinates (also called generalized or “joint” coordinates). However, other coordinates θ1 are possible and recent research suggests that there may be 1.57 numerical and control-theoretic advantages when using higher- u dimensional non-minimal state parameterizations for dynamical 0 systems. One such parameterization is maximal coordinates, in θ which each link in a multi-body system is parameterized by 2 its full six degrees of freedom and joints between links are -1.57 modeled with algebraic constraints. Such constraints can also max. represent closed kinematic loops or contact with the environ- (min.) ment. This paper investigates the difference between minimal- both and maximal-coordinate LQR control laws. A case study of -3.14 applying LQR to a simple pendulum and simulations comparing 0 1.57 3.14 4.71 6.28 the basins of attraction and tracking performance of minimal- and maximal-coordinate LQR controllers suggest that maximal- Fig. 1: Basins of attraction for maximal- and minimal-coordinate coordinate LQR achieves greater robustness and improved LQR when stabilizing the upright equilibrium (black cross) of tracking performance compared to minimal-coordinate LQR an acrobot from different initial configurations. The maximal- when applied to nonlinear systems. coordinate basin is shown in blue, the minimal-coordinate basin in red, and the basin for both in green.
    [Show full text]