main.m

%% Tutorial example on symbolic control
%% Author: Antoine GIRARD, Universit Paris-Saclay, CNRS, CentraleSuplec, Laboratoire des signaux et systmes, 91190, Gif-sur-Yvette, France.
%% Date: 2024

% Abstraction

symb_abs;

% Controller synthesis

symb_synth;

% Simulation

symb_sim;