Symbolic models for control systems (Q868433)

From MaRDI portal





scientific article; zbMATH DE number 5131051
Language Label Description Also known as
English
Symbolic models for control systems
scientific article; zbMATH DE number 5131051

    Statements

    Symbolic models for control systems (English)
    0 references
    0 references
    5 March 2007
    0 references
    bridge between infinite state models of continuous physical processes and finite state models in computer science
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers