Understanding deadlock and livelock behaviors in hybrid control systems (Q924105)

From MaRDI portal
Revision as of 12:43, 7 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Understanding deadlock and livelock behaviors in hybrid control systems
scientific article

    Statements

    Understanding deadlock and livelock behaviors in hybrid control systems (English)
    0 references
    27 July 2009
    0 references
    0 references
    hybrid systems
    0 references
    control systems
    0 references
    system composition
    0 references
    deadlock
    0 references
    verification of specifications
    0 references