Timed automata and their extensions allow for analysis of a wide range of performance and optimization problems.
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
"Below we show an example of a timed automaton with two ..."
However, there is no example, figure perhaps ? IS it a mistake?
The following Correction was published in the Letters to the Editor in the January 2012 CACM (http://cacm.acm.org/magazines/2012/1/144814).
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).
Displaying all 2 comments