| Údaje o výsledku |
| Identifikační kód | RIV/00216224:14330/13:00066721 |
| Název v původním jazyce | Minimum-violation LTL Planning with Conflicting Specifications |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor | IN - Informatika |
| Rok uplatnění | 2013 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
| Počet výskytů výsledku | 2 |
| Údaje z Hodnocení výsledků výzkumných organizací 2014 |
| Výsledek byl hodnocen v Pilíři I |
| Rozsah vyřazení výsledku | Tento výskyt výsledku není vyřazen |
| Zařazení výsledku v hodnocení | D - Článek ve sborníku |
| Skupina oboru v hodnocení | 04 - Technické a informatické vědy |
| Konkrétní způsob(y) hodnocení výsledku | Článek ve sborníku evidovaném v databázi Scopus |
| Bodové ohodnocení | 8,000 |
| Faktor korekce | 50,1 % |
| Body (upravené podle přílohy č. 8 Metodiky) | 4,009 |
| Rozdělení výsledku mezi předkladatele |
| Organizace | Výzkumná organizace? | Podíl | Body | Body (upravené podle přílohy č. 8 Metodiky) |
|---|
| Masarykova univerzita / Fakulta informatiky | ano | 33,3 % | 2,667 | 1,336 |
|
| Tvůrci výsledku |
| Počet tvůrců celkem | 5 |
| Počet domácích tvůrců | 1 |
| Tvůrce | Tůmová Jana (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 4293738) |
| Tvůrce | Reyes Castro Luis (státní příslušnost: US - Spojené státy americké) |
| Tvůrce | Karaman Sertac (státní příslušnost: US - Spojené státy americké) |
| Tvůrce | Frazzoli Emilio (státní příslušnost: US - Spojené státy americké) |
| Tvůrce | Rus Daniela (státní příslušnost: US - Spojené státy americké) |
| Údaje blíže specifikující výsledek |
| Popis v původním jazyce | We consider the problem of automatic generation of control strategies for robotic vehicles given a set of high-level mission specifications, such as "Vehicle x must eventually visit a target region and then return to a base," "Regions A and B must be periodically surveyed," or " None of the vehicles can enter an unsafe region." We focus on instances when all of the given specifications cannot be reached simultaneously due to their incompatibility and/or environmental constraints. We aim to find the least-violating control strategy while considering different priorities of satisfying different parts of the mission. Formally, we consider the missions given in the form of linear temporal logic formulas, each of which is assigned a reward that is earned when the formula is satisfied. Leveraging ideas from the automata-based model checking, we propose an algorithm for finding an optimal control strategy that maximizes the sum of rewards earned if this control strategy is applied. |
| Klíčová slova | formal methods; robotics; linear temporal logic; control strategy synthesis |
| Kód UT ISI | 000327210200034 |
| Název sborníku | Proceedings of the American Control Conference |
| Rozsah stran | 200-205 |
| Forma vydání | C - Paměťový nosič (CD, DVD, flash disk, …) |
| ISSN | 0743-1619 |
| Počet stran výsledku | 6 |
| ISBN | 9781479901777 |
| Název nakladatele | IEEE |
| Místo vydání | New York, (NY, USA) |
| Místo konání akce | Washington, DC |
| Rok konání akce | 2013 |
| Typ akce podle státní příslušnoti účastníků | CST - Celostátní |
| Údaje o tomto záznamu 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 |
| Systémové označení dodávky dat | RIV14-MSM-14330___/01:1 |
| Specifikace | RIV/00216224:14330/13:00066721!RIV14-MSM-14330___ |
| Kontrolní kód | [CC8653041703] |
| Další výskyty tohoto výsledku od stejného předkladatele |
| Dodáno GA ČR v roce 2014 | Záznam s identifikačním kódem RIV/00216224:14330/13:00066721 v dodávce dat RIV14-GA0-14330___/01:1 |
| Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl |
| Projekt | GAP202/11/0312 - Vývoj a verifikace softwarových komponent v zapouzdřených systémech (2011-2013, GA0/GA) |
| Projekt | LH11065 - Řízení a ověřování vlastností komplexních hybridních systémů (2011-2014, MSM/LH) |