Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910359679401984 |
|---|---|
| author | Hanks, Tyler She, Baike Hale, Matthew Patterson, Evan Klawonn, Matthew Fairbanks, James |
| author_facet | Hanks, Tyler She, Baike Hale, Matthew Patterson, Evan Klawonn, Matthew Fairbanks, James |
| contents | Model predictive control (MPC) is an optimal control technique which involves solving a sequence of constrained optimization problems across a given time horizon. In this paper, we introduce a category theoretic framework for constructing complex MPC problem formulations by composing subproblems. Specifically, we construct a monoidal category - called Para(Conv) - whose objects are Euclidean spaces and whose morphisms represent constrained convex optimization problems. We then show that the multistage structure of typical MPC problems arises from sequential composition in Para(Conv), while parallel composition can be used to model constraints across multiple stages of the prediction horizon. This framework comes equipped with a rigorous, diagrammatic syntax, allowing for easy visualization and modification of complex problems. Finally, we show how this framework allows a simple software realization in the Julia programming language by integrating with existing mathematical programming libraries to provide high-level, graphical abstractions for MPC. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2305_03820 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems Hanks, Tyler She, Baike Hale, Matthew Patterson, Evan Klawonn, Matthew Fairbanks, James Optimization and Control Category Theory Model predictive control (MPC) is an optimal control technique which involves solving a sequence of constrained optimization problems across a given time horizon. In this paper, we introduce a category theoretic framework for constructing complex MPC problem formulations by composing subproblems. Specifically, we construct a monoidal category - called Para(Conv) - whose objects are Euclidean spaces and whose morphisms represent constrained convex optimization problems. We then show that the multistage structure of typical MPC problems arises from sequential composition in Para(Conv), while parallel composition can be used to model constraints across multiple stages of the prediction horizon. This framework comes equipped with a rigorous, diagrammatic syntax, allowing for easy visualization and modification of complex problems. Finally, we show how this framework allows a simple software realization in the Julia programming language by integrating with existing mathematical programming libraries to provide high-level, graphical abstractions for MPC. |
| title | Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems |
| topic | Optimization and Control Category Theory |
| url | https://arxiv.org/abs/2305.03820 |