Supervisory Control of Discrete Event Systems Modeled by Concurrent Synchronous Products

Abstract

In this paper, we study supervisory control of concurrent discrete event systems under the assumption that both the plant and the specification are modeled by concurrent synchronous products. We show that, under this assumption, the specification language is always concurrently well-posed, and the controllability alone is a necessary and sufficient condition for the existence of a supervisor.