Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction (Q2197579)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
scientific article

    Statements

    Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction (English)
    0 references
    0 references
    0 references
    1 September 2020
    0 references
    supervisory control
    0 references
    discrete event systems
    0 references
    extended finite-state machines
    0 references
    0 references
    0 references

    Identifiers