Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Receding horizon control for temporal logic specifications - MaRDI portal

Receding horizon control for temporal logic specifications (Q2985871)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Receding horizon control for temporal logic specifications
scientific article

    Statements

    title
    Receding horizon control for temporal logic specifications (English)
    0 references
    author
    Ufuk Topcu
    0 references
    Richard M. Murray
    0 references
    publication date
    10 May 2017
    0 references
    zbMATH Keywords
    embedded control software
    0 references
    linear temporal logic
    0 references
    receding horizon control
    0 references

    Identifiers

    zbMATH DE Number
    6713993
    0 references
    Wikidata QID
    Q59814009
    0 references
    OpenAlex ID
    W2148446974
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2985871&oldid=36320317"
    Powered by MediaWiki