Compositional synthesis of supervisors in the form of state machines and state maps (Q503186)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Compositional synthesis of supervisors in the form of state machines and state maps
scientific article

    Statements

    Compositional synthesis of supervisors in the form of state machines and state maps (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    11 January 2017
    0 references
    discrete event systems
    0 references
    compositional synthesis
    0 references
    controller constraints and structure
    0 references
    algorithms and software
    0 references
    computational issues
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references