Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems. - Toshihiko Niinomi; Bruce H. Krogh; José E. R. Cury (Hybrid Systems, 1995)

Synthesis of supervisory controllers for hybrid systems based on approximating automata. - José E. R. Cury; Bruce H. Krogh; Toshihiko Niinomi (IEEE Trans. Autom. Control., 1998)