Zobrazeno 1 - 10
of 3 977
pro vyhledávání: '"P, Mathiesen"'
Autor:
Mathiesen, Frederik Baymler, Romao, Licio, Calvert, Simeon C., Laurenti, Luca, Abate, Alessandro
In this paper, we present a novel data-driven approach to quantify safety for non-linear, discrete-time stochastic systems with unknown noise distribution. We define safety as the probability that the system remains in a given region of the state spa
Externí odkaz:
http://arxiv.org/abs/2410.06662
Autor:
Mazouz, Rayan, Skovbekk, John, Mathiesen, Frederik Baymler, Frew, Eric, Laurenti, Luca, Lahijanian, Morteza
This paper introduces a method of identifying a maximal set of safe strategies from data for stochastic systems with unknown dynamics using barrier certificates. The first step is learning the dynamics of the system via Gaussian process (GP) regressi
Externí odkaz:
http://arxiv.org/abs/2405.00136
This paper presents a novel stochastic barrier function (SBF) framework for safety analysis of stochastic systems based on piecewise (PW) functions. We first outline a general formulation of PW-SBFs. Then, we focus on PW-Constant (PWC) SBFs and show
Externí odkaz:
http://arxiv.org/abs/2404.16986
Autonomous vehicles rely on accurate trajectory prediction to inform decision-making processes related to navigation and collision avoidance. However, current trajectory prediction models show signs of overfitting, which may lead to unsafe or subopti
Externí odkaz:
http://arxiv.org/abs/2402.01397
In this paper, we present IntervalMDP.jl, a Julia package for probabilistic analysis of interval Markov Decision Processes (IMDPs). IntervalMDP.jl facilitates the synthesis of optimal strategies and verification of IMDPs against reachability specific
Externí odkaz:
http://arxiv.org/abs/2401.04068
Control Barrier Functions (CBFs) that provide formal safety guarantees have been widely used for safety-critical systems. However, it is non-trivial to design a CBF. Utilizing neural networks as CBFs has shown great success, but it necessitates their
Externí odkaz:
http://arxiv.org/abs/2311.10438
Autor:
Anton Lund, Anna Forsberg Madsen, Tenna Capion, Helene Ravnholt Jensen, Axel Forsse, John Hauerberg, Sigurður Þor Sigurðsson, Tiit Illimar Mathiesen, Kirsten Møller, Markus Harboe Olsen
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-12 (2024)
Abstract Patients with acute brain injury are vulnerable to secondary deterioration, which may go undetected by traditional monitoring. However, multimodal neuromonitoring of brain tissue oxygen tension (PbtO2) and energy metabolism may be able to de
Externí odkaz:
https://doaj.org/article/66366336d8954003a9318a145129c112
Autor:
Droob, Alexander, Morratz, Daniel, Jakobsen, Frederik Langkilde, Carstensen, Jacob, Mathiesen, Magnus, Bohnstedt, Rune, Albano, Michele, Moreschini, Sergio, Taibi, Davide
The broad development and usage of edge devices has highlighted the importance of creating resilient and computationally advanced environments. When working with edge devices these desiderata are usually achieved through replication and offloading. T
Externí odkaz:
http://arxiv.org/abs/2305.18219
Autor:
Mathiesen, Frederik Baymler, Romao, Licio, Calvert, Simeon C., Abate, Alessandro, Laurenti, Luca
This paper proposes a new framework to compute finite-horizon safety guarantees for discrete-time piece-wise affine systems with stochastic noise of unknown distributions. The approach is based on a novel approach to synthesise a stochastic barrier f
Externí odkaz:
http://arxiv.org/abs/2304.04505
Autor:
Tenna Capion, Alexander Lilja-Cyron, Marianne Juhler, Kirsten Møller, Angelika Sorteberg, Pål André Rønning, Frantz Rom Poulsen, Joakim Wismann, Anders Emil Schack, Celina Ravlo, Jørgen Isaksen, Jane Lindschou, Christian Gluud, Tiit Mathiesen, Markus Harboe Olsen
Publikováno v:
Trials, Vol 25, Iss 1, Pp 1-9 (2024)
Abstract Background Insertion of an external ventricular drain (EVD) is a first-line treatment of acute hydrocephalus caused by aneurysmal subarachnoid haemorrhage (aSAH). Once the patient is clinically stable, the EVD is either removed or replaced b
Externí odkaz:
https://doaj.org/article/e481840df93a40618686b0ff7f2f5609