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…