Search Results - "Möhlmann, Eike"
-
1
Increasing the Safety of Adaptive Cruise Control Using Physics-Guided Reinforcement Learning
Published in Energies (Basel) (01-11-2021)“…This paper presents a novel approach for improving the safety of vehicles equipped with Adaptive Cruise Control (ACC) by making use of Machine Learning (ML)…”
Get full text
Journal Article -
2
Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems
Published in Electronic proceedings in theoretical computer science (10-06-2015)“…Abstraction and refinement is widely used in software development. Such techniques are valuable since they allow to handle even more complex systems. One key…”
Get full text
Journal Article -
3
Determining the Validity of Simulation Models for the Verification of Automated Driving Systems
Published in IEEE access (2023)“…As the verification of automated driving systems poses an immense challenge, recent approaches aim for a virtualization of such efforts using computer…”
Get full text
Journal Article -
4
Scenario‐based Verification and Validation of Automated Transportation Systems
Published in Insight (International Council on Systems Engineering) (01-12-2022)“…ABSTRACT The research and development activities performed by the DLR Institute of Systems Engineering for Future Mobility (DLR‐SE) are organized via so‐called…”
Get full text
Journal Article -
5
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions
Published in Electronic proceedings in theoretical computer science (27-09-2022)Get full text
Journal Article -
6
Fundamental Considerations around Scenario-Based Testing for Automated Driving
Published in 2020 IEEE Intelligent Vehicles Symposium (IV) (19-10-2020)“…The homologation of automated vehicles, being safety-critical complex systems, requires sound evidence for their safe operability. Traditionally, verification…”
Get full text
Conference Proceeding -
7
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions
Published 28-09-2022“…EPTCS 371, 2022, pp. 53-61 Autonomous driving functions (ADFs) in public traffic have to comply with complex system requirements that are based on knowledge of…”
Get full text
Journal Article -
8
Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems
Published 11-06-2015“…EPTCS 184, 2015, pp. 49-63 Abstraction and refinement is widely used in software development. Such techniques are valuable since they allow to handle even more…”
Get full text
Journal Article -
9
Challenges of engineering safe and secure highly automated vehicles
Published 05-03-2021“…After more than a decade of intense focus on automated vehicles, we are still facing huge challenges for the vision of fully autonomous driving to become a…”
Get full text
Journal Article -
10
Fundamental Considerations around Scenario-Based Testing for Automated Driving
Published 08-05-2020“…The homologation of automated vehicles, being safety-critical complex systems, requires sound evidence for their safe operability. Traditionally, verification…”
Get full text
Journal Article