Supervisor reduction for discrete-event systems

Rong Su, W.M. Wonham

    Research output: Contribution to journalArticleAcademicpeer-review

    110 Citations (Scopus)


    In supervisory control theory (SCT) the supremal supervisor (representing the supremal controllable sublanguage) typically has a large state size (of order the product of state sizes of the plant and specification automata). In this paper, we propose an algorithm which can significantly reduce supervisor size while preserving control action. We also show that finding a supervisor of minimal size is NP-hard.
    Original languageEnglish
    Pages (from-to)31-53
    JournalDiscrete Event Dynamic Systems
    Issue number1
    Publication statusPublished - 2004

    Fingerprint Dive into the research topics of 'Supervisor reduction for discrete-event systems'. Together they form a unique fingerprint.

    Cite this