Corrections to "A Menagerie of Timed Automata"

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

Research output: Contribution to journalArticleAcademicpeer-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 languageEnglish
Article number42
Pages (from-to)1-8
Number of pages8
JournalAcm Computing Surveys
Volume50
Issue number3
DOIs
Publication statusPublished - Oct 2017

Fingerprint

Timed Automata
Expressiveness
Defects
Invariant
Computing
False

Keywords

  • Timed automata
  • timed transition systems
  • transition systems

Cite this

Keiren, J.J.A. ; Fontana, P. ; Cleaveland, R. / Corrections to "A Menagerie of Timed Automata". In: Acm Computing Surveys. 2017 ; Vol. 50, No. 3. pp. 1-8.
@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 = "10",
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",

}

Corrections to "A Menagerie of Timed Automata". / Keiren, J.J.A.; Fontana, P.; Cleaveland, R.

In: Acm Computing Surveys, Vol. 50, No. 3, 42, 10.2017, p. 1-8.

Research output: Contribution to journalArticleAcademicpeer-review

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 -