-
Toward map** turbulence in the intracluster medium III. Constraints on the turbulent power spectrum with Athena/X-IFU
Authors:
Sophie Beaumont,
Alexeï Molin,
Nicolas Clerc,
Étienne Pointecouteau,
Mélina Vanel,
Edoardo Cucchetti,
Philippe Peille,
François Pajot
Abstract:
Context. Future X-ray observatories with high spectral resolution and imaging capabilities will enable measurements and map**s of emission line shifts in the intracluster medium (ICM). Such direct measurements can serve as unique probes of turbulent motions in the ICM. Determining the level and scales of turbulence will improve our understanding of the galaxy cluster dynamical evolution and asse…
▽ More
Context. Future X-ray observatories with high spectral resolution and imaging capabilities will enable measurements and map**s of emission line shifts in the intracluster medium (ICM). Such direct measurements can serve as unique probes of turbulent motions in the ICM. Determining the level and scales of turbulence will improve our understanding of the galaxy cluster dynamical evolution and assembly, together with a more precise evaluation of the non thermal support pressure budget. This will allow for more accurate constraints to be placed on the masses of galaxy clusters, among other potential benfits. Aims. In this view, we implemented the methods presented in the previous instalments of our work to characterize the turbulence in the ICM in a feasibility study with the X-IFU on board the future European X-ray observatory, Athena. Methods. From idealized mock observations of a toy model cluster, we reconstructed the second-order structure function built with the observed velocity field to constrain the turbulence. We carefully accounted for the various sources of errors to derive the most realistic and comprehensive error budget within the limits of our approach. With prior assumptions on the dissipation scale and power spectrum slope, we constrained the parameters of the turbulent power spectrum model through the use of MCMC sampling. Results. With favourable assumptions, we were able to retrieve the injection scale, velocity dispersion, and power spectrum slope, with 1sigma uncertainties better than ~15% of the input values. We demonstrated the efficiency of our carefully set framework to constrain the turbulence in the ICM from high-resolution X-ray spectroscopic observations, paving the way for more in-depth investigation of the optimal required observing strategy within a more restrictive observational setup with the future X-IFU instrument.
△ Less
Submitted 18 March, 2024; v1 submitted 13 March, 2024;
originally announced March 2024.
-
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus
Authors:
Lev Sorokin,
Radouane Bouchekir,
Tewodros A. Beyene,
Brian Hsuan-Cheng Liao,
Adam Molin
Abstract:
An assurance case has become an integral component for the certification of safety-critical systems. While manually defining assurance case patterns can be not avoided, system-specific instantiations of assurance case patterns are both costly and time-consuming. It becomes especially complex to maintain an assurance case for a system when the requirements of the System-Under-Assurance change, or a…
▽ More
An assurance case has become an integral component for the certification of safety-critical systems. While manually defining assurance case patterns can be not avoided, system-specific instantiations of assurance case patterns are both costly and time-consuming. It becomes especially complex to maintain an assurance case for a system when the requirements of the System-Under-Assurance change, or an assurance claim becomes invalid due to, e.g., degradation of a systems component, as common when deploying learning-enabled components. In this paper, we report on our preliminary experience leveraging the tool integration framework Evidential Tool Bus (ETB) for the construction and continuous maintenance of an assurance case from a predefined assurance case pattern. Specifically, we demonstrate the assurance process on an industrial Automated Valet Parking system from the automotive domain. We present the formalization of the provided assurance case pattern in the ETB processable logical specification language of workflows. Our findings show that ETB is able to create and maintain evidence required for the construction of an assurance case.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Observing gravitational redshift with X-Ray emission in galaxy clusters with Athena X-IFU
Authors:
Alexeï Molin,
Nicolas Clerc,
Étienne Pointecouteau,
François Pajot,
Edoardo Cuchetti
Abstract:
Context. The Doppler shift predicted by general relativity for light esca** a gravitational potential has been observed on Earth as well as in the direction of various stars and galaxy clusters at optical wavelengths. Aims. Observing the gravitational redshift in the X-ray band within galaxy clusters could provide information on their properties and, in particular, their gravitational potential.…
▽ More
Context. The Doppler shift predicted by general relativity for light esca** a gravitational potential has been observed on Earth as well as in the direction of various stars and galaxy clusters at optical wavelengths. Aims. Observing the gravitational redshift in the X-ray band within galaxy clusters could provide information on their properties and, in particular, their gravitational potential. We present a feasibility study of such a measurement, using the capabilities of the next-generation European X-ray observatory Athena. Methods. We used a simple generalized Navarro-Frenk-White potential model along with a beta-model for the density of baryonic matter, which sets the emission to provide an estimation of the observed redshift in the simplest of cases. We generated mock observations with the Athena X-ray Integral Field Unit (X-IFU) for a nearby massive cluster, while seeking to recover the gravitational redshift along with other properties of the toy model cluster. Results. We investigated the observability of the gravitational redshift in an idealized test case of a nearby massive cluster with the Athena X-IFU instrument, as well as its use in probing the properties of the potential well. We were also able to constrain the mass to a 20 % level of precision and the cosmological redshift to less than 1%, within a simplified and idealized observational framework. More refined simulations accounting for further effects such as the internal gas motions and the actual shape of the potential well are required to fully investigate the feasibility of measuring the gravitational redshift for a single target or statistically over a sample of galaxy clusters.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems
Authors:
Lev Sorokin,
Tiziano Munaro,
Damir Safin,
Brian Hsuan-Cheng Liao,
Adam Molin
Abstract:
Search-based software testing (SBT) is an effective and efficient approach for testing automated driving systems (ADS). However, testing pipelines for ADS testing are particularly challenging as they involve integrating complex driving simulation platforms and establishing communication protocols and APIs with the desired search algorithm. This complexity prevents a wide adoption of SBT and thorou…
▽ More
Search-based software testing (SBT) is an effective and efficient approach for testing automated driving systems (ADS). However, testing pipelines for ADS testing are particularly challenging as they involve integrating complex driving simulation platforms and establishing communication protocols and APIs with the desired search algorithm. This complexity prevents a wide adoption of SBT and thorough empirical comparative experiments with different simulators and search approaches. We present OpenSBT, an open-source, modular and extensible framework to facilitate the SBT of ADS. With OpenSBT, it is possible to integrate simulators with an embedded system under test, search algorithms and fitness functions for testing. We describe the architecture and show the usage of our framework by applying different search algorithms for testing Automated Emergency Braking Systems in CARLA as well in the high-fidelity Prescan simulator in collaboration with our industrial partner DENSO. OpenSBT is available at https://git.fortiss.org/opensbt. A demo video is provided here: https://youtu.be/6csl\_UAOD\_4.
△ Less
Submitted 2 November, 2023; v1 submitted 17 June, 2023;
originally announced June 2023.
-
Specification-Guided Critical Scenario Identification for Automated Driving
Authors:
Adam Molin,
Edgar A. Aguilar,
Dejan Ničković,
Mengjia Zhu,
Alberto Bemporad,
Hasan Esen
Abstract:
To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framework for critical scenario identification, which we base on open-source libraries that combine scenario specification, testing, formal methods, and optimization.
To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framework for critical scenario identification, which we base on open-source libraries that combine scenario specification, testing, formal methods, and optimization.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
The Athena X-ray Integral Field Unit: a consolidated design for the system requirement review of the preliminary definition phase
Authors:
Didier Barret,
Vincent Albouys,
Jan-Willem den Herder,
Luigi Piro,
Massimo Cappi,
Juhani Huovelin,
Richard Kelley,
J. Miguel Mas-Hesse,
Stéphane Paltani,
Gregor Rauw,
Agata Rozanska,
Jiri Svoboda,
Joern Wilms,
Noriko Yamasaki,
Marc Audard,
Simon Bandler,
Marco Barbera,
Xavier Barcons,
Enrico Bozzo,
Maria Teresa Ceballos,
Ivan Charles,
Elisa Costantini,
Thomas Dauser,
Anne Decourchelle,
Lionel Duband
, et al. (274 additional authors not shown)
Abstract:
The Athena X-ray Integral Unit (X-IFU) is the high resolution X-ray spectrometer, studied since 2015 for flying in the mid-30s on the Athena space X-ray Observatory, a versatile observatory designed to address the Hot and Energetic Universe science theme, selected in November 2013 by the Survey Science Committee. Based on a large format array of Transition Edge Sensors (TES), it aims to provide sp…
▽ More
The Athena X-ray Integral Unit (X-IFU) is the high resolution X-ray spectrometer, studied since 2015 for flying in the mid-30s on the Athena space X-ray Observatory, a versatile observatory designed to address the Hot and Energetic Universe science theme, selected in November 2013 by the Survey Science Committee. Based on a large format array of Transition Edge Sensors (TES), it aims to provide spatially resolved X-ray spectroscopy, with a spectral resolution of 2.5 eV (up to 7 keV) over an hexagonal field of view of 5 arc minutes (equivalent diameter). The X-IFU entered its System Requirement Review (SRR) in June 2022, at about the same time when ESA called for an overall X-IFU redesign (including the X-IFU cryostat and the cooling chain), due to an unanticipated cost overrun of Athena. In this paper, after illustrating the breakthrough capabilities of the X-IFU, we describe the instrument as presented at its SRR, browsing through all the subsystems and associated requirements. We then show the instrument budgets, with a particular emphasis on the anticipated budgets of some of its key performance parameters. Finally we briefly discuss on the ongoing key technology demonstration activities, the calibration and the activities foreseen in the X-IFU Instrument Science Center, and touch on communication and outreach activities, the consortium organisation, and finally on the life cycle assessment of X-IFU aiming at minimising the environmental footprint, associated with the development of the instrument. Thanks to the studies conducted so far on X-IFU, it is expected that along the design-to-cost exercise requested by ESA, the X-IFU will maintain flagship capabilities in spatially resolved high resolution X-ray spectroscopy, enabling most of the original X-IFU related scientific objectives of the Athena mission to be retained. (abridged).
△ Less
Submitted 28 November, 2022; v1 submitted 30 August, 2022;
originally announced August 2022.
-
Runaway electron velocity-space observation regions of bremsstrahlung hard X-ray spectroscopy
Authors:
Enrico Panontin,
Massimo Nocente,
Andrea Dal Molin,
Jacob Eriksson,
Giuseppe Gorini,
Enrico Perelli Cippo,
Davide Rigamonti,
Mirko Salewski,
Marco Tardocchi,
JET Contributors
Abstract:
The reconstruction of the distribution function of runaway electrons (RE) in magnetically confined fusion plasmas gives insights on the runaway electron beam dynamics during plasma disruptions. In view of enabling a two-dimensional, energy-pitch reconstruction of the RE velocity space, in this work we present a calculation of the weight functions for the bremsstrahlung emission by the REs. The wei…
▽ More
The reconstruction of the distribution function of runaway electrons (RE) in magnetically confined fusion plasmas gives insights on the runaway electron beam dynamics during plasma disruptions. In view of enabling a two-dimensional, energy-pitch reconstruction of the RE velocity space, in this work we present a calculation of the weight functions for the bremsstrahlung emission by the REs. The weight functions allow bridging the bremsstrahlung spectrum with the RE velocity space, as they tell the region of the velocity space that contributes to a particular spectral measurement. The results are applied to investigate the RE velocity-space sensitivity of the hard X-ray diagnostic installed at the Joint European Torus.
△ Less
Submitted 29 April, 2022;
originally announced April 2022.
-
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools
Authors:
Miel Sharf,
Bart Besselink,
Adam Molin,
Qiming Zhao,
Karl Henrik Johansson
Abstract:
Modern engineering systems include many components of different types and functions. Verifying that these systems satisfy given specifications can be an arduous task, as most formal verification methods are limited to systems of moderate size. Recently, contract theory has been proposed as a modular framework for defining specifications. In this paper, we present a contract theory for discrete-tim…
▽ More
Modern engineering systems include many components of different types and functions. Verifying that these systems satisfy given specifications can be an arduous task, as most formal verification methods are limited to systems of moderate size. Recently, contract theory has been proposed as a modular framework for defining specifications. In this paper, we present a contract theory for discrete-time dynamical control systems relying on assume/guarantee contracts, which prescribe assumptions on the input of the system and guarantees on the output. We then focus on contracts defined by linear constraints, and develop efficient computational tools for verification of satisfaction and refinement based on linear programming. We exemplify these tools in a simulation example, proving a certain safety specification for a two-vehicle autonomous driving setting.
△ Less
Submitted 19 April, 2021; v1 submitted 23 December, 2020;
originally announced December 2020.
-
Mechanical Ventilator Milano (MVM): A Novel Mechanical Ventilator Designed for Mass Scale Production in Response to the COVID-19 Pandemic
Authors:
C. Galbiati,
A. Abba,
P. Agnes,
P. Amaudruz,
M. Arba,
F. Ardellier-Desages,
C. Badia,
G. Batignani,
G. Bellani,
G. Bianchi,
D. Bishop,
V. Bocci,
W. Bonivento,
B. Bottino,
M. Bouchard,
S. Brice,
G. Buccino,
S. Bussino,
A. Caminata,
A. Capra,
M. Caravati,
M. Carlini,
L. Carrozzi,
J. M. Cela,
B. Celano
, et al. (123 additional authors not shown)
Abstract:
Presented here is the design of the Mechanical Ventilator Milano (MVM), a novel mechanical ventilator designed for rapid mass production in response to the COVID-19 pandemic to address the urgent shortage of intensive therapy ventilators in many countries, and the growing difficulty in procuring these devices through normal supply chains across borders. This ventilator is an electro-mechanical equ…
▽ More
Presented here is the design of the Mechanical Ventilator Milano (MVM), a novel mechanical ventilator designed for rapid mass production in response to the COVID-19 pandemic to address the urgent shortage of intensive therapy ventilators in many countries, and the growing difficulty in procuring these devices through normal supply chains across borders. This ventilator is an electro-mechanical equivalent of the old and reliable Manley Ventilator, and is able to operate in both pressure-controlled and pressure-supported ventilation modes. MVM is optimized for the COVID-19 emergency, thanks to the collaboration with medical doctors in the front line. MVM is designed for large-scale production in a short amount of time and at a limited cost, as it relays on off-the-shelf components, readily available worldwide. Operation of the MVM requires only a source of compressed oxygen (or compressed medical air) and electrical power. Initial tests of a prototype device with a breathing simulator are also presented. Further tests and developments are underway. At this stage the MVM is not yet a certified medical device but certification is in progress.
△ Less
Submitted 10 April, 2020; v1 submitted 23 March, 2020;
originally announced March 2020.
-
Event-Triggered Estimation of Linear Systems: An Iterative Algorithm and Optimality Properties
Authors:
Adam Molin,
Sandra Hirche
Abstract:
This report investigates the optimal design of event-triggered estimation for first-order linear stochastic systems. The problem is posed as a two-player team problem with a partially nested information pattern. The two players are given by an estimator and an event-trigger. The event-trigger has full state information and decides, whether the estimator shall obtain the current state information b…
▽ More
This report investigates the optimal design of event-triggered estimation for first-order linear stochastic systems. The problem is posed as a two-player team problem with a partially nested information pattern. The two players are given by an estimator and an event-trigger. The event-trigger has full state information and decides, whether the estimator shall obtain the current state information by transmitting it through a resource constrained channel. The objective is to find an optimal trade-off between the mean squared estimation error and the expected transmission rate. The proposed iterative algorithm alternates between optimizing one player while fixing the other player. It is shown that the solution of the algorithm converges to a linear predictor and a symmetric threshold policy, if the densities of the initial state and the noise variables are even and radially decreasing functions. The effectiveness of the approach is illustrated on a numerical example. In case of a multimodal distribution of the noise variables a significant performance improvement can be achieved compared to a separate design that assumes a linear prediction and a symmetric threshold policy.
△ Less
Submitted 22 March, 2012;
originally announced March 2012.