Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finite abstractions with robustness margins for temporal logic-based control synthesis
scientific article

    Statements

    Finite abstractions with robustness margins for temporal logic-based control synthesis (English)
    0 references
    0 references
    0 references
    9 September 2016
    0 references
    finite abstractions
    0 references
    control synthesis
    0 references
    robustness
    0 references
    temporal logic
    0 references
    hybrid systems
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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