Reachability analysis for timed automata using max-plus algebra (2012)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/12:00059430 |
|---|---|
| Název v anglickém jazyce | Reachability analysis for timed automata using max-plus algebra |
| Druh | J - Článek v odborném periodiku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 1 |
| Počet tvůrců celkem | 6 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Qi Lu (státní příslušnost: CN - Čínská lidová republika) Michael Madsen (státní příslušnost: DK - Dánské království) Martin Milata (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6071821) S?ren Ravn (státní příslušnost: DK - Dánské království) Uli Fahrenberg (státní příslušnost: DE - Spolková republika Německo) Kim G. Larsen (státní příslušnost: DK - Dánské království) |
| Popis výsledku v anglickém jazyce | We show that max-plus polyhedra are usable as a data structure in reachability analysis of timed automata. Drawing inspiration from the extensive work that has been done on difference bound matrices, as well as previous work on max-plus polyhedra in other areas, we develop the algorithms needed to perform forward and backward reachability analysis using max-plus polyhedra. To show that the approach works in practice and theory alike, we have created a proof-of-concept implementation on top of the modelchecker opaal. |
| Klíčová slova oddělená středníkem | Timed automaton; Real-time model checking; Data structure; Max-plus algebra; Max-plus polyhedron |
| Stránka www, na které se nachází výsledek | - |
| DOI výsledku | 10.1016/j.jlap.2011.10.004 |
Údaje o výsledku v závislosti na druhu výsledku
| Název periodika | Journal of Logic and Algebraic Programming |
|---|---|
| ISSN | 1567-8326 |
| Svazek periodika | 81 |
| Číslo periodika v rámci uvedeného svazku | 3 |
| Stát vydavatele periodika | DK - Dánské království |
| Počet stran výsledku | 16 |
| Strana od-do | 298-313 |
| Kód UT WoS článku podle Web of Science | 000302500700008 |
| EID výsledku v databázi Scopus | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2013 |
| Specifikace | RIV/00216224:14330/12:00059430!RIV13-MSM-14330___ |
| Datum poslední aktualizace výsledku | 09.08.2013 |
| Kontrolní číslo | 43449598 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu LA | LA09016 - Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (2009 - 2012) |
|---|---|
| Podpora / návaznosti | Specifický výzkum na vysokých školách, poskytovatel MŠMT |