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
Powertrain control verification benchmark - MaRDI portal

Powertrain control verification benchmark (Q2986973)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Powertrain control verification benchmark
scientific article

    Statements

    title
    Powertrain control verification benchmark (English)
    0 references
    author
    Jyotirmoy V. Deshmukh
    0 references
    James Kapinski
    0 references
    Koichi Ueda
    0 references
    Ken Butts
    0 references
    Xiao-qing Jin
    0 references
    publication date
    16 May 2017
    0 references
    zbMATH Keywords
    automotive control systems
    0 references
    hybrid systems benchmarks
    0 references
    model comparison
    0 references
    model-based testing
    0 references
    verification
    0 references
    describes a project that uses
    YALMIP
    0 references
    CPLEX
    0 references
    MPT
    0 references

    Identifiers

    Mathematics Subject Classification ID
    93C30
    0 references
    93A30
    0 references
    93C95
    0 references
    03B80
    0 references
    zbMATH DE Number
    6718287
    0 references
    OpenAlex ID
    W2068619069
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2986973&oldid=36321916"
    Powered by MediaWiki