Supervisory Control of Discrete Event Systems: Supremal Controllable and Observable Languages.

摘要

This reprint studies the supervisor synthesis problem of a Discrete Event Dynamical System by way of synchronous composition of the plant and the supervisor and discusses some of the resulting controllability issues. An algorithm, that is computationally more efficient than the previously existing ones, is presented for the construction of the minimally restrictive supervisor and shown to be optimal. Closed form representation of the supremal controllable and of the supremal observable sublanguages is also presented. (KR)