Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Zhao, Guohan"'
Autor:
Goorden, Martijn A., Larsen, Kim G., Nielsen, Jesper E., Nielsen, Thomas D., Qian, Weizhu, Rasmussen, Michael R., Srba, Jiří, Zhao, Guohan
Publikováno v:
In Nonlinear Analysis: Hybrid Systems August 2024 53
Publikováno v:
In Construction and Building Materials 19 October 2023 401
Publikováno v:
In Journal of Environmental Management 15 June 2020 264
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Goorden, Martijn, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Samusev, Mihhail, Srba, Jiri, Zhao, Guohan
Publikováno v:
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
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 con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::54434d2fdf9d97ec4b809b81d48fb038
https://vbn.aau.dk/da/publications/50e183ee-d71c-4f8d-8cd4-3b9a89cbb448
https://vbn.aau.dk/da/publications/50e183ee-d71c-4f8d-8cd4-3b9a89cbb448
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.