Publikationen an der Fakultät für Informatik und Automatisierung ab 2015

Anzahl der Treffer: 1956
Erstellt: Tue, 16 Jul 2024 23:12:48 +0200 in 0.1080 sec


Rezaei, Ahmad; Nau, Johannes; Richter, Johannes; Streitferdt, Detlef; Schambach, Jörg
FACEE: framework for automating CNN explainability evaluation. - In: 2023 IEEE 47th Annual Computers, Software, and Applications Conference, (2023), S. 67-78

Convolutional Neural Networks (CNNs) are used mainly for image classification because of their high accuracy and fast performance. Due to their complexity, their functionality is like a black box to the human user. Hence, this black box functionality may classify an image based on the wrong features, which can lead to severe consequences in critical applications, such as disease detection. Therefore, explainer methods provide the users with the reasoning behind each classification. However, selecting well-matching pairs of CNN models and explainers is challenging.This paper proposes a framework for automated explainability evaluation in CNN models, which follows a quantitative approach for assessing the model and explainer pairs. The proposed framework supersedes the previous attempts towards an explainability evaluation framework by replacing the time-consuming qualitative measure with a unified quantitative metric. This quantitative approach allows the users to assess several models and explainer pairs and compare the results based on two aspects on the one hand, selecting the most prominent model/explainer pair or, on the other hand, making compromises for better real-time performance. The framework is applied to a defect detection problem for printed circuit board assembly(PCBA) automatic optical inspection (AOI). The results are analyzed for thirteen built-in CNN models and ten built-in explainer methods. The results demonstrate the superiority of the "CoAtNet0" and "Grad-Cam selfmatch" pair with the 55.38% Explanation Score (ES) metric. The authors also provide a discussion on other criteria in the selection of a prominent pair using the proposed novel FACEE framework.



https://doi.org/10.1109/COMPSAC57700.2023.00019
Franke, Mario; Stroop, Roland; Klingler, Florian; Sommer, Christoph
Low earth orbit satellite supported multi-hop dissemination of messages in V2X networks. - In: 2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring), (2023), insges. 5 S.

Due to their unique mobility, Low Earth Orbit (LEO) satellites can provide network services in areas with little to no existing infrastructure and due to their low orbit they enable communication at low latencies. We thus motivate the use of LEO satellites for supporting multi-hop Vehicle-to-Everything (V2X) communication as an alternative to dense base station deployment and present CLEO, an approach that can opportunistically use LEO satellites for information dissemination among vehicles. Using extensive computer simulations, we show that not only are relaying latencies low enough for such an approach to be feasible, but we can actually improve performance of information dissemination in terms of all of Packet Delivery Ratio (PDR), Channel Busy Ratio (CBR), and end-to-end latency.



https://doi.org/10.1109/VTC2023-Spring57618.2023.10200344
Ebner, Christian; Gorelik, Kirill; Zimmermann, Armin
Automated design exploration and dynamic safety analysis for optimization of mechatronic systems in safety-critical automotive applications. - In: IEEE systems journal, ISSN 1937-9234, Bd. 17 (2023), 4, S. 5357-5368

The availability of safety-critical vehicle systems is essential to ensure passengers' safety in the context of automated driving and X-by-wire systems. The resulting safety-related availability requirements aim to maintain a minimum level of functionality also in the presence of component failures. In addition to electrification and the evolution of cross-domain functionalities, they also increase overall design complexity. Therefore, automated design space exploration, embedding automated safety analysis, becomes crucial for optimal system design. This article proposes a framework for model-based optimization of safety-critical mechatronic systems facing two major challenges as follows. 1) Modeling and exploration of a large design space resulting from topology variants and associated safety measures. 2) Dynamic safety analysis of each variant considering all component failures and their effects on relevant functionalities. Due to the high computational complexity, a two-level modeling approach combining behavioral and logical modules is introduced to reduce the number of evaluation runs when automatically exploring the design space. Further, an algebraic approach is proposed to calculate relevant safety metrics with high accuracy and comparatively low calculation time. The framework is exemplified by optimizing an electric powertrain over a nested design space considering acquisition and operation cost as well as different safety-related availability requirements.



