Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
scientific article

    Statements

    Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (English)
    0 references
    0 references
    0 references
    19 December 2013
    0 references
    timed automata and timed games
    0 references
    safety objectives
    0 references
    controller synthesis
    0 references
    Zeno systems
    0 references

    Identifiers