Predicates and predicate transformers for supervisory control of discrete event dynamical systems (Q5288513)

From MaRDI portal
scientific article; zbMATH DE number 269699
Language Label Description Also known as
English
Predicates and predicate transformers for supervisory control of discrete event dynamical systems
scientific article; zbMATH DE number 269699

    Statements

    Predicates and predicate transformers for supervisory control of discrete event dynamical systems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    12 August 1993
    0 references
    0 references
    0 references
    0 references
    0 references
    discrete event system models
    0 references
    predicate transformers
    0 references
    0 references