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

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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.
OriginalsprogEngelsk
TitelEngineering Methods and Tools for Software Safety and Security : NATO Science for Peace and Security Series - D: Information and Communication Security
RedaktørerManfred Broy, Wassiou Sitou, Tony Hoare
Antal sider28
Vol/bind22
ForlagIOS Press
Publikationsdato2009
ISBN (Trykt)978-1-58603-976-9
StatusUdgivet - 2009
BegivenhedEngineering Methods and Tools for Software Safety and Security - Marktoberdorf, Tyskland
Varighed: 19 maj 2010 → …

Konference

KonferenceEngineering Methods and Tools for Software Safety and Security
Land/OmrådeTyskland
ByMarktoberdorf
Periode19/05/2010 → …
Navn<em>NATO Science for Peace and Security Series - D: Information and Communication Security</em>
Nummer22
ISSN1874-6578

Fingeraftryk

Dyk ned i forskningsemnerne om 'Verification, Performance Analysis and Controller Synthesis for Real-Time Systems'. Sammen danner de et unikt fingeraftryk.

Citationsformater