Zobrazeno 1 - 10
of 101 730
pro vyhledávání: '"REAL SYSTEMS"'
Autor:
Lang, Frédéric, Volk, Matthias
Publikováno v:
EPTCS 399, 2024
This volume contains the proceedings of MARS 2024, the sixth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2024, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring together rese
Externí odkaz:
http://arxiv.org/abs/2403.17862
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:
Dubslaff, Clemens, Luttik, Bas
Publikováno v:
EPTCS 355, 2022
This volume contains the proceedings of MARS 2022, the fifth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2022, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring together rese
Externí odkaz:
http://arxiv.org/abs/2203.09299
Autor:
Amadio, Fabio, Libera, Alberto Dalla, Antonello, Riccardo, Nikovski, Daniel, Carli, Ruggero, Romeres, Diego
In this paper, we present a Model-Based Reinforcement Learning (MBRL) algorithm named \emph{Monte Carlo Probabilistic Inference for Learning COntrol} (MC-PILCO). The algorithm relies on Gaussian Processes (GPs) to model the system dynamics and on a M
Externí odkaz:
http://arxiv.org/abs/2101.12115
Autor:
Fehnker, Ansgar, Garavel, Hubert
Publikováno v:
EPTCS 316, 2020
This volume contains the proceedings of MARS 2020, the fourth workshop on Models for Formal Analysis of Real Systems held as part of ETAPS 2020, the European Joint Conferences on Theory and Practice of Software. The MARS workshop brings together rese
Externí odkaz:
http://arxiv.org/abs/2004.12403
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.
Publikováno v:
Automation, Vol 3, Iss 1, Pp 84-94 (2022)
This paper presents a new passivity-preserving order reduction method for linear time-invariant passive systems, which are also called positive real (PR) systems, with the aid of the balanced truncation (BT) method. The proposed method stems from the
Externí odkaz:
https://doaj.org/article/a86695c5046243f4a6cb8700df8fe1d0
Autor:
Aravindakshan, Shruti, Kyomugasho, Clare, Tafiire, Henry, Van Loey, Ann, Grauwet, Tara, Hendrickx, Marc E.
Publikováno v:
In Journal of Food Engineering February 2022 314