On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems | IEEE Journals & Magazine | IEEE Xplore