This code is part of the implementation of the algorithm proposed in:
Tzanis Anevlavis and Paulo Tabuada, "Computing controlled invariant sets in two moves", In 2019 IEEE Conference on Decision and Control (CDC).
For any comments contact Tzanis Anevlavis @ janis10@ucla.edu.
Detailed instructions will soon follow..