9 citations · 13 across the 10 of their papers we have counts for
10 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…
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs
Jonas Krook, Robi Malik, Sahar Mohajerani +1
This paper proposes a method to synthesise controllers for cyber-physical systems such that the controlled systems satisfy specifications given as linear temporal logic formulas. T…
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…
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem
Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
The Vehicle Routing Problem (VRP) is the combinatorial optimization problem of designing routes for vehicles to visit customers in such a fashion that a cost function, typically th…
Leveraging Conflicting Constraints in Solving Vehicle Routing Problems
Sabino Francesco Roselli, Remco Vader, Martin Fabian +1
The Conflict-Free Electric Vehicle Routing Problem (CF-EVRP) is a combinatorial optimization problem of designing routes for vehicles to visit customers such that a cost function,…
Supervisory Control Synthesis of Timed Automata Using Forcible Events
Aida Rashidinejad, Michel Reniers, Martin Fabian
Considering real-valued clocks in timed automata (TA) makes it a practical modeling framework for discrete-event systems. However, the infinite state space brings challenges to the…
Networked Supervisory Control Synthesis of Timed Discrete-Event Systems
Aida Rashidinejad, Michel Reniers, Martin Fabian
Conventional supervisory control theory assumes full synchronization between the supervisor and the plant. This assumption is violated in a networked-based communication setting du…
Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors
Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers +3
Supervisory control theory provides means to synthesize supervisors for systems with discrete-event behavior from models of the uncontrolled plant and of the control requirements.…