Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
scientific article

    Statements

    Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (English)
    0 references
    0 references
    0 references
    0 references
    23 February 2015
    0 references
    discrete event systems
    0 references
    Petri nets
    0 references
    supervisory control
    0 references

    Identifiers