On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically (Q4454754)

From MaRDI portal
Revision as of 15:53, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article; zbMATH DE number 2053110
Language Label Description Also known as
English
On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically
scientific article; zbMATH DE number 2053110

    Statements

    On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically (English)
    0 references
    8 March 2004
    0 references
    discrete event system
    0 references
    timed automaton
    0 references
    untimed language
    0 references
    supervisory control
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references