On the Suprema 1 Controllable Sublanguage in the Discrete-Event Model of Nondeterministic Hybrid Control Systems

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-time plant. The problem of hybrid control system design can then be solved by applying logical DES controller synthesis techniques to the extracted DES plant. Traditional… (More)