A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A supervisory control method for ensuring the conformance of real-time discrete event systems
scientific article

    Statements

    A supervisory control method for ensuring the conformance of real-time discrete event systems (English)
    0 references
    0 references
    23 February 2006
    0 references
    0 references
    supervisory control
    0 references
    real-time discrete event systems (RTDES)
    0 references
    timed automata
    0 references
    Set-Exp-Automata
    0 references
    0 references