most citedRobust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs

1 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing eess.SYShow all

2 papers · 1 filter

eess.SY2022

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…

eess.SY2022★ 1 cited

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…