Invariants in the application-oriented specification of control systems (Q1159109)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Invariants in the application-oriented specification of control systems
scientific article

    Statements

    Invariants in the application-oriented specification of control systems (English)
    0 references
    0 references
    0 references
    0 references
    1982
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    specifications
    0 references
    continuous control
    0 references
    discrete variable control
    0 references
    control system design
    0 references
    real-time data manipulations
    0 references
    invariant properties of system elements
    0 references
    0 references