Verification of Hybrid Systems (Q3176388)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Verification of Hybrid Systems
scientific article

    Statements

    title
    Verification of Hybrid Systems (English)
    0 references
    author
    Laurent Doyen
    0 references
    Goran Frehse
    0 references
    George J. Pappas
    0 references
    André Platzer
    0 references
    publication date
    20 July 2018
    0 references
    describes a project that uses
    KeYmaera
    0 references
    PHAVer
    0 references
    HyTech
    0 references
    HSolver
    0 references
    SpaceEx
    0 references
    KeYmaera X
    0 references
    QEPCAD
    0 references
    RSOLVER
    0 references
    Benchmarks
    0 references
    PPL
    0 references
    BACH
    0 references
    SMV
    0 references
    Ellipsoidal Toolbox
    0 references
    cites work
    Q5261743
    0 references
    Q4763590
    0 references
    Q4552456
    0 references
    Q4953376
    0 references
    Q4552463
    0 references
    Q4249562
    0 references
    Q2902935
    0 references
    Q4536599
    0 references
    Q4249565
    0 references
    Q2754081
    0 references
    Q3908199
    0 references
    Q4079605
    0 references
    Hybrid process algebra
    0 references
    Q4945221
    0 references
    Hybrid systems
    0 references
    Lazy abstraction
    0 references
    Q4503930
    0 references
    Q4953389
    0 references
    Q5364938
    0 references
    Hybrid I/O automata.
    0 references
    Embedded System Design
    0 references
    Q4953401
    0 references
    Q4418003
    0 references
    Q4284595
    0 references
    Q5807665
    0 references
    Q4418865
    0 references
    Q4246834
    0 references

    Identifiers

    zbMATH DE Number
    6908896
    0 references
    OpenAlex ID
    W2803699674
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176388&oldid=36410157"
    Powered by MediaWiki