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
Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants - MaRDI portal

Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants
scientific article

    Statements

    title
    Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (English)
    0 references
    author
    Naijun Zhan
    0 references
    Deepak Kapur
    0 references
    Heng-Jun Zhao
    0 references
    publication date
    16 August 2013
    0 references
    describes a project that uses
    QEPCAD
    0 references
    REDLOG
    0 references
    YALMIP
    0 references
    PENBMI
    0 references
    Sostools
    0 references
    SeDuMi
    0 references
    TOMLAB
    0 references
    cites work
    QEPCAD B
    0 references
    Q5807665
    0 references

    Identifiers

    zbMATH DE Number
    6198961
    0 references
    OpenAlex ID
    W152729695
    0 references
    arXiv ID
    1304.0825
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2842646&oldid=35347123"
    Powered by MediaWiki