https://doi.org/10.1109/JSYST.2023.3324850
Huaman, Alex S.; Reger, Johann
Robust adaptive tracking control of a 3D vertical motion system for nanometer precision applications. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 56 (2023), 2, S. 5332-5339

In this paper we address the modeling and tracking control problem of an overactuated lift and tilt vertical nanopositioning system. We derive a model based on the rigid body dynamics which adequately describes the first resonance mode of each motion axis. This model is validated with measured data in the frequency domain to illustrate that it adequately reflects the real behavior. We further device an abstract model for the derivation of advanced control strategies. By virtue of the single axis model, three SISO controllers are implemented. The control strategy is accomplished comprising a nominal feedforward and LQG-type controller plus an L1 adaptive augmentation with output feedback. The baseline (or nominal) controller features sufficiently high bandwidth for the mere stabilization, decoupling, and disturbance rejection, while the L1 adaptive component plays a central role for recovering the nominal closed-loop dynamics in the presence of parametric uncertainties w.r.t. the input gain which are quite difficult to handle in the nominal design. The effectiveness and robustness of the proposed control strategy is verified via real-time experiments featuring subnanometer and nanoradian tracking errors which seem to be fully-dominated by the measurement noise.



https://doi.org/10.1016/j.ifacol.2023.10.177
Ghaffour, Lilia; Noack, Matti; Reger, Johann; Laleg-Kirati, Taous Meriem
Modulating functions approach for non-asymptotic state estimation of nonlinear PDEs. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 56 (2023), 2, S. 9875-9880

In this paper, a non-asymptotic state estimation method for a class of nonlinear partial differential equations with general boundary conditions is presented. The method combines the modulating functions method and the Newton iterative approach. The modulating functions method is instructive to simplify the state estimation problem into solving nonlinear systems of equations, to be accomplished by Netwon's method. The performance of the proposed approach is tested through a numerical example.



https://doi.org/10.1016/j.ifacol.2023.10.410
Shardt, Yuri A. W.; Brooks, Kevin; Yang, Xu; Kim, Sanghong
Advanced soft-sensor systems for process monitoring, control, optimisation, and fault diagnosis. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 56 (2023), 2, S. 11768-11777

As processes become more complex and the need to measure each and every variable becomes more critical, the ability of physical sensors to always provide the sufficient accuracy and sampling time can be difficult. For many complex systems, such as nonideal mixtures, multiphase fluids, and solid-based systems, it may not be possible to even use a physical sensor to measure the key variables. For example, in a multiphase fluid, the concentration or density may only be able to be accurately estimated using a laboratory procedure that can only produce a limited number of samples. Similarly, the quality variables of steel may only be determinable once the final steel product has been produced, which limits the ability to effectively control the process with small time delays. In such cases, recourse has to be made to soft sensors, or mathematical models of the system that can be used to forecast the difficult-to-measure variables and allow for real-time process monitoring, control, and optimisation. Although the development of the soft-sensor model is well-established, the various applications and use cases have not been often considered and the key challenges examined. It can be seen that soft sensors have been applied to a wide range of processes from simple, chemical engineering systems to complex mining processes. In all cases, major improvements in the process operations have been observed. However, key challenges remain in updating the soft-sensor models over time, combining laboratory measurements, especially when they are infrequent or of uncertain quality, and the development of soft sensors for new conditions or processes.



https://doi.org/10.1016/j.ifacol.2023.10.565
Brooks, Kevin; Shardt, Yuri A. W.
Developing a computer programme for data quality assessment. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 56 (2023), 2, S. 11784-11789

