Quantitative Multi-Objective Verification for Probabilistic Systems (2011)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/11:00067394 |
|---|---|
| Název v anglickém jazyce | Quantitative Multi-Objective Verification for Probabilistic Systems |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2011 |
| 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 | 2 |
| Počet tvůrců celkem | 5 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Vojtěch Forejt (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2477912) Marta Kwiatkowska (státní příslušnost: GB - Spojené království Velké Británie a Severního Irska) Gethin Norman (státní příslušnost: GB - Spojené království Velké Británie a Severního Irska) David Parker (státní příslušnost: GB - Spojené království Velké Británie a Severního Irska) Hongyang Qu (státní příslušnost: CN - Čínská lidová republika) |
| Popis výsledku v anglickém jazyce | We present a verification framework for analysing multiple quantitative objectives of systems that exhibit both nondeterministic and stochastic behaviour. These systems are modelled as probabilistic automata, enriched with cost or reward structures thatcapture, for example, energy usage or performance metrics. Quantitative properties of these models are expressed in a specification language that incorporates probabilistic safety and liveness properties, expected total cost or reward, and supports multiple objectives of these types. We propose and implement an efficient verification framework for such properties and then present two distinct applications of it: firstly, controller synthesis subject to multiple quantitative objectives; and, secondly, quantitative compositional verification. The practical applicability of both approaches is illustrated with experimental results from several large case studies. |
| Klíčová slova oddělená středníkem | stochastic systems; verification; multi-objective optimisation |
| Stránka www, na které se nachází výsledek | - |
| DOI výsledku | 10.1007/978-3-642-19835-9_11 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Proc. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11) |
|---|---|
| ISBN | 9783642198342 |
| ISSN | 0302-9743 |
| Počet stran výsledku | 16 |
| Strana od-do | 112-127 |
| Název nakladatele | Springer |
| Místo vydání | Německo |
| Místo konání akce | Saarbrücken, Germany |
| Datum konání akce | 2011 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | 000301820100011 |
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 | 2014 |
| Specifikace | RIV/00216224:14330/11:00067394!RIV14-MSM-14330___ |
| Datum poslední aktualizace výsledku | 29.05.2014 |
| Kontrolní číslo | 56536730 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu 1M | 1M0545 - Institut Teoretické Informatiky (2005 - 2009) |
|---|