Synthesis of supervisory controllers for hybrid systems based on approximating automata

José E. R. Cury, Bruce H. Krogh, Toshihiko Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Trans. Automat. Contr., 43(4):564-568, 1998. [doi]

Abstract

Abstract is missing.