arXiv subjects

Markus Zimmermann

Publications and source records attributed to Markus Zimmermann.

12 recordsLinked to original sources

arXiv2026

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution

We introduce a novel copy-protection method for industrial control software. With our method, a program executes correctly only on its target hardware and behaves differently on other machines. The hardware-software binding is based on Physically Unclonable Functions (PUFs). We use symbolic execution to guarantee the preservation of safety properties if the software is executed on a different machine, or if there is a problem with the PUF response. Moreover, we show that the protection method is also secure against reverse engineering.

cs.CR↗

arXiv2026

Impact of aberrations in SLM-based far-field holography

We use camera-in-the-loop calibration to calibrate a phase-only spatial light modulator (SLM) in a far-field hologram setup. The recorded intensity distributions achieve a high degree of consistency with the calculated results, indicating a precise calibration and sufficient modeling of the most prominent aberrations. In this work, we discuss the modeled aberrations and examine the improvement or loss in image quality and diffraction efficiency that is obtained by including or excluding the modeled aberrations in the calibration. We further show the influence of aberrations on speckle-reduced holograms and evaluate the speckle contrast.

physics.optics↗

arXiv2023

Solving the swing-up and balance task for the Acrobot and Pendubot with SAC

We present a solution of the swing-up and balance task for the pendubot and acrobot for the participation in the AI Olympics competition at IJCAI 2023. Our solution is based on the Soft Actor Crtic (SAC) reinforcement learning (RL) algorithm for training a policy for the swing-up and entering the region of attraction of a linear quadratic regulator(LQR) controller for stabilizing the double pendulum at the top position. Our controller achieves competitive scores in performance and robustness for both, pendubot and acrobot, problem scenarios.

cs.RO↗

arXiv2022

A systems design approach for the co-design of a humanoid robot arm

Classically, the development of humanoid robots has been sequential and iterative. Such bottom-up design procedures rely heavily on intuition and are often biased by the designer's experience. Exploiting the non-linear coupled design space of robots is non-trivial and requires a systematic procedure for exploration. We adopt the top-down design strategy, the V-model, used in automotive and aerospace industries. Our co-design approach identifies non-intuitive designs from within the design space and obtains the maximum permissible range of the design variables as a solution space, to physically realise the obtained design. We show that by constructing the solution space, one can (1) decompose higher-level requirements onto sub-system-level requirements with tolerance, alleviating the "chicken-or-egg" problem during the design process, (2) decouple the robot's morphology from its controller, enabling greater design flexibility, (3) obtain independent sub-system level requirements, reducing the development time by parallelising the development process.

cs.RO↗

arXiv2022

On Integrating Prior Knowledge into Gaussian Processes for Prognostic Health Monitoring

Gaussian process regression is a powerful method for predicting states based on given data. It has been successfully applied for probabilistic predictions of structural systems to quantify, for example, the crack growth in mechanical structures. Typically, predefined mean and covariance functions are employed to construct the Gaussian process model. Then, the model is updated using current data during operation while prior information based on previous data is ignored. However, predefined mean and covariance functions without prior information reduce the potential of Gaussian processes. This paper proposes a method to improve the predictive capabilities of Gaussian processes. We integrate prior knowledge by deriving the mean and covariance functions from previous data. More specifically, we first approximate previous data by a weighted sum of basis functions and then derive the mean and covariance functions directly from the estimated weight coefficients. Basis functions may be either estimated or derived from problem-specific governing equations to incorporate physical information. The applicability and effectiveness of this approach are demonstrated for fatigue crack growth, laser degradation, and milling machine wear data. We show that well-chosen mean and covariance functions, like those based on previous data, significantly increase look-ahead time and accuracy. Using physical basis functions further improves accuracy. In addition, computation effort for training is significantly reduced.

stat.ML↗

arXiv2021

Image prediction of disease progression by style-based manifold extrapolation

Disease-modifying management aims to prevent deterioration and progression of the disease, not just relieve symptoms. Unfortunately, the development of necessary therapies is often hampered by the failure to recognize the presymptomatic disease and limited understanding of disease development. We present a generic solution for this problem by a methodology that allows the prediction of progression risk and morphology in individuals using a latent extrapolation optimization approach. To this end, we combined a regularized generative adversarial network (GAN) and a latent nearest neighbor algorithm for joint optimization to generate plausible images of future time points. We evaluated our method on osteoarthritis (OA) data from a multi-center longitudinal study (the Osteoarthritis Initiative, OAI). With presymptomatic baseline data, our model is generative and significantly outperforms the end-to-end learning model in discriminating the progressive cohort. Two experiments were performed with seven experienced radiologists. When no synthetic follow-up radiographs were provided, our model performed better than all seven radiologists. In cases where the synthetic follow-ups generated by our model were available, the specificity and sensitivity of all readers in discriminating progressors increased from $72.3\%$ to $88.6\%$ and from $42.1\%$ to $51.6\%$, respectively. Our results open up a new possibility of using model-based morphology and risk prediction to make predictions about future disease occurrence, as demonstrated in the example of OA.

eess.IV↗

arXiv2020

Advancing diagnostic performance and clinical usability of neural networks via adversarial training and dual batch normalization

