Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
Publication: Research - peer-review › Article in proceeding
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 language | English |
|---|---|
| Title | Engineering Methods and Tools for Software Safety and Security : NATO Science for Peace and Security Series - D: Information and Communication Security |
| Editors | Manfred Broy, Wassiou Sitou, Tony Hoare |
| Number of pages | 28 |
| Volume | 22 |
| Publisher | IOS Press |
| Publication date | 2009 |
| ISBN (print) | 978-1-58603-976-9 |
| State | Published |
Conference
| Conference | Engineering Methods and Tools for Software Safety and Security |
|---|---|
| Land | Germany |
| By | Marktoberdorf |
| Periode | 19-05-10 → … |
| Name | <em>NATO Science for Peace and Security Series - D: Information and Communication Security</em> |
|---|---|
| Number | 22 |
| ISSN (Print) | 1874-6578 |
Loading map data...
ID: 55168642