Szczegóły publikacji
Opis bibliograficzny
A general method of the hybrid controller construction for temporal planning with preferences / Krystian Adam Jobczyk, Antoni LIGĘZA // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : 11–14 September, 2016, Gdansk, Poland : book of abstracts. — [Poland : s. n.], [2016]. — ISBN: 978-836081090-3. — S. 29. — Pełny tekst W: FedCSiS 2016 [Dokument elektroniczny] : preproceedings of the 2016 Federated Conference on Computer Science and Information Systems : September 11–14, 2016, Gdańsk, Poland / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. — Wersja do Windows. — Dane tekstowe. — Warsaw : Polskie Towarzystwo Informatyczne, cop. 2016. — (Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 8). — ISBN 978-83-60810-90-3. — S. 61–70. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://fedcsis.org/proceedings/2016/pliks/fedcsis.pdf [2016-10-04]. — Bibliogr. s. 70, Abstr. — Afiliacja Autorów zamieszczona przy pełnym tekście. — Afiliacja K. Jobczyk: University of Caen
Autorzy (2)
- Jobczyk Krystian
- AGHLigęza Antoni
Słowa kluczowe
Dane bibliometryczne
ID BaDAP | 101170 |
---|---|
Data dodania do BaDAP | 2016-10-04 |
DOI | 10.15439/2016F351 |
Rok publikacji | 2016 |
Typ publikacji | materiały konferencyjne (aut.) |
Otwarty dostęp | |
Konferencja | 2016 Federated Conference on Computer Science and Information Systems |
Abstract
This paper is aimed at presenting some general construction method of the hybrid plan controller for some task of temporal planning with preferences. This construction is multi-stage and it begins with a description of a chosen robot environment and its plan in some extended version of Linear Temporal Logic. This description is later transformed to the appropriate preferential Buchi automaton. In the same way, the real plan performing by the robot is encoded by the similar automaton. Finally, both automata are exploited to construct its product automaton, which is later described in PROLOG.