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
Approximate bisimulation and discretization of hybrid CSP - MaRDI portal

Approximate bisimulation and discretization of hybrid CSP (Q2281663)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Approximate bisimulation and discretization of hybrid CSP
scientific article

    Statements

    title
    Approximate bisimulation and discretization of hybrid CSP (English)
    0 references
    author
    Gaogao Yan
    0 references
    Li Jiao
    0 references
    Yangjia Li
    0 references
    Naijun Zhan
    0 references
    Shu-Ling Wang
    0 references
    publication date
    3 January 2020
    0 references
    zbMATH Keywords
    HCSP
    0 references
    approximately bisimilar
    0 references
    hybrid systems
    0 references
    discretization
    0 references

    Identifiers

    zbMATH DE Number
    7147591
    0 references
    OpenAlex ID
    W2963576416
    0 references
    arXiv ID
    1609.00091
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2281663&oldid=33490631"
    Powered by MediaWiki