Model Predictive Control of Spatially Distributed Systems with Spatio-Temporal Logic Specifications
In this paper, for spatially distributed systems, we propose a new method of model predictive control with spatio-temporal logic specifications. We formulate the finite-time control problem with specifications described by SSTL<i><sub>f</sub></i> (signal spatio-temporal logic...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2024-09-01
|
| Series: | Computation |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2079-3197/12/10/196 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850204583685521408 |
|---|---|
| author | Ikkei Komizu Koichi Kobayashi Yuh Yamashita |
| author_facet | Ikkei Komizu Koichi Kobayashi Yuh Yamashita |
| author_sort | Ikkei Komizu |
| collection | DOAJ |
| description | In this paper, for spatially distributed systems, we propose a new method of model predictive control with spatio-temporal logic specifications. We formulate the finite-time control problem with specifications described by SSTL<i><sub>f</sub></i> (signal spatio-temporal logic over finite traces) formulas. In the problem formulation, the feasibility is guaranteed by representing control specifications as a penalty in the cost function. Time-varying weights in the cost function are introduced to satisfy control specifications as well as possible. The finite-time control problem can be written as a mixed integer programming (MIP) problem. According to the policy of model predictive control (MPC), the control input can be generated by solving the finite-time control problem at each discrete time. The effectiveness of the proposed method is presented through a numerical example. |
| format | Article |
| id | doaj-art-4ef0aa99415346e8998062569fc13e16 |
| institution | OA Journals |
| issn | 2079-3197 |
| language | English |
| publishDate | 2024-09-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Computation |
| spelling | doaj-art-4ef0aa99415346e8998062569fc13e162025-08-20T02:11:15ZengMDPI AGComputation2079-31972024-09-01121019610.3390/computation12100196Model Predictive Control of Spatially Distributed Systems with Spatio-Temporal Logic SpecificationsIkkei Komizu0Koichi Kobayashi1Yuh Yamashita2Graduate School of Information Science and Technoloty, Hokkaido University, Sapporo 060-0814, JapanGraduate School of Information Science and Technoloty, Hokkaido University, Sapporo 060-0814, JapanGraduate School of Information Science and Technoloty, Hokkaido University, Sapporo 060-0814, JapanIn this paper, for spatially distributed systems, we propose a new method of model predictive control with spatio-temporal logic specifications. We formulate the finite-time control problem with specifications described by SSTL<i><sub>f</sub></i> (signal spatio-temporal logic over finite traces) formulas. In the problem formulation, the feasibility is guaranteed by representing control specifications as a penalty in the cost function. Time-varying weights in the cost function are introduced to satisfy control specifications as well as possible. The finite-time control problem can be written as a mixed integer programming (MIP) problem. According to the policy of model predictive control (MPC), the control input can be generated by solving the finite-time control problem at each discrete time. The effectiveness of the proposed method is presented through a numerical example.https://www.mdpi.com/2079-3197/12/10/196feasibilitymodel predictive controlspatially distributed systemsspatio-temporal logic specifications |
| spellingShingle | Ikkei Komizu Koichi Kobayashi Yuh Yamashita Model Predictive Control of Spatially Distributed Systems with Spatio-Temporal Logic Specifications Computation feasibility model predictive control spatially distributed systems spatio-temporal logic specifications |
| title | Model Predictive Control of Spatially Distributed Systems with Spatio-Temporal Logic Specifications |
| title_full | Model Predictive Control of Spatially Distributed Systems with Spatio-Temporal Logic Specifications |
| title_fullStr | Model Predictive Control of Spatially Distributed Systems with Spatio-Temporal Logic Specifications |
| title_full_unstemmed | Model Predictive Control of Spatially Distributed Systems with Spatio-Temporal Logic Specifications |
| title_short | Model Predictive Control of Spatially Distributed Systems with Spatio-Temporal Logic Specifications |
| title_sort | model predictive control of spatially distributed systems with spatio temporal logic specifications |
| topic | feasibility model predictive control spatially distributed systems spatio-temporal logic specifications |
| url | https://www.mdpi.com/2079-3197/12/10/196 |
| work_keys_str_mv | AT ikkeikomizu modelpredictivecontrolofspatiallydistributedsystemswithspatiotemporallogicspecifications AT koichikobayashi modelpredictivecontrolofspatiallydistributedsystemswithspatiotemporallogicspecifications AT yuhyamashita modelpredictivecontrolofspatiallydistributedsystemswithspatiotemporallogicspecifications |