Supervisory Control of Discrete-Event Systems with Output: Application to Hybrid Systems

摘要

In this paper, the problem of supervisory control of Discrete-Event Systems (DES) with output is presented and discussed at length. In such systems a causal output function is employed to assign each sequence of inputs with a corresponding sequence of outputs. When the specification of the desired behavior is given by a formal language over the output alphabet, necessary and sufficient conditions are derived for the existence of nonblocking input as well as nonblocking output supervisory control. The idea of sibling is introduced to solve the problem of nondeterminism in discrete-event abstractions of hybrid systems, giving rise to the development of a theory for nonblocking supervisory control of hybrid systems. Our results enable one to apply classical supervisory control theory to design supervisors for DES approximations of hybrid systems, and to import many interesting concepts from classical theory such as modular and hierarchical control.