1 citations · 2 across the 4 of their papers we have counts for
4 papers
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
Jonas Krook, Yuvaraj Selvaraj, Wolfgang Ahrendt +1
The safety of automated driving systems must be justified by convincing arguments and supported by compelling evidence to persuade certification agencies, regulatory entities, and…
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation
Tom P. Huck, Yuvaraj Selvaraj, Constantin Cronrath +4
Safety critical systems are typically subjected to hazard analysis before commissioning to identify and analyse potentially hazardous system states that may arise during operation.…
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt +1
Cyber-physical systems are often safety-critical and their correctness is crucial, as in the case of automated driving. Using formal mathematical methods is one way to guarantee co…
Formal Development of Safe Automated Driving using Differential Dynamic Logic
Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
The challenges in providing convincing arguments for safe and correct behavior of automated driving (AD) systems have so far hindered their widespread commercial deployment. Conven…