Searcharxiv⌕ Search

arXiv subjects

Georg Männel

Publications and source records attributed to Georg Männel.

2 recordsLinked to original sources

Validation of a Computational Respiratory System Model for Mechanical Ventilation

Computational modeling and simulation have emerged as powerful tools for assessing medical device performance and safety, particularly in silico clinical trials (ISCTs) for automated medical systems. In ventilation, where gas exchange, respiratory mechanics, and patient-ventilator interaction must be managed under evolving pathophysiology, clinical translation of automated control strategies remains slow and resource-intensive. These challenges are particularly relevant for AI-based therapy-control systems, whose data-driven decision-making must be evaluated across heterogeneous and safety-critical patient states that may be sparsely represented in clinical datasets. Mechanistic, physiology-based models provide a complementary and interpretable environment for testing such scenarios. This paper applies a standards-aligned framework for credibility assessment of a computational respiratory model, demonstrated using an automated weaning case study. The framework operationalizes ASME V&V 40 and FDA principles within a structured validation workflow. The model integrates respiratory mechanics, gas exchange, respiratory control, and a ventilator representation, with validation under a defined context of use and explicit questions of interest. Model credibility is assessed through calibration, physiological plausibility, population-based evaluation, and reproduction of emergent behavior. All model requirements derived from the intended context of use are addressed, and gaps are transparently reported. The resulting credibility argument supports applicability of the model for medium-low-risk preclinical ISCTs of automated weaning strategies. Residual limitations relate to the extent of in vivo evidence, population representativeness, and external validation. The validation procedure provides a blueprint for validation of this and similar models in mechanical ventilation and related use cases.

physics.med-ph↗

A Safe Control Architecture Based on Robust Model Predictive Control for Autonomous Driving

This paper proposes a Robust Safe Control Architecture (RSCA) for safe-decision making. The system to be controlled is a vehicle in the presence of bounded disturbances. The RSCA consists of two parts: a Supervisor MPC and a Controller MPC. Both the Supervisor and the Controller are tube MPCs (TMPCs). The Supervisor MPC provides a safety certificate for an operating controller and a backup control input in every step. After an unsafe action by the operating controller is predicted, the Controller MPC takes over the system. In this paper, a method for the computation of a terminal set is proposed, which is robust against changes in road curvature and forces the vehicle to reach a safe reference. Moreover, two important proofs are provided in this paper. First, it is shown that the backup control input is safe to be applied to the system to lead the vehicle to a safe state. Next, the recursive feasibility of the RSCA is proven. By simulating some obstacle avoidance scenarios, the effectiveness of the proposed RSCA is confirmed.

eess.SY↗