Home → Magazine Archive → September 2011 (Vol. 54, No. 9) → Quantitative Analysis of Real-Time Systems Using Priced... → Abstract

Quantitative Analysis of Real-Time Systems Using Priced Timed Automata

By Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey

Communications of the ACM, Vol. 54 No. 9, Pages 78-87
10.1145/1995376.1995396

[article image]


Timed automata and their extensions allow for analysis of a wide range of performance and optimization problems.

The full text of this article is premium content

2 Comments

Anonymous

"Below we show an example of a timed automaton with two ..."

However, there is no example, figure perhaps ? IS it a mistake?

CACM Administrator

The following Correction was published in the Letters to the Editor in the January 2012 CACM (http://cacm.acm.org/magazines/2012/1/144814).
--CACM Administrator

Two in-text figures on pages 80 and 81 were inadvertently dropped from the print version of Patricia Bouyer et al.'s Review Article "Quantitative Analysis of Real-Time Systems Using Priced Timed Automata" (Sept. 2011). The complete version is now available through the ACM Digital Library (http://dl.acm.org/citation.cfm?id=1995396&CFID=67421339&CFTOKEN=67074515) and Communications Web site (http://www.cacm.acm.org).

Ed.

Displaying all 2 comments