ON THE SUPREMAL CONTROLLABLE SUBLANGUAGE IN THE DISCRETE-EVENT MODEL OF NONDETERMINISTIC HYBRID CONTROL-SYSTEMS

This paper is concerned with the logical control of hybrid control sys tems (HCS). It is assumed that a discrete-event system (DES) plant mod el has already been extracted from the continuous-time plant. The prob lem of hybrid control system design can then be solved by applying log ical DES controller synthesis techniques to the extracted DES plant. T raditional DES synthesis methods, however, are not always applicable s ince the extracted plant DES will often exhibit nondeterministic trans itions. This paper presents an extension of certain DES controller syn thesis techniques to the nondeterministic control automaton found in R CS. In particular, this paper derives a Formula computing the supremal controllable sublanguage of a given specification language under the assumption that the DES plant exhibits nondeterministic transitions.