DOCSLIB.ORG

Abstract Dynamic Programming, 2Nd Edition, by Dimitri P

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Abstract Dynamic Programming, 2Nd Edition, by Dimitri P Abstract Dynamic Programming SECOND EDITION Dimitri P. Bertsekas Massachusetts Institute of Technology WWW site for book information and orders http://www.athenasc.com Athena Scientific, Belmont, Massachusetts Athena Scientific Post Office Box 805 Nashua, NH 03061-0805 U.S.A. Email: [email protected] WWW: http://www.athenasc.com Cover design and photography: Dimitri Bertsekas Cover Image from Simmons Hall, MIT (Steven Holl, architect) c 2018 Dimitri P. Bertsekas All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher. Publisher’s Cataloging-in-Publication Data Bertsekas, Dimitri P. Abstract Dynamic Programming: Second Edition Includes bibliographical references and index 1. Mathematical Optimization. 2. Dynamic Programming. I. Title. QA402.5 .B465 2018 519.703 01-75941 ISBN-10: 1-886529-46-9, ISBN-13: 978-1-886529-46-5 ABOUT THE AUTHOR Dimitri Bertsekas studied Mechanical and Electrical Engineering at the National Technical University of Athens, Greece, and obtained his Ph.D. in system science from the Massachusetts Institute of Technology. He has held faculty positions with the Engineering-Economic Systems Department, Stanford University, and the Electrical Engineering Department of the Uni- versity of Illinois, Urbana. Since 1979 he has been teaching at the Electrical Engineering and Computer Science Department of the Massachusetts In- stitute of Technology (M.I.T.), where he is currently the McAfee Professor of Engineering. His teaching and research spans several fields, including determinis- tic optimization, dynamic programming and stochastic control, large-scale and distributed computation, and data communication networks. He has authored or coauthored numerous research papers and sixteen books, sev- eral of which are currently used as textbooks in MIT classes, including “Dynamic Programming and Optimal Control,” “Data Networks,” “Intro- duction to Probability,” “Convex Optimization Theory,” “Convex Opti- mization Algorithms,” and “Nonlinear Programming.” Professor Bertsekas was awarded the INFORMS 1997 Prize for Re- search Excellence in the Interface Between Operations Research and Com- puter Science for his book “Neuro-Dynamic Programming” (co-authored with John Tsitsiklis), the 2001 AACC John R. Ragazzini Education Award, the 2009 INFORMS Expository Writing Award, the 2014 AACC Richard Bellman Heritage Award, the 2014 Khachiyan Prize for Life-Time Accom- plishments in Optimization, and the MOS/SIAM 2015 George B. Dantzig Prize. In 2001, he was elected to the United States National Academy of Engineering for “pioneering contributions to fundamental research, practice and education of optimization/control theory, and especially its application to data communication networks.” iii ATHENA SCIENTIFIC OPTIMIZATION AND COMPUTATION SERIES 1. Abstract Dynamic Programming, 2nd Edition, by Dimitri P. Bertsekas, 2018, ISBN 978-1-886529-46-5, 360 pages 2. Dynamic Programming and Optimal Control, Two-Volume Set, by Dimitri P. Bertsekas, 2017, ISBN 1-886529-08-6, 1270 pages 3. Nonlinear Programming, 3rd Edition, by Dimitri P. Bertsekas, 2016, ISBN 1-886529-05-1, 880 pages 4. Convex Optimization Algorithms, by Dimitri P. Bertsekas, 2015, ISBN 978-1-886529-28-1, 576 pages 5. Convex Optimization Theory, by Dimitri P. Bertsekas, 2009, ISBN 978-1-886529-31-1, 256 pages 6. Introduction to Probability, 2nd Edition, by Dimitri P. Bertsekas and John N. Tsitsiklis, 2008, ISBN 978-1-886529-23-6, 544 pages 7. Convex Analysis and Optimization, by Dimitri P. Bertsekas, An- gelia Nedi´c, and Asuman E. Ozdaglar, 2003, ISBN 1-886529-45-0, 560 pages 8. Network Optimization: Continuous and Discrete Models, by Dim- itri P. Bertsekas, 1998, ISBN 1-886529-02-7, 608 pages 9. Network Flows and Monotropic Optimization, by R. Tyrrell Rock- afellar, 1998, ISBN 1-886529-06-X, 634 pages 10. Introduction to Linear Optimization, by Dimitris Bertsimas and John N. Tsitsiklis, 1997, ISBN 1-886529-19-1, 608 pages 11. Parallel and Distributed Computation: Numerical Methods, by Dimitri P. Bertsekas and John N. Tsitsiklis, 1997, ISBN 1-886529- 01-9, 718 pages 12. Neuro-Dynamic Programming, by Dimitri P. Bertsekas and John N. Tsitsiklis, 1996, ISBN 1-886529-10-8, 512 pages 13. Constrained Optimization and Lagrange Multiplier Methods, by Dimitri P. Bertsekas, 1996, ISBN 1-886529-04-3, 410 pages 14. Stochastic Optimal Control: The Discrete-Time Case, by Dimitri P. Bertsekas and Steven E. Shreve, 1996, ISBN 1-886529-03-5, 330 pages iv Contents 1.Introduction . p.1 1.1. StructureofDynamicProgrammingProblems . p.2 1.2. AbstractDynamicProgrammingModels . p.5 1.2.1. Problem Formulation . p. 5 1.2.2. Monotonicity and Contraction Properties . p. 7 1.2.3.SomeExamples . .p.10 1.2.4. Approximation Models - Projected and Aggregation . BellmanEquations . .p.24 1.2.5. Multistep Models - Temporal Difference and . ProximalAlgorithms . p.26 1.3.OrganizationoftheBook . p.29 1.4.Notes,Sources,andExercises. p.31 2.ContractiveModels . .p.39 2.1. Bellman’s Equation and Optimality Conditions . p. 40 2.2. Limited Lookahead Policies . p. 47 2.3.ValueIteration . .p.52 2.3.1. Approximate Value Iteration . p. 53 2.4.PolicyIteration. .p.56 2.4.1. Approximate Policy Iteration . p. 59 2.4.2. Approximate Policy Iteration Where Policies . Converge . .p.61 2.5. Optimistic Policy Iteration and λ-Policy Iteration . p. 63 2.5.1. Convergence of Optimistic Policy Iteration . p. 65 2.5.2. Approximate Optimistic Policy Iteration . p. 70 2.5.3. Randomized Optimistic Policy Iteration . p. 73 2.6.AsynchronousAlgorithms . p.77 2.6.1. AsynchronousValueIteration . p.77 2.6.2. Asynchronous Policy Iteration . p. 84 2.6.3. Optimistic Asynchronous Policy Iteration with a . UniformFixedPoint . p.89 2.7.Notes,Sources,andExercises. p.96 v vi Contents 3. Semicontractive Models . p. 107 3.1. Pathologies of Noncontractive DP Models . p. 109 3.1.1. Deterministic Shortest Path Problems . p. 113 3.1.2. Stochastic Shortest Path Problems . p. 115 3.1.3. The Blackmailer’s Dilemma . p. 117 3.1.4. Linear-Quadratic Problems . p. 120 3.1.5. An Intuitive View of Semicontractive Analysis . p. 125 3.2. Semicontractive Models and Regular Policies . p. 127 3.2.1. S-Regular Policies . p. 130 3.2.2. Restricted Optimization over S-Regular Policies . p. 132 3.2.3. Policy Iteration Analysis of Bellman’s Equation . p. 138 3.2.4. Optimistic Policy Iteration and λ-Policy Iteration . p. 146 3.2.5. A Mathematical Programming Approach . p. 150 3.3. Irregular Policies/Infinite Cost Case . p. 151 3.4. Irregular Policies/Finite Cost Case - A Perturbation . Approach ...................... p.157 3.5. Applications in Shortest Path and Other Contexts . p. 163 3.5.1. Stochastic Shortest Path Problems . p. 164 3.5.2. AffineMonotonicProblems . p.172 3.5.3. Robust Shortest Path Planning . p. 181 3.5.4. Linear-Quadratic Optimal Control . p. 191 3.5.5. Continuous-State Deterministic Optimal Control . p. 193 3.6.Algorithms. p.197 3.6.1. Asynchronous Value Iteration . p. 197 3.6.2. Asynchronous Policy Iteration . p. 198 3.7.Notes,Sources,andExercises. p.205 4. Noncontractive Models . p. 217 4.1. Noncontractive Models - Problem Formulation . p. 219 4.2. Finite Horizon Problems . p. 221 4.3. Infinite Horizon Problems . p. 227 4.3.1. Fixed Point Properties and Optimality Conditions . p. 230 4.3.2. Value Iteration . p. 242 4.3.3. Exact and Optimistic Policy Iteration - . λ-Policy Iteration . p. 246 4.4. Regularity and Nonstationary Policies . p. 251 4.4.1. Regularity and Monotone Increasing Models . p. 257 4.4.2. Nonnegative Cost Stochastic Optimal Control . p. 259 4.4.3. Discounted Stochastic Optimal Control . p. 262 4.4.4.ConvergentModels . p.264 4.5. Stable Policies for Deterministic Optimal Control . p. 268 4.5.1. Forcing Functions and p-Stable Policies . p. 272 4.5.2. Restricted Optimization over Stable Policies . p. 275 4.5.3. Policy Iteration Methods . p. 287 Contents vii 4.6. Infinite-Spaces Stochastic Shortest Path Problems . p. 293 4.6.1. The Multiplicity of Solutions of Bellman’s Equation . p. 301 4.6.2. TheCaseofBoundedCostperStage . p.303 4.7.Notes,Sources,andExercises. p.306 Appendix A: Notation and Mathematical Conventions . p. 323 A.1.SetNotationandConventions . p.323 A.2.Functions . p.325 AppendixB:ContractionMappings . p.327 B.1. Contraction Mapping Fixed Point Theorems . p. 327 B.2. WeightedSup-NormContractions . p. 331 References . p.337 Index ....................... p.345 Preface of the First Edition This book aims at a unified and economical development of the core the- ory and algorithms of total cost sequential decision problems, based on the strong connections of the subject with fixed point theory. The analy- sis focuses on the abstract mapping that underlies dynamic programming (DP for short) and defines the mathematical character of the associated problem. Our discussion centers on two fundamental properties that this mapping may have: monotonicity and (weighted sup-norm) contraction. It turns out that the nature of the analytical and algorithmic DP theory is determined primarily by the presence or absence of these two properties, and the rest of the problem’s structure is largely inconsequential. In this book, with some minor exceptions, we will assume that mono- tonicity holds. Consequently, we organize our treatment around the con- traction property, and we focus on four main classes of models: (a) Contractive models, discussed in Chapter 2, which have the richest and strongest theory, and are the benchmark against which the the- ory of other models is compared. Prominent among these models are discounted stochastic optimal control problems. The development of these models is quite thorough and includes the analysis of recent ap- proximation algorithms for large-scale problems (neuro-dynamic pro- gramming, reinforcement learning). (b) Semicontractive models, discussed in Chapter 3 and parts of Chap- ter 4. The term “semicontractive” is used qualitatively here, to refer to a variety of models where some policies have a regularity/contrac- tion-like property but others do not.
Load more

