Summary: 2098 IEEE TRANSACTIONS ON AUTOMATICCONTROL, VOL. 40, NO. 12,DECEMBER 1995
On the Suprema1 Controllable Sublanguage
in the Discrete-Event Model of
Nondeterministic Hybrid Control Systems
Xiaojun Yang, Michael D. Lemmon, and Panos J. Antsaklis
Abstract-This paper is concerned with the logical control of hybrid
control systems (HCS). It is assumed that a discrete-event system PES)
plant model has already been extracted from the continuous-timeplant.
The problem of hybrid control system design can then be solved by
applyinglogical DES controllersynthesistechniquesto the extracted DES
plant. Traditional DES synthesis methods, however, are not always ap-
plicable since the extracted plant DES will often exhibit nondeterministic
transitions. This paper presents an extension of certain DES controuer
synthesis techniques to the nondeterministiccontrol automaton found in
NCS.In particular, this paper derives a formula computingthe supremd
controllable sublanguage of a given specification language under the
assumption that the DES plant exhibits nondeterministic transitions.
In many industrial applicafions, control systems can be represented
by a continuous-time plant controlled by a discrete-event system.