LTL receding horizon control for finite deterministic systems (Q2628417)

From MaRDI portal
Revision as of 07:26, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
LTL receding horizon control for finite deterministic systems
scientific article

    Statements

    LTL receding horizon control for finite deterministic systems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    2 June 2017
    0 references
    finite deterministic systems
    0 references
    model predictive control
    0 references
    formal methods
    0 references
    optimal control
    0 references

    Identifiers