Recommended publications
  • Reinforcement Learning and Optimal Control
    Reinforcement Learning and Optimal Control by Dimitri P. Bertsekas Massachusetts Institute of Technology WWW site for book information and orders http://www.athenasc.com Athena Scientific, Belmont, Massachusetts Athena Scientific Post Office Box 805 Nashua, NH 03060 U.S.A. Email: [email protected] WWW: http://www.athenasc.com Cover photography: Dimitri Bertsekas c 2019 Dimitri P. Bertsekas All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher. Publisher’s Cataloging-in-Publication Data Bertsekas, Dimitri P. Reinforcement Learning and Optimal Control Includes Bibliography and Index 1. Mathematical Optimization. 2. Dynamic Programming. I. Title. QA402.5.B4652019 519.703 00-91281 ISBN-10: 1-886529-39-6, ISBN-13: 978-1-886529-39-7 ABOUT THE AUTHOR Dimitri Bertsekas studied Mechanical and Electrical Engineering at the National Technical University of Athens, Greece, and obtained his Ph.D. in system science from the Massachusetts Institute of Technology. He has held faculty positions with the Engineering-Economic Systems Department, Stanford University, and the Electrical Engineering Department of the Uni- versity of Illinois, Urbana. Since 1979 he has been teaching at the Electrical Engineering and Computer Science Department of the Massachusetts In- stitute of Technology (M.I.T.), where he is currently McAfee Professor of Engineering. Starting in August 2019, he will also be Fulton Professor of Computational Decision Making at the Arizona State University, Tempe, AZ. Professor Bertsekas’ teaching and research have spanned several fields, including deterministic optimization, dynamic programming and stochas- tic control, large-scale and distributed computation, and data communi- cation networks.
    [Show full text]
  • Sampling and Inference in Complex Networks Jithin Kazhuthuveettil Sreedharan
    Sampling and inference in complex networks Jithin Kazhuthuveettil Sreedharan To cite this version: Jithin Kazhuthuveettil Sreedharan. Sampling and inference in complex networks. Other [cs.OH]. Université Côte d’Azur, 2016. English. NNT : 2016AZUR4121. tel-01485852 HAL Id: tel-01485852 https://tel.archives-ouvertes.fr/tel-01485852 Submitted on 9 Mar 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. École doctorale STIC Sciences et Technologies de l’Information et de la Communication Unité de recherche: INRIA (équipe Maestro) Thèse de doctorat Présentée en vue de l’obtention du grade de Docteur en Sciences de l’UNIVERSITE COTE D’AZUR Mention : Informatique par Jithin Kazhuthuveettil Sreedharan Sampling and Inference in Complex Networks (Échantillonnage et Inférence dans Réseaux Complexes) Dirigé par Konstantin Avrachenkov Soutenue le 2 décembre 2016 Devant le jury composé de: Konstantin Avrachenkov - Inria, France Directeur Nelly Litvak - University of Twente, The Netherlands Rapporteur Don Towsley - University of Massachusetts, USA Rapporteur Philippe Jacquet - Nokia Bell Labs, France Examinateur Alain Jean-Marie - Inria, France Président Abstract The recent emergence of large evolving networks, mainly due to the rise of Online Social Networks (OSNs), brought out the difficulty to gather a complete picture of a network and it opened up the development of new distributed techniques.
    [Show full text]
  • Madeleine Udell's Thesis
    GENERALIZED LOW RANK MODELS A DISSERTATION SUBMITTED TO THE INSTITUTE FOR COMPUTATIONAL AND MATHEMATICAL ENGINEERING AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY Madeleine Udell May 2015 c Copyright by Madeleine Udell 2015 All Rights Reserved ii I certify that I have read this dissertation and that, in my opinion, it is fully adequate in scope and quality as a dissertation for the degree of Doctor of Philosophy. (Professor Stephen Boyd) Principal Adviser I certify that I have read this dissertation and that, in my opinion, it is fully adequate in scope and quality as a dissertation for the degree of Doctor of Philosophy. (Professor Ben Van Roy) I certify that I have read this dissertation and that, in my opinion, it is fully adequate in scope and quality as a dissertation for the degree of Doctor of Philosophy. (Professor Lester Mackey) Approved for the Stanford University Committee on Graduate Studies iii Abstract Principal components analysis (PCA) is a well-known technique for approximating a tabular data set by a low rank matrix. This dissertation extends the idea of PCA to handle arbitrary data sets consisting of numerical, Boolean, categorical, ordinal, and other data types. This framework encompasses many well known techniques in data analysis, such as nonnegative matrix factorization, matrix completion, sparse and robust PCA, k-means, k-SVD, and maximum margin matrix factorization. The method handles heterogeneous data sets, and leads to coherent schemes for compress- ing, denoising, and imputing missing entries across all data types simultaneously.
    [Show full text]
  • Nash Q-Learning for General-Sum Stochastic Games
    Journal of Machine Learning Research 4 (2003) 1039-1069 Submitted 11/01; Revised 10/02; Published 11/03 Nash Q-Learning for General-Sum Stochastic Games Junling Hu [email protected] Talkai Research 843 Roble Ave., 2 Menlo Park, CA 94025, USA Michael P. Wellman [email protected] Artificial Intelligence Laboratory University of Michigan Ann Arbor, MI 48109-2110, USA Editor: Craig Boutilier Abstract We extend Q-learning to a noncooperative multiagent context, using the framework of general- sum stochastic games. A learning agent maintains Q-functions over joint actions, and performs updates based on assuming Nash equilibrium behavior over the current Q-values. This learning protocol provably converges given certain restrictions on the stage games (defined by Q-values) that arise during learning. Experiments with a pair of two-player grid games suggest that such restric- tions on the game structure are not necessarily required. Stage games encountered during learning in both grid environments violate the conditions. However, learning consistently converges in the first grid game, which has a unique equilibrium Q-function, but sometimes fails to converge in the second, which has three different equilibrium Q-functions. In a comparison of offline learn- ing performance in both games, we find agents are more likely to reach a joint optimal path with Nash Q-learning than with a single-agent Q-learning method. When at least one agent adopts Nash Q-learning, the performance of both agents is better than using single-agent Q-learning. We have also implemented an online version of Nash Q-learning that balances exploration with exploitation, yielding improved performance.
    [Show full text]
  • LIDS – a BRIEF HISTORY Alan S
    LIDS – A BRIEF HISTORY Alan S. Willsky The Laboratory for Information and Decision Systems (LIDS) is MIT’s oldest laboratory and has evolved in scope and changed its name several times during its long and rich history. For a more detailed account of its early years, see From Servo Loops to Fiber Nets, a document produced in 1990 by then-co-directors Sanjoy K. Mitter and Robert G. Gallager as part LIDS’ 50th anniversary celebration. The 1940s into the 1950s The Servomechanism Laboratory was established in 1940 by Professor Gordon Brown, one year before the United States entered World War II. At that time, the concepts of feedback control and servomechanisms were being codified and recognized as important disciplines, and the need for advances – initially driven by military challenges and later by industrial automation – were substantial. Indeed, the first electrical engineering department courses in servomechanisms were created only in 1939 and were codified in the classic 1948 textbook Principles of Servomechanisms by Gordon Brown and Donald Campbell. Wartime applications such as servo controls for the pointing of guns pushed the application and the foundational methodology and theory of servomechanisms and control. On the theoretical/methodological side, this push led to the 1957 text Analytical Design of Linear Feedback Controls, by George Newton, Leonard Gould, and James Kaiser, which combined Norbert Wiener’s theory of estimation of time series and the principles of servomechanisms to create new approaches to control design and the understanding of fundamental limits of performance. On the applications side, military and industrial post-war challenges led to major programs and contributions by researchers in the Lab.
    [Show full text]
  • Mathematics People
    NEWS Mathematics People or up to ten years post-PhD, are eligible. Awardees receive Braverman Receives US$1 million distributed over five years. NSF Waterman Award —From an NSF announcement Mark Braverman of Princeton University has been selected as a Prizes of the Association cowinner of the 2019 Alan T. Wa- terman Award of the National Sci- for Women in Mathematics ence Foundation (NSF) for his work in complexity theory, algorithms, The Association for Women in Mathematics (AWM) has and the limits of what is possible awarded a number of prizes in 2019. computationally. According to the Catherine Sulem of the Univer- prize citation, his work “focuses on sity of Toronto has been named the Mark Braverman complexity, including looking at Sonia Kovalevsky Lecturer for 2019 by algorithms for optimization, which, the Association for Women in Math- when applied, might mean planning a route—how to get ematics (AWM) and the Society for from point A to point B in the most efficient way possible. Industrial and Applied Mathematics “Algorithms are everywhere. Most people know that (SIAM). The citation states: “Sulem every time someone uses a computer, algorithms are at is a prominent applied mathemati- work. But they also occur in nature. Braverman examines cian working in the area of nonlin- randomness in the motion of objects, down to the erratic Catherine Sulem ear analysis and partial differential movement of particles in a fluid. equations. She has specialized on “His work is also tied to algorithms required for learning, the topic of singularity development in solutions of the which serve as building blocks to artificial intelligence, and nonlinear Schrödinger equation (NLS), on the problem of has even had implications for the foundations of quantum free surface water waves, and on Hamiltonian partial differ- computing.
    [Show full text]
  • Value and Policy Iteration in Optimal Control and Adaptive Dynamic Programming
    May 2015 Report LIDS-P-3174 Value and Policy Iteration in Optimal Control and Adaptive Dynamic Programming Dimitri P. Bertsekasy Abstract In this paper, we consider discrete-time infinite horizon problems of optimal control to a terminal set of states. These are the problems that are often taken as the starting point for adaptive dynamic programming. Under very general assumptions, we establish the uniqueness of solution of Bellman's equation, and we provide convergence results for value and policy iteration. 1. INTRODUCTION In this paper we consider a deterministic discrete-time optimal control problem involving the system xk+1 = f(xk; uk); k = 0; 1;:::; (1.1) where xk and uk are the state and control at stage k, lying in sets X and U, respectively. The control uk must be chosen from a constraint set U(xk) ⊂ U that may depend on the current state xk. The cost for the kth stage is g(xk; uk), and is assumed nonnnegative and real-valued: 0 ≤ g(xk; uk) < 1; xk 2 X; uk 2 U(xk): (1.2) We are interested in feedback policies of the form π = fµ0; µ1;:::g, where each µk is a function mapping every x 2 X into the control µk(x) 2 U(x). The set of all policies is denoted by Π. Policies of the form π = fµ, µ, : : :g are called stationary, and for convenience, when confusion cannot arise, will be denoted by µ. No restrictions are placed on X and U: for example, they may be finite sets as in classical shortest path problems involving a graph, or they may be continuous spaces as in classical problems of control to the origin or some other terminal set.
    [Show full text]
  • INFORMS OS Today 5(1)
    INFORMS OS Today The Newsletter of the INFORMS Optimization Society Volume 5 Number 1 May 2015 Contents Chair’s Column Chair’s Column .................................1 Nominations for OS Prizes .....................25 Suvrajeet Sen Nominations for OS Officers ...................26 University of Southern California [email protected] Featured Articles A Journey through Optimization Dear Fellow IOS Members: Dimitri P. Bertsekas .............................3 It is my pleasure to assume the role of Chair of Optimizing in the Third World the IOS, one of the largest, and most scholarly Cl´ovis C. Gonzaga . .5 groups within INFORMS. This year marks the From Lov´asz ✓ Function and Karmarkar’s Algo- Twentieth Anniversary of the formation of the rithm to Semidefinite Programming INFORMS Optimization Section, which started Farid Alizadeh ..................................9 with 50 signatures petitioning the Board to form a section. As it stands today, the INFORMS Local Versus Global Conditions in Polynomial Optimization Society has matured to become one of Optimization the larger Societies within INFORMS. With seven Jiawang Nie ....................................15 active special interest groups, four highly coveted Convergence Rate Analysis of Several Splitting awards, and of course, its strong presence in every Schemes INFORMS Annual Meeting, this Society is on a Damek Davis ...................................20 roll. In large part, this vibrant community owes a lot to many of the past officer bearers, without whose hard work, this Society would not be as strong as it is today. For the current health of our Society, I wish to thank my predecessors, and in particular, my immediate predecessor Sanjay Mehrotra under whose leadership, we gathered the momentum for our conferences, a possible new journal, and several other initiatives.
    [Show full text]
  • Convex Optimization for Trajectory Generation Arxiv:2106.09125V1 [Math.OC] 16 Jun 2021
    Preprint Convex Optimization for Trajectory Generation A Tutorial On Generating Dynamically Feasible Trajectories Reliably And Efficiently Danylo Malyuta a,? , Taylor P. Reynolds a, Michael Szmuk a, Thomas Lew b, Riccardo Bonalli b, Marco Pavone b, and Behc¸et Ac¸ıkmes¸e a a William E. Boeing Department of Aeronautics and Astronautics, University of Washington, Seattle, WA 98195, USA b Department of Aeronautics and Astronautics, Stanford University, Stanford, CA 94305, USA Reliable and efficient trajectory generation methods are a fundamental need for autonomous dynamical systems of tomorrow. The goal of this article is to provide a comprehensive tutorial of three major con- vex optimization-based trajectory generation methods: lossless convexification (LCvx), and two sequential convex programming algorithms known as SCvx and GuSTO. In this article, trajectory generation is the computation of a dynamically feasible state and control signal that satisfies a set of constraints while opti- mizing key mission objectives. The trajectory generation problem is almost always nonconvex, which typ- ically means that it is not readily amenable to efficient and reliable solution onboard an autonomous ve- hicle. The three algorithms that we discuss use problem reformulation and a systematic algorithmic strat- egy to nonetheless solve nonconvex trajectory generation tasks through the use of a convex optimizer. The theoretical guarantees and computational speed offered by convex optimization have made the algo- rithms popular in both research and industry circles. To date, the list of applications include rocket land- ing, spacecraft hypersonic reentry, spacecraft rendezvous and docking, aerial motion planning for fixed- wing and quadrotor vehicles, robot motion planning, and more. Among these applications are high-profile rocket flights conducted by organizations like NASA, Masten Space Systems, SpaceX, and Blue Origin.
    [Show full text]
  • Towards Totally Asynchronous Primal-Dual Convex Optimization in Blocks
    1 Towards Totally Asynchronous Primal-Dual Convex Optimization in Blocks Katherine R. Hendrickson and Matthew T. Hale∗ Abstract We present a parallelized primal-dual algorithm for solving constrained convex optimization problems. The algorithm is “block-based,” in that vectors of primal and dual variables are partitioned into blocks, each of which is updated only by a single processor. We consider four possible forms of asynchrony: in updates to primal variables, updates to dual variables, communications of primal variables, and communications of dual variables. We explicitly construct a family of counterexamples to rule out permitting asynchronous communication of dual variables, though the other forms of asynchrony are permitted, all without requiring bounds on delays. A first-order update law is developed and shown to be robust to asynchrony. We then derive convergence rates to a Lagrangian saddle point in terms of the operations agents execute, without specifying any timing or pattern with which they must be executed. These convergence rates contain a synchronous algorithm as a special case and are used to quantify an “asynchrony penalty.” Numerical results illustrate these developments. I. INTRODUCTION A wide variety of machine learning problems can be formalized as convex programs [3], [6], [20], [21]. Large- scale machine learning then requires solutions to large-scale convex programs, which can be accelerated through parallelized solvers running on networks of processors. In large networks, it is difficult (or outright impossible) to synchronize their behaviors. The behaviors of interest are computations, which generate new information, and communications, which share this new information with other processors. Accordingly, we are interested in asynchrony-tolerant large-scale optimization.
    [Show full text]
  • Contents of This Book Are Also Published in the CD-ROM Proceedings of the Conference
    CONTROL SYSTEMS Proceedings of the 4th WSEAS/IASME International Conference on DYNAMICAL SYSTEMS and CONTROL (CONTROL'08) Corfu, Greece, October 26-28, 2008 Mathematics and Computers in Science and Engineering A Series of Reference Books and Textbooks Published by WSEAS Press ISSN: 1790-2769 www.wseas.org ISBN: 978-960-474-014-7 CONTROL SYSTEMS Proceedings of the 4th WSEAS/IASME International Conference on DYNAMICAL SYSTEMS and CONTROL (CONTROL'08) Corfu, Greece, October 26-28, 2008 Mathematics and Computers in Science and Engineering A Series of Reference Books and Textbooks Published by WSEAS Press www.wseas.org Copyright © 2008, by WSEAS Press All the copyright of the present book belongs to the World Scientific and Engineering Academy and Society Press. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior written permission of the Editor of World Scientific and Engineering Academy and Society Press. All papers of the present volume were peer reviewed by two independent reviewers. Acceptance was granted when both reviewers' recommendations were positive. See also: http://www.worldses.org/review/index.html ISSN: 1790-2769 ISBN: 978-960-474-014-7 World Scientific and Engineering Academy and Society CONTROL SYSTEMS Proceedings of the 4th WSEAS/IASME International Conference on DYNAMICAL SYSTEMS and CONTROL (CONTROL'08) Corfu, Greece, October 26-28, 2008 Editors: Prof. Nikos E. Mastorakis, MIUE (ASEI), Hellenic Naval Academy, Greece Prof. Marios Poulos, Ionio University, Corfu, Greece Prof. Valeri Mladenov, Technical University of Sofia, Bulgaria Prof.
    [Show full text]
  • Contents of This Book, Together with the Contents of 3 Other Books, Are Also Published in the CD-ROM Proceedings of the Conference
    ADVANCES in COMMUNICATIONS Proceedings of the 11th WSEAS International Conference on COMMUNICATIONS (part of the 2007 CSCC Multiconference) Agios Nikolaos, Crete Island, Greece, July 26-28, 2007 ADVANCES in COMMUNICATIONS Proceedings of the 11th WSEAS International Conference on COMMUNICATIONS Agios Nikolaos, Crete Island, Greece, July 26-28, 2007 Published by World Scientific and Engineering Academy and Society Press http://www.wseas.org Copyright © 2007, by WSEAS Press All the copyright of the present book belongs to the World Scientific and Engineering Academy and Society Press. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior written permission of the Editor of World Scientific and Engineering Academy and Society Press. All papers of the present volume were peer reviewed by two independent reviewers. Acceptance was granted when both reviewers' recommendations were positive. See also: http://www.worldses.org/review/index.html ISSN: 1790-5117 ISBN: 978-960-8457-91-1 World Scientific and Engineering Academy and Society EDITORS: Professor N. E. Mastorakis, Hellenic Naval Academy, GREECE Professor S. Kartalopoulos, The University of Oklahoma, USA Professor D. Simian, ”Lucian Blaga” University of Sibiu, ROMANIA Professor A. Varonides, University of Scranton, USA Professor V. Mladenov, Technical University of Sofia, BULGARIA Professor Z. Bojkovic, University of Belgrade, SERBIA Professor E. Antonidakis, TEI of Crete, GREECE SCIENTIFIC COMMITTEE: Irwin W. Sandberg, USA Alfonso Farina, ITALY Asad A. Abidi, USA Alfred O. Hero, USA Andreas Antoniou, USA Ali H. Sayed, USA Antonio Cantoni, AUSTRALIA Anders Lindquist, SWEDEN Lotfi Zadeh, USA Arthur B.
    [Show full text]