Supervisory control of hybrid systems based on model abstraction and guided search (Q2496813)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Supervisory control of hybrid systems based on model abstraction and guided search
scientific article

    Statements

    Supervisory control of hybrid systems based on model abstraction and guided search (English)
    0 references
    0 references
    20 July 2006
    0 references
    abstraction
    0 references
    automaton
    0 references
    discrete event systems
    0 references
    reachability
    0 references
    model refinement
    0 references
    synthesis
    0 references

    Identifiers