Unmasking the decision-making process of machine learning models is essential for implementing diagnostic support systems in clinical practice. Here, we demonstrate that adversarially trained models can significantly enhance the usability of pathology detection as compared to their standard counterparts. We let six experienced radiologists rate the interpretability of saliency maps in datasets of X-rays, computed tomography, and magnetic resonance imaging scans. Significant improvements were found for our adversarial models, which could be further improved by the application of dual batch normalization. Contrary to previous research on adversarially trained models, we found that the accuracy of such models was equal to standard models when sufficiently large datasets and dual batch norm training were used. To ensure transferability, we additionally validated our results on an external test set of 22,433 X-rays. These findings elucidate that different paths for adversarial and real images are needed during training to achieve state of the art results with superior clinical interpretability.

cs.LG↗

arXiv2020

On the Potential of Extending Aircraft Service Time Using a Fatigue Damage Index

Aircraft structures experience various kinds of loads over their entire lifetime, typically leading to fatigue and ultimately structural failure. In order to avoid structural failure during operation, the maximum number of flight cycles and flight hours is regulated by laws ensuring continued airworthiness. However, since every flight impacts the aircraft differently, not all airframes are equally stressed at the time of decommissioning. This paper proposes a new retirement criterion based on the so-called fatigue damage index (FDI). The criterion takes into account that aircraft are differently operated and thus enables an individual decommissioning of aircraft without compromising its safety. Based on aircraft sample data covering 95% of the Airbus A320 fleet over two years, the enhanced decommissioning criterion is estimated to significantly extend the average aircraft service life. The impact varies within the fleet, depending on the experienced seat load factors, cruise altitudes, and taxi times considered for the individual aircraft during operation. While seat load factors and flight altitudes significantly affect the defined FDI, the influence of taxi times is only minor. Based on the estimated increase in aircraft service life, the paper argues that for service life extensions, the FDI shall be considered as the limit of validity in the regulatory framework governing the decommissioning of aircraft.

eess.SY↗

arXiv2020

Predicting Crack Growth and Fatigue Life with Surrogate Models

Fatigue-induced damage is still one of the most uncertain failures in structural systems. Prognostic health monitoring together with surrogate models can help to predict the fatigue life of a structure. This paper demonstrates how to combine data from previously observed crack evolutions with data from the currently observed structure in order to predict crack growth and the total fatigue life. We show the application of one physics-based model, which is based on Paris' law, and four mathematical surrogate models: recurrent neural networks, Gaussian process regression, k-nearest neighbors, and support vector regression. For a coupon test, we predict the time to failure and the crack growth with confidence intervals. Moreover, we compare the performance of all proposed models by the mean absolute error, coefficient of determination, mean of log-likelihood, and their confidence intervals. The results show that the best mathematical surrogate models are Gaussian process regression and recurrent neural networks. Furthermore, this paper shows that the mathematical surrogate models tend to have conservative confidence intervals, whereas the physics-based model exhibits overly optimistic (too small) confidence intervals.

eess.SP↗

arXiv2019

Small World with High Risks: A Study of Security Threats in the npm Ecosystem

The popularity of JavaScript has lead to a large ecosystem of third-party packages available via the npm software package registry. The open nature of npm has boosted its growth, providing over 800,000 free and reusable software packages. Unfortunately, this open nature also causes security risks, as evidenced by recent incidents of single packages that broke or attacked software running on millions of computers. This paper studies security risks for users of npm by systematically analyzing dependencies between packages, the maintainers responsible for these packages, and publicly reported security issues. Studying the potential for running vulnerable or malicious code due to third-party dependencies, we find that individual packages could impact large parts of the entire ecosystem. Moreover, a very small number of maintainer accounts could be used to inject malicious code into the majority of all packages, a problem that has been increasing over time. Studying the potential for accidentally using vulnerable code, we find that lack of maintenance causes many packages to depend on vulnerable code, even years after a vulnerability has become public. Our results provide evidence that npm suffers from single points of failure and that unmaintained packages threaten large code bases. We discuss several mitigation techniques, such as trusted maintainers and total first-party security, and analyze their potential effectiveness.

cs.CR↗

arXiv2016

Status Report of the DPHEP Collaboration: A Global Effort for Sustainable Data Preservation in High Energy Physics

Data from High Energy Physics (HEP) experiments are collected with significant financial and human effort and are mostly unique. An inter-experimental study group on HEP data preservation and long-term analysis was convened as a panel of the International Committee for Future Accelerators (ICFA). The group was formed by large collider-based experiments and investigated the technical and organizational aspects of HEP data preservation. An intermediate report was released in November 2009 addressing the general issues of data preservation in HEP and an extended blueprint paper was published in 2012. In July 2014 the DPHEP collaboration was formed as a result of the signature of the Collaboration Agreement by seven large funding agencies (others have since joined or are in the process of acquisition) and in June 2015 the first DPHEP Collaboration Workshop and Collaboration Board meeting took place. This status report of the DPHEP collaboration details the progress during the period from 2013 to 2015 inclusive.

hep-ex↗

arXiv2015

The ALICE analysis train system

In the ALICE experiment hundreds of users are analyzing big datasets on a Grid system. High throughput and short turn-around times are achieved by a centralized system called the LEGO trains. This system combines analysis from different users in so-called analysis trains which are then executed within the same Grid jobs thereby reducing the number of times the data needs to be read from the storage systems. The centralized trains improve the performance, the usability for users and the bookkeeping in comparison to single user analysis. The train system builds upon the already existing ALICE tools, i.e. the analysis framework as well as the Grid submission and monitoring infrastructure. The entry point to the train system is a web interface which is used to configure the analysis and the desired datasets as well as to test and submit the train. Several measures have been implemented to reduce the time a train needs to finish and to increase the CPU efficiency.

hep-ex↗