Composable optimization for robotics simulation and control

Placeholder Show Content

Abstract/Contents

Abstract
Optimization is a fundamental part of robotics and can be seen in various aspects of the field, such as control and simulation. Both of these areas involve finding the best solutions to various optimization problems to achieve desired outcomes. Efficiency is key when it comes to solving these optimization problems. By finding solutions quickly and reliably, we can execute optimization-based controllers in real-time on hardware. The ability to quickly generate large amounts of simulation data is also valuable for offline optimization tasks such as policy optimization, co-design optimization, and system identification. Oftentimes, the optimization problems arising in robotics control and simulation have structure. Some problems directly fit into well-studied categories, for instance, the Linear Quadratic Regulator (LQR), other control problems can be cast as Linear Programs (LP), or Quadratic Programs (QP). For each of these categories there exist efficient and reliable solvers. Fitting your problem into one of these categories is often a safe strategy. However, there exist control and simulation tasks that involve complex optimization problems that do not fit these categories and for which there are currently no satisfactory solvers. In this dissertation, we focus on such problems. We are particularly interested in coupled optimization problems where the solution of one optimization problem is a parameter of another one. These coupled optimization problems can naturally arise in robotic simulation. For instance, the simulation of contact physics requires solving the least action principle and the maximum dissipation principle. We can solve these two optimization problems jointly. Coupled optimization problems also frequently arise in autonomous driving scenarios where agents are interacting. Indeed, each vehicle or pedestrian in the scene is optimizing its path to rally its destination as fast as possible while avoiding collisions. Conversely, we can deliberately choose to decompose a single complex optimization problem into a set of coupled optimization problems. Problem decomposition is a strategy that can yield significant benefits in terms of the speed and reliability of the solver. In this context, optimization problems exchange gradient information by leveraging differentiable optimization. The strategy behind these choices is what we call Composable Optimization. In this dissertation, we focus on a few applications in robotics control and simulation namely game-theoretic control, control through contact, physics simulation, and collision detection. For these problems, we leverage composable optimization to exploit problem structure and devise efficient solvers. In some cases, we may combine multiple problems into a single optimization problem, while in other cases we may decompose the problems into simpler chunks. This approach allows us to tackle more complex optimization problems in a structured and efficient manner.

Description

Type of resource text
Form electronic resource; remote; computer; online resource
Extent 1 online resource.
Place California
Place [Stanford, California]
Publisher [Stanford University]
Copyright date 2023; ©2023
Publication date 2023; 2023
Issuance monographic
Language English

Creators/Contributors

Author Le Cleach, Simon Pierre Marie
Degree supervisor Manchester, Zachary
Degree supervisor Schwager, Mac
Thesis advisor Manchester, Zachary
Thesis advisor Schwager, Mac
Thesis advisor Kennedy, Monroe
Degree committee member Kennedy, Monroe
Associated with Stanford University, School of Engineering
Associated with Stanford University, Department of Mechanical Engineering

Subjects

Genre Theses
Genre Text

Bibliographic information

Statement of responsibility Simon Le Cleac'h.
Note Submitted to the Department of Mechanical Engineering.
Thesis Thesis Ph.D. Stanford University 2023.
Location https://purl.stanford.edu/hr221wf1079

Access conditions

Copyright
© 2023 by Simon Pierre Marie Le Cleach
License
This work is licensed under a Creative Commons Attribution Non Commercial 3.0 Unported license (CC BY-NC).

Also listed in

Loading usage metrics...