Tutorial example on symbolic control