STOMPC:Stochastic Model-Predictive Control with Uppaal Stratego
| Autor: | Goorden, Martijn, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Samusev, Mihhail, Srba, Jiri, Zhao, Guohan |
|---|---|
| Přispěvatelé: | Bouajjani, Ahmed, Holík, Lukáš, Wu, Zhilin |
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Zdroj: | Goorden, M, Jensen, P G, Larsen, K G, Samusev, M, Srba, J & Zhao, G 2022, STOMPC : Stochastic Model-Predictive Control with Uppaal Stratego . in A Bouajjani, L Holík & Z Wu (eds), International Symposium on Automated Technology for Verification and Analysis : Automated Technology for Verification and Analysis . Springer, Lecture Notes in Computer Science, pp. 327-333, 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, Virtual, Online, 25/10/2022 . https://doi.org/10.1007/978-3-031-19992-9_21 |
| Popis: | We present the new co-simulation and synthesis integratedframework STOMPC for stochastic model-predictive control (MPC) with Uppaal Stratego. The framework allows users to easily set up MPC designs, a widely accepted method for designing software controllers in industry, with Uppaal Stratego as the controller synthesis engine, which provides a powerful tool to synthesize safe and optimal strategies for hybrid stochastic systems. STOMPC provides the user freedom to connect it to external simulators, making the framework applicable across multiple domains. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|