Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

Uli Fahrenberg, Kim Guldstrand Larsen, Claus Rørbæk Thrane

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Abstract

This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The note gives comprehensive definitions of timed automata, priced (or weighted) timed automata, and timed games and highlights a number of results on associated decision problems related to model checking, equivalence checking, optimal scheduling, and winning strategies.
Original languageEnglish
Title of host publicationEngineering Methods and Tools for Software Safety and Security : NATO Science for Peace and Security Series - D: Information and Communication Security
EditorsManfred Broy, Wassiou Sitou, Tony Hoare
Number of pages28
Volume22
PublisherIOS Press
Publication date2009
ISBN (Print)978-1-58603-976-9
Publication statusPublished - 2009
EventEngineering Methods and Tools for Software Safety and Security - Marktoberdorf, Germany
Duration: 19 May 2010 → …

Conference

ConferenceEngineering Methods and Tools for Software Safety and Security
CountryGermany
CityMarktoberdorf
Period19/05/2010 → …
Series<em>NATO Science for Peace and Security Series - D: Information and Communication Security</em>
Number22
ISSN1874-6578

    Fingerprint

Cite this

Fahrenberg, U., Larsen, K. G., & Thrane, C. R. (2009). Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. In M. Broy, W. Sitou, & T. Hoare (Eds.), Engineering Methods and Tools for Software Safety and Security: NATO Science for Peace and Security Series - D: Information and Communication Security (Vol. 22). IOS Press. NATO Science for Peace and Security Series - D: Information and Communication Security, No. 22