Zobrazeno 1 - 10
of 4 008
pro vyhledávání: '"Mathiesen, P."'
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:
Anne Sophie Mathiesen, Vibeke Zoffmann, Jane Lindschou, Janus Christian Jakobsen, Christian Gluud, Markus Harboe Olsen, Bodil Rasmussen, Emilie Haarslev Schröder Marqvorsen, Mette Juel Rothmann
Publikováno v:
Trials, Vol 25, Iss 1, Pp 1-7 (2024)
Abstract Background Autonomy-supporting interventions may be a prerequisite to achieve better long-term management of type 2 diabetes. Evidence suggests that the guided self-determination (GSD) method might improve haemoglobin A1c and diabetes distre
Externí odkaz:
https://doaj.org/article/f0ec63eabe684a9686f1bd063bf024f4
Autor:
Emilie Haarslev Schröder Marqvorsen, Line Lund, Sigrid Normann Biener, Mette Due-Christensen, Gitte R. Husted, Rikke Jørgensen, Anne Sophie Mathiesen, Mette Linnet Olesen, Morten Aagaard Petersen, François Pouwer, Bodil Rasmussen, Mette Juel Rothmann, Thordis Thomsen, Kirsty Winkley, Vibeke Zoffmann
Publikováno v:
BMC Medical Informatics and Decision Making, Vol 24, Iss 1, Pp 1-14 (2024)
Abstract Background Decision-making and problem-solving processes are powerful activities occurring daily across all healthcare settings. Their empowering potential is seldom fully exploited, and they may even be perceived as disempowering. We develo
Externí odkaz:
https://doaj.org/article/5bf2dca45821452184122b2154506c20
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