Xj. Yang et al., ON THE SUPREMAL CONTROLLABLE SUBLANGUAGE IN THE DISCRETE-EVENT MODEL OF NONDETERMINISTIC HYBRID CONTROL-SYSTEMS, IEEE transactions on automatic control, 40(12), 1995, pp. 2098-2103
Citations number
22
Categorie Soggetti
Controlo Theory & Cybernetics","Robotics & Automatic Control","Engineering, Eletrical & Electronic
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.