With the increase in the available data, it becomes increasingly important to develop automatic methods that can extract valuable nuggets of information from the dregs of uninformative and useless information for use in system identification. This paper presents an overview and summary of this field's current state of the art. A MATLAB programme is presented that can implement data quality assessment. A brief tutorial is presented using industrial kerosene freeze-point data to partition the data set into good and bad regions for system identification. A model is developed using the partitioned data. It is shown that the resulting four models can accurately predict the kerosene freeze point in their respective regions and across the data set.



https://doi.org/10.1016/j.ifacol.2023.10.568
Gao, Xinrui; Xie, Jingyao; Shardt, Yuri A. W.
Concurrent monitoring and isolation of static deviations and dynamic anomalies with a sparsity constraint. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 56 (2023), 2, S. 11790-11795

In modern process industries, elaborate monitoring and isolation of various disturbances and faults are needed for reliable and efficient system operation. The classic process-monitoring and fault-diagnosis methods can grasp the correlation between variables, and thus, only take care of abnormal situations caused by the corruption of the correlation relationship. However, dynamics anomalies are even more noteworthy as they reflect more internal details of the system dynamic behaviour under specific situations, and more importantly, can cause severe failures and spread to a broader range of areas while evolving over time. In this paper, a monitoring-and-isolation strategy is proposed to concurrently detect and isolate faults of static deviations and dynamic anomalies. The natural sparsity of the faulty variables is used to overcome the limitations of unknown fault directions and insufficient erroneous measurements, thereby translating the isolation problem into a quadratic programming problem with a sparsity constraint and solved by the least absolute shrinkage and selection operator (LASSO). The case study shows the advantages of the proposed method in monitoring and isolating static deviations and dynamic anomalies.



https://doi.org/10.1016/j.ifacol.2023.10.570
Mehlhorn, Marcel Aguirre; Richter, Andreas; Shardt, Yuri A. W.
Ruling the operational boundaries: a survey on operational design domains of autonomous driving systems. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 56 (2023), 2, S. 2202-2213

Automated driving systems (ADS) have the potential to offer a safe and efficient future for mobility. At the beginning of the design process of an ADS, the operational limits have to be defined using the operational design domain (ODD). Nonetheless, the field of ODD has only become popular recently, and the necessary regulations, standards, and development approaches are still emerging. Current research contributions in the domain of ODD have fragmented in recent years and have not followed a concrete direction. This survey examines a large proportion of the recent research in the domain of ODD by systematically identifying subject areas and categorising relevant publications, thereby integrating the approaches and showing an overview of the emerging topic area. Furthermore, it identifies existing gaps in the ODD research that need to be considered. Finally, the paper suggest relevant future development of ODD.



https://doi.org/10.1016/j.ifacol.2023.10.1128
Du, Lei; Sun, Bolin; Huang, Xujiang; Wang, Xiaoyi; Li, Pu
A learning-based Nonlinear Model Predictive Control approach for autonomous driving. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 56 (2023), 2, S. 2792-2797

This paper introduces a learning-based Nonlinear Model Predictive Control (NMPC) method that combines NMPC with a Reinforcement Learning (RL) algorithm to achieve automatic parameter tuning of the NMPC optimizer, resulting in better control performance. In this study, two learning-based models were designed based on the tabular Q-learning algorithm but with different definitions of state and action spaces. To test the effectiveness of the proposed model, we conducted two kinds of experiments in which the models were applied to optimize the lane-keeping performance of an autonomous driving system. The case study results from simulations showed that the agent could match a proper parameter matrix for the NMPC within one minute. In real-world experiments, we extended the proposed control scheme to practical driving tasks using a 1:8 scale Audi model car in a specific experimental field. The model exhibited acceptable robustness in the face of relatively large deviations from the sensors and other real-time interference. These results demonstrate that the proposed learning-based NMPC method is a promising direction for solving real-time control problems.



https://doi.org/10.1016/j.ifacol.2023.10.1388