On the Supremal Controllable Sublanguage in the Discrete Event Model of Nondeterministic Hybrid Control Systems

Panos J. Antsaklis, Xiaojunun Yang, and M.D. Lemmon

Proceedings of the 1995 IEEE Transactions on Automatic Control
Vol. 40, No. 12, pp. 2098-2103, December 1995

Abstract - This paper is concerned with the logical control of hybrid control systems (RCS). It is assumed that a discrete-event system (DES) 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 svnthesis techniques to the extracted DES plant. Traditional DES synthesis methods, however, are not always applicable since the extracted plant DES mill often exhibit nondeterministic transitions. This paper presents an extension of certain DES controller synthesis techniques to the nondeterministic control automaton found in HCS. In particular, this paper derives a formula computing the supreme controllable sublanguage of a given specification language under the assumption that the DES plant exhibits nondeterministic transitions.

[pdf file]