Synthesis of supervisory controllers for hybrid systems based on approximating automata | IEEE Journals & Magazine | IEEE Xplore