Preview-aware safety verification of neural tracking controllers for dynamical systems
, Springer
. In: International Journal of Dynamics and Control,
2026
Zeitschriftenartikel / Journal Article
Technische Systeme mit Scilab und Xcos simulieren
. In: Elektronikpraxis,
2026
, 9
. - S. 24-27
Zeitschriftenartikel / Journal Article
Enhancing Functional Reliability of Autonomous Vehicle Safety Monitoring in Curves
. In: Proceedings of the 12th International Conference on Vehicle Technology and Intelligent Transport Systems,
2026
Konferenzband / Conference Publication
Generalizable Fourier Neural Operator for estimation of lithium-ion battery temperature distribution
. In: eTransportation,
28.
2026
. - S. 100596
Zeitschriftenartikel / Journal Article
An Open-Source Multi-Tenant FPGA Framework for Small Cloud-Like Environments
2026
Konferenzbeitrag / Conference Paper
Total Cost of Ownership and External Cost Assessment of Commercially Available Vehicles in Germany
, MDPI
. In: Sustainability,
18.
2025
, 1
Zeitschriftenartikel / Journal Article
Electrolyte-Gated Graphene FETs for Acetylcholine Detection via Functional Layer-assisted Transfer Approach
, IEEE
. In: IEEE Sensors Letters,
2026
Zeitschriftenartikel / Journal Article
Parameter Tuning Under Uncertain Road Perception in Driver Assistance Systems
. In: IFAC-PapersOnLine,
59.
2025
, 26
. - S. 329-334
Zeitschriftenartikel / Journal Article
Messen mit Infrarot im industriellen Einsatz
. In: Elektronikpraxis,
2025
, 17
. - S. 46-49
Zeitschriftenartikel / Journal Article
Using ChatGPT for Creating Computer Science Exercises
. In: 10th International Conference on Higher Education Advances (HEAd ’24),
2024
Konferenzbeitrag / Conference Paper
Was beim Ströme messen zu beachten ist
. In: Elektronikpraxis,
2025
. - S. 32-35
Zeitschriftenartikel / Journal Article
Compositional code-level safety verification for automated driving controllers
. In: Journal of Systems and Software,
2025
. - S. 112499
Zeitschriftenartikel / Journal Article
Laserbasierte Messmethoden im industriellen Einsatz
. In: Elektronikpraxis,
2025.
2025
, 2
. - S. 68-70
Zeitschriftenartikel / Journal Article
Optimal control of mobile robots in partially unknown environments
, Berlin
2018
Dissertation / Thesis
Code-level Safety Verification for Automated Driving: A Case Study
, Cham
, Springer
. In: Formal Methods,
2024
. - S. 356-372
Konferenzbeitrag / Conference Paper
Correlation analysis and feature extraction using impedance spectroscopy over aging of lithium ion batteries
. In: Journal of Energy Storage,
105.
2025
. - S. 114715
Zeitschriftenartikel / Journal Article
Das Frequenzverhalten elektronischer Schaltungen
. In: Elektronikpraxis,
2024
, Sonderheft Messtechnik und Sensorik II
. - S. 22-24
Zeitschriftenartikel / Journal Article
A Resource-Constrained Polynomial Regression Approach for Voltage Measurement Compression in Electric Vehicle Battery Packs
. In: Batteries,
10.
2024
, 9
. - S. 305
Zeitschriftenartikel / Journal Article
Enhancing Conceptual Understanding in Multimodal Contrastive Learning through Hard Negative Samples
. In: Proceedings of the 3rd Workshop on Advances in Language and Vision Research (ALVR),
2024
. - S. 102-115
Konferenzbeitrag / Conference Paper
Mobile Networks Expanding to Space: Overview of the SeRANIS Beyond 5G Testbed
. In: ITU Journal on Future and Evolving Technologies (ITU J-FET) ,
5.
2024
, 2
Zeitschriftenartikel / Journal Article