Corrections to "A Menagerie of Timed Automata"

J.J.A. Keiren; P. Fontana; R. Cleaveland

doi:10.1145/3078809

Corrections to "A Menagerie of Timed Automata"

J.J.A. Keiren, P. Fontana, R. Cleaveland

Research Line Resilience (part of LIRS program)

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

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.

Original language	English
Article number	42
Pages (from-to)	1-8
Number of pages	8
Journal	Acm Computing Surveys
Volume	50
Issue number	3
DOIs	https://doi.org/10.1145/3078809
Publication status	Published - Oct 2017

Keywords

Timed automata
timed transition systems
transition systems

Access to Document

10.1145/3078809

https://arxiv.org/abs/1602.07165

Fingerprint Dive into the research topics of 'Corrections to "A Menagerie of Timed Automata"'. Together they form a unique fingerprint.

Cite this

Keiren, J. J. A., Fontana, P., & Cleaveland, R. (2017). Corrections to "A Menagerie of Timed Automata". Acm Computing Surveys, 50(3), 1-8. [42]. https://doi.org/10.1145/3078809

@article{b79fa3e060844fb983e5c587b52e1303,

title = "Corrections to {"}A Menagerie of Timed Automata{"}",

abstract = "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.",

keywords = "Timed automata, timed transition systems, transition systems",

author = "J.J.A. Keiren and P. Fontana and R. Cleaveland",

year = "2017",

month = oct,

doi = "10.1145/3078809",

language = "English",

volume = "50",

pages = "1--8",

journal = "Acm Computing Surveys",

issn = "0360-0300",

publisher = "Association for Computing Machinery (ACM)",

number = "3",

}

TY - JOUR

T1 - Corrections to "A Menagerie of Timed Automata"

AU - Keiren, J.J.A.

AU - Fontana, P.

AU - Cleaveland, R.

PY - 2017/10

Y1 - 2017/10

N2 - 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.

AB - 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.

KW - Timed automata

KW - timed transition systems

KW - transition systems

U2 - 10.1145/3078809

DO - 10.1145/3078809

M3 - Article

VL - 50

SP - 1

EP - 8

JO - Acm Computing Surveys

JF - Acm Computing Surveys

SN - 0360-0300

IS - 3

M1 - 42

ER -