-
Machine learning-accelerated chemistry modeling of protoplanetary disks
Authors:
Grigorii V. Smirnov-Pinchukov,
Tamara Molyarova,
Dmitry A. Semenov,
Vitaly V. Akimkin,
Sierk van Terwisga,
Riccardo Francheschi,
Thomas Henning
Abstract:
Aims. With the large amount of molecular emission data from (sub)millimeter observatories and incoming James Webb Space Telescope infrared spectroscopy, access to fast forward models of the chemical composition of protoplanetary disks is of paramount importance.
Methods. We used a thermo-chemical modeling code to generate a diverse population of protoplanetary disk models. We trained a K-nearest…
▽ More
Aims. With the large amount of molecular emission data from (sub)millimeter observatories and incoming James Webb Space Telescope infrared spectroscopy, access to fast forward models of the chemical composition of protoplanetary disks is of paramount importance.
Methods. We used a thermo-chemical modeling code to generate a diverse population of protoplanetary disk models. We trained a K-nearest neighbors (KNN) regressor to instantly predict the chemistry of other disk models.
Results. We show that it is possible to accurately reproduce chemistry using just a small subset of physical conditions, thanks to correlations between the local physical conditions in adopted protoplanetary disk models. We discuss the uncertainties and limitations of this method.
Conclusions. The proposed method can be used for Bayesian fitting of the line emission data to retrieve disk properties from observations. We present a pipeline for reproducing the same approach on other disk chemical model sets.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
Testing a Battery Management System via Criticality-based Rare Event Simulation
Authors:
Daniel Grujic,
Tabea Henning,
Emilio José Calleja García,
Andre Bergmann
Abstract:
For the validation of safety-critical systems regarding safety and comfort, e.g., in the context of automated driving, engineers often have to cope with large (parametric) test spaces for which it is infeasible to test through all possible parameter configurations. At the same time, critical behavior of a well-engineered system with respect to prescribed safety and comfort requirements tends to be…
▽ More
For the validation of safety-critical systems regarding safety and comfort, e.g., in the context of automated driving, engineers often have to cope with large (parametric) test spaces for which it is infeasible to test through all possible parameter configurations. At the same time, critical behavior of a well-engineered system with respect to prescribed safety and comfort requirements tends to be extremely rare, speaking of probabilities of order $10^{-6}$ or less, but clearly has to be examined carefully for valid argumentation. Hence, common approaches such as boundary value analysis are insufficient while methods based on random sampling from the parameter space (simple Monte Carlo) lack the ability to detect these rare critical events efficiently, i.e., with appropriate simulation budget. For this reason, a more sophisticated simulation-based approach is proposed which employs optimistic optimization on an objective function called "criticality" in order to identify effectively the set of critical parameter configurations. Within the scope of the ITEA 3 TESTOMAT project (http://www.testomatproject.eu/) the collaboration partners OFFIS e.V. and AKKA Germany GmbH conducted a case study on applying criticality-based rare event simulation to the charging process of an automotive battery management system given as a model. The present technical report documents the industrial use case, the approach, application and experimental results, as well as lessons learned from the case study.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Fundamental Considerations around Scenario-Based Testing for Automated Driving
Authors:
Christian Neurohr,
Lukas Westhofen,
Tabea Henning,
Thies de Graaff,
Eike Möhlmann,
Eckard Böde
Abstract:
The homologation of automated vehicles, being safety-critical complex systems, requires sound evidence for their safe operability. Traditionally, verification and validation activities are guided by a combination of ISO 26262 and ISO/PAS 21448, together with distance-based testing. Starting at SAE Level 3, such approaches become infeasible, resulting in the need for novel methods. Scenario-based t…
▽ More
The homologation of automated vehicles, being safety-critical complex systems, requires sound evidence for their safe operability. Traditionally, verification and validation activities are guided by a combination of ISO 26262 and ISO/PAS 21448, together with distance-based testing. Starting at SAE Level 3, such approaches become infeasible, resulting in the need for novel methods. Scenario-based testing is regarded as a possible enabler for verification and validation of automated vehicles. Its effectiveness, however, rests on the consistency and substantiality of the arguments used in each step of the process. In this work, we sketch a generic framework around scenario-based testing and analyze contemporary approaches to the individual steps. For each step, we describe its function, discuss proposed approaches and solutions, and identify the underlying arguments, principles and assumptions. As a result, we present a list of fundamental considerations for which evidences need to be gathered in order for scenario-based testing to support the homologation of automated vehicles.
△ Less
Submitted 11 May, 2020; v1 submitted 8 May, 2020;
originally announced May 2020.