Least-violating control strategy synthesis with safety rules (2013)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/13:00071898 |
|---|---|
| Název v anglickém jazyce | Least-violating control strategy synthesis with safety rules |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2013 |
| 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 | 5 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Jana Tůmová (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 4293738) Gavin Hall (státní příslušnost: US - Spojené státy americké) Sertac Karaman (státní příslušnost: US - Spojené státy americké) Emilio Frazzoli (státní příslušnost: US - Spojené státy americké) Daniela Rus (státní příslušnost: US - Spojené státy americké) |
| Popis výsledku v anglickém jazyce | We consider the problem of automatic control strategy synthesis, for discrete models of robotic systems, to fulfill a task that requires reaching a goal state while obeying a given set of safety rules. In this paper, we focus on the case when the said task is not feasible without temporarily violating some of the rules. We propose an algorithm that {synthesizes} a motion which violates only lowest priority rules for the shortest amount of time. Although the proposed algorithm can be applied in a varietyof control problems, throughout the paper, we motivate this problem with an autonomous car navigating in an urban environment while abiding by the rules of the road, such as "always stay in the right lane" and "do not enter the sidewalk." We evaluate the algorithm on a case study with several illustrative scenarios. |
| Klíčová slova oddělená středníkem | control strategy synthesis; temporal logic; formal methods; least-violating planning; robot path planning |
| Stránka www, na které se nachází výsledek | - |
| DOI výsledku | 10.1145/2461328.2461330 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Proceedings of the 16th international conference on Hybrid systems: computation and control |
|---|---|
| ISBN | 9781450315678 |
| ISSN | - |
| Počet stran výsledku | 10 |
| Strana od-do | 1-10 |
| Název nakladatele | ACM |
| Místo vydání | New York, NY, USA |
| Místo konání akce | Philadelphia, PA, USA |
| Datum konání akce | 2013 |
| 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ř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/13:00071898!RIV14-MSM-14330___ |
| Datum poslední aktualizace výsledku | 29.05.2014 |
| Kontrolní číslo | 56540534 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu LH | LH11065 - Řízení a ověřování vlastností komplexních hybridních systémů (2011 - 2014) |
|---|