Organizace U  S Kód
hodnocení
Skupina
oborů
Body
výsledku
Body
upravené
Podíl VOBody VOBody VO
upravené
H14
Masarykova univerzita / Fakulta informatiky1516 D 441.26215.7360.66727.50810.491
Výsledky hodnocení dříve prezentovala speciální podoba stránek výskytů výsledků doplněná informacemi o hodnocení daného výskytu a výsledku. To zde supluji doplněním kopií stránek z rvvi.cz/riv z 18.12.2017 o relevantní údaje z dat H16. Najetí myší na kód či skupinu zobrazí vysvětlující text (u některých vyřazených není k dispozici). Čísla jsou oproti zdroji zaokrouhlena na 3 desetinná místa.

Language Emptiness of Continuous-Time Parametric Timed Automata (2015)výskyt výsledku

Identifikační kódRIV/00216224:14330/15:00081178
Název v anglickém jazyceLanguage Emptiness of Continuous-Time Parametric Timed Automata
DruhD - Článek ve sborníku
Jazykeng - angličtina
Obor - skupinaI - Informatika
OborIN - Informatika
Rok uplatnění2015
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ýsledku2
Počet tvůrců celkem4
Počet domácích tvůrců2
Výčet všech uvedených jednotlivých tvůrcůNikola Beneš (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2050587)
Peter Bezděk (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 4376447)
Kim G. Larsen (státní příslušnost: DK - Dánské království)
Jiří Srba (státní příslušnost: CZ - Česká republika, vedidk: 2753057)
Popis výsledku v anglickém jazyceParametric timed automata extend the standard timed automata with the possibility to use parameters in the clock guards. In general, if the parameters are real-valued, the problem of language emptiness of such automata is undecidable even for various restricted subclasses. We thus focus on the case where parameters are assumed to be integer-valued, while the time still remains continuous. On the one hand, we show that the problem remains undecidable for parametric timed automata with three clocks and one parameter. On the other hand, for the case with arbitrary many clocks where only one of these clocks is compared with (an arbitrary number of) parameters, we show that the parametric language emptiness is decidable. The undecidability result tightens the bounds of a previous result which assumed six parameters, while the decidability result extends the existing approaches that deal with discrete-time semantics only.
Klíčová slova oddělená středníkemParametric Timed Automata; Decidability; Language Emptiness
Stránka www, na které se nachází výsledek-
DOI výsledku10.1007/978-3-662-47666-6_6

Údaje o výsledku v závislosti na druhu výsledku

Název sborníkuAutomata, Languages, and Programming
ISBN9783662476659
ISSN0302-9743
Počet stran výsledku13
Strana od-do69-81
Název nakladateleSpringer Berlin Heidelberg
Místo vydáníNeuveden
Místo konání akceKyoto, Japan
Datum konání akce2015
Typ akce podle státní příslušnosti účastníkůWRD - Celosvětová
Kód UT WoS článku podle Web of Science-

Ostatní informace o výsledku

PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Rok sběru2016
SpecifikaceRIV/00216224:14330/15:00081178!RIV16-MSM-14330___
Datum poslední aktualizace výsledku24.05.2016
Kontrolní číslo191636271

Informace o dalších výskytech výsledku dodaného stejným předkladatelem

Dodáno GA ČR v roce 2016RIV/00216224:14330/15:00081178 v dodávce dat RIV16-GA0-14330___/01:1

Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl

Projekt podporovaný GA ČR v programu GAGA15-08772S - Analýza korektnosti vícevláknových programů v C a C++ (2015 - 2017)
Projekt podporovaný GA ČR v programu GAGA15-11089S - Získávání parametrů biologických modelů pomocí techniky ověřování modelů (2015 - 2017)
Podpora / návaznostiSpecifický výzkum na vysokých školách, poskytovatel MŠMT