Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints

SVOREŇOVÁ, Mária, Jana TŮMOVÁ, Jiří BARNAT a Ivana ČERNÁ. Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints. Online. In Proceedings of the 51st IEEE Conference on Decision and Control. Neuveden: Omnipress for the IEEE Control Systems Society, 2012, s. 6749-6754. ISBN 978-1-4673-2066-5. Dostupné z: https://dx.doi.org/10.1109/CDC.2012.6426041.

Základní údaje

Originální název

Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints

Autoři

SVOREŇOVÁ, Mária (703 Slovensko, domácí), Jana TŮMOVÁ (203 Česká republika, domácí), Jiří BARNAT (203 Česká republika, domácí) a Ivana ČERNÁ (203 Česká republika, garant, domácí)

Vydání

Neuveden, Proceedings of the 51st IEEE Conference on Decision and Control, od s. 6749-6754, 6 s. 2012

Nakladatel

Omnipress for the IEEE Control Systems Society

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Odkazy

URL

Kód RIV

RIV/00216224:14330/12:00073386

Organizační jednotka

Fakulta informatiky

ISBN

978-1-4673-2066-5

ISSN

DOI

http://dx.doi.org/10.1109/CDC.2012.6426041

UT WoS

000327200407002

Klíčová slova anglicky

receding horizon planning; formal methods; control strategy synthesis; linear temporal logic; optimal planning

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

Our goal in this paper is to plan the motion of a robot in a partitioned environment with dynamically changing, locally sensed rewards. The robot aims to accomplish a highlevel temporal logic surveillance mission and to locally optimize the collection of the rewards in the visited regions. These two objectives often conflict and only a compromise between them can be reached. We address this issue by taking into consideration a user-defined preference function that captures the trade-off between the importance of collecting high rewards and the importance of making progress towards a surveyed region. Our solution leverages ideas from the automata-based approach to model checking. We demonstrate the utilization of the suggested framework in an illustrative example.

---

Návaznosti

GAP202/11/0312, projekt VaV	Název: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Akronym: Components in Embedded Systems) Investor: Grantová agentura ČR, Software Components in Embedded Systems: Development and Verification
GD102/09/H042, projekt VaV	Název: Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů Investor: Grantová agentura ČR, Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
LH11065, projekt VaV	Název: Řízení a ověřování vlastností komplexních hybridních systémů (Akronym: Řízení a ověřování vlastností komplexních hybridní) Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Řízení a ověřování vlastností komplexních hybridních systémů
MUNI/A/0758/2011, interní kód MU	Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Akronym: SKOMU) Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
MUNI/A/0914/2009, interní kód MU	Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV) Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty