no code implementations • 12 Jul 2022 • Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
Differential dynamic logic is a formal specification and verification language for hybrid systems, which are mathematical models of cyber-physical systems.
no code implementations • 27 May 2022 • Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian
This paper presents an algorithm to construct the corresponding robust stutter bisimulation quotient to solve the abstraction problem, and it is shown, by explicit construction, that there exists a controller enforcing a linear temporal logic formula for the original system if and only if a corresponding controller exists for the quotient system.
1 code implementation • 14 Apr 2022 • 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.
no code implementations • 14 Mar 2022 • Sabino Francesco Roselli, Per-Lage Götvall, Martin Fabian, Knut Åkesson
The CF-EVRP involves constraints such as time windows on the delivery to the customers, limited operating range of the vehicles, and limited capacity on the number of vehicles that a road segment can accommodate at the same time.
no code implementations • 10 Jun 2021 • 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 the number of vehicles, or the total travelled distance is minimized.
no code implementations • 15 Mar 2021 • Sabino Francesco Roselli, Remco Vader, Martin Fabian, Knut Akesson
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, typically the number of vehicles or the total travelled distance, is minimized.
no code implementations • 11 Jul 2020 • Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers, Martin Fabian, Wan Fokkink, Jacobus Rooda
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.