A Menagerie of Timed Automata (vol 50, 42, 2017)

作者：Keiren Jeroen J A^*; Fontana Peter; Cleaveland Rance

来源：ACM Computing Surveys, 2017, 50(3): 42.

DOI：10.1145/3078809

• Timed automata
• timed transition systems
• transition systems

This note corrects a technical error in the ACM Computing Surveys article mentioned in the title. The flaw involved constructions for showing that timed automata with urgent locations have the same expressiveness as timed automata that allow false location invariants. Corrected constructions are presented in this note, and the affected results are reproved.

• 出版日期2017-10