Supervisor reduction for discrete-event systems

Rong Su, W.M. Wonham

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    110 Citaten (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.
    Originele taal-2Engels
    Pagina's (van-tot)31-53
    TijdschriftDiscrete Event Dynamic Systems
    Nummer van het tijdschrift1
    StatusGepubliceerd - 2004

    Vingerafdruk Duik in de onderzoeksthema's van 'Supervisor reduction for discrete-event systems'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit