Control Strategy Synthesis for Path Planning under Temporal Constraints /

Moderní inženýrské systémy jako samořídící auta, bezpilotní letadla, vestavěná zdravotnická zařízení a kooperativní systémy mezi člověkem a robotem se vyvíjí velice rychle podle potřeb průmyslu ale také díky různým akademickým i veřejným soutěžím. Pro mnohé z těchto systémů je bezpečnost kritickou p...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Svoreňová, Mária (Autor práce)
Další autoři: Černá, Ivana, 1963- (Vedoucí práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Angličtina
Vydáno: 2015
Témata:
počítačová bezpečnost
robotika
interakce člověk-počítač
matematická logika
Markovovy procesy
human-computer interaction
computer security
robotics
mathematical logic
Markov Processes
disertace
dissertations
On-line přístup:http://is.muni.cz/th/175388/fi_d/
Obálka
LEADER 06214ctm a22009977i 4500
001 MUB01006351443
003 CZ BrMU
005 20240516101457.0
008 151027s2015 xr ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2016-05-20 
035 |a (ISMU-VSKP)220704 
040 |a BOD114  |b cze  |d BOD018  |e rda 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
072 7 |a 519.1/.8  |x Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování  |2 Konspekt  |9 13 
080 |a 007.52  |2 MRF 
080 |a 004.056  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a 519.217  |2 MRF 
080 |a 004.5  |2 MRF 
100 1 |a Svoreňová, Mária  |% UČO 175388  |* [absolvent FI MU]  |4 dis 
242 1 0 |a Control Strategy Synthesis for Path Planning under Temporal Constraints  |y eng 
245 1 0 |a Control Strategy Synthesis for Path Planning under Temporal Constraints /  |c Mária Svoreňová 
264 0 |c 2015 
300 |a viii, 126 stran :  |b ilustrace 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
500 |a Vedoucí práce: Ivana Černá 
502 |a Dizertace (Ph.D.)--Masarykova univerzita, Fakulta informatiky, 2015 
520 2 |a Moderní inženýrské systémy jako samořídící auta, bezpilotní letadla, vestavěná zdravotnická zařízení a kooperativní systémy mezi člověkem a robotem se vyvíjí velice rychle podle potřeb průmyslu ale také díky různým akademickým i veřejným soutěžím. Pro mnohé z těchto systémů je bezpečnost kritickou podmínkou pro jejich nasazení v praxi. Proto úměrně rychlému rozvoji narůstá i potřeba formálních přístupů k jejich specifikaci, návrhu a verifikaci. Motivací pro tuto práci je oblast mobilní robotiky a zaměřujeme se na problém plánování cesty, jehož cílem je syntetizovat cestu (s nízkým rozlišením, na vysoké úrovni) nebo řídící strategii pro komplexní dynamický systém tak, aby splňovala zadanou specifikaci. Zaměřujeme se speciálně na specifikaci zadanou jako formule lineární temporální logiky (LTL) nad stavy daného systému. Pro analýzu takovýchto problémů aplikujeme standardní hierarchický přístup, který umožňuje použití formálních metod z informatiky. Tento přístup sestává z abstrakce dyna  |% cze 
520 2 9 |a Modern engineering systems such as autonomous ground and aerial vehicles, embedded medical devices and human-robot collaborative teams evolve quickly due to industrial needs as well as academic and public competitions. As these systems are typically safety-critical, there is an equally growing need for formal approaches to their specification, design and verification. Motivated by mobile robotics, in this work we focus on the problem of path planning, where the goal is to synthesize a low-resolution high-level path or a control strategy for a complex dynamic system that satisfies a given specification. We focus on specification expressed as a formula of Linear Temporal Logic (LTL) over state space of the system. We embrace the standard hierarchical approach to employing formal methods in path planning. The approach consists of first modeling the system using a discrete model, synthesizing a control strategy for the model and finally implementing the control rules in the original syste  |9 eng 
650 0 7 |a počítačová bezpečnost  |7 ph165952  |2 czenas 
650 0 7 |a robotika  |7 ph125173  |2 czenas 
650 0 7 |a interakce člověk-počítač  |7 ph121144  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a Markovovy procesy  |7 ph117828  |2 czenas 
650 0 9 |a human-computer interaction  |2 eczenas 
650 0 9 |a computer security  |2 eczenas 
650 0 9 |a robotics  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a Markov Processes  |2 eczenas 
655 7 |a disertace  |7 fd132024  |2 czenas 
655 9 |a dissertations  |2 eczenas 
658 |a Informatika (čtyřleté)  |b Informatika  |c FI D-IN4 IN (IN)  |2 CZ-BrMU 
700 1 |a Černá, Ivana,  |d 1963-  |7 mub2011658599  |% UČO 1419  |4 ths 
710 2 |a Masarykova univerzita.  |b Katedra teorie programování  |4 dgg 
856 4 1 |u http://is.muni.cz/th/175388/fi_d/ 
CAT |c 20151027  |l MUB01  |h 0421 
CAT |a POSPEL  |b 02  |c 20151029  |l MUB01  |h 0732 
CAT |a POSPEL  |b 02  |c 20151029  |l MUB01  |h 0733 
CAT |a HANAV  |b 02  |c 20151102  |l MUB01  |h 1302 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0600 
CAT |a VESELA  |b 02  |c 20160115  |l MUB01  |h 1059 
CAT |c 20160520  |l MUB01  |h 1028 
CAT |a POSPEL  |b 02  |c 20160914  |l MUB01  |h 1427 
CAT |a POSPEL  |b 02  |c 20160920  |l MUB01  |h 0817 
CAT |a POSPEL  |b 02  |c 20160927  |l MUB01  |h 0741 
CAT |a POSPEL  |b 02  |c 20170228  |l MUB01  |h 1036 
CAT |a POSPEL  |b 02  |c 20170302  |l MUB01  |h 0828 
CAT |a POSPEL  |b 02  |c 20180314  |l MUB01  |h 0814 
CAT |a POSPEL  |b 02  |c 20180503  |l MUB01  |h 0729 
CAT |a POSPEL  |b 02  |c 20180710  |l MUB01  |h 0635 
CAT |a POSPEL  |b 02  |c 20190213  |l MUB01  |h 0800 
CAT |a POSPEL  |b 02  |c 20190924  |l MUB01  |h 0745 
CAT |a POSPEL  |b 02  |c 20200510  |l MUB01  |h 2306 
CAT |a POSPEL  |b 02  |c 20201212  |l MUB01  |h 2150 
CAT |a POSPEL  |b 02  |c 20210122  |l MUB01  |h 0054 
CAT |a POSPEL  |b 02  |c 20210322  |l MUB01  |h 1142 
CAT |a POSPEL  |b 02  |c 20210327  |l MUB01  |h 0026 
CAT |c 20210614  |l MUB01  |h 1016 
CAT |c 20210614  |l MUB01  |h 2003 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1241 
CAT |a POSPEL  |b 02  |c 20210912  |l MUB01  |h 2336 
CAT |a POSPEL  |b 02  |c 20211010  |l MUB01  |h 2218 
CAT |a HANAV  |b 02  |c 20211116  |l MUB01  |h 0031 
CAT |a POSPEL  |b 02  |c 20220629  |l MUB01  |h 0104 
CAT |a POSPEL  |b 02  |c 20221019  |l MUB01  |h 2326 
CAT |a POSPEL  |b 02  |c 20221101  |l MUB01  |h 0840 
CAT |a POSPEL  |b 02  |c 20230629  |l MUB01  |h 0037 
CAT |a POSPEL  |b 02  |c 20240405  |l MUB01  |h 2123 
CAT |a VESELAX  |b 02  |c 20240516  |l MUB01  |h 1013 
CAT |a VESELAX  |b 02  |c 20240516  |l MUB01  |h 1014 
LOW |a POSLANO DO SKCR  |b 2016-05-20 
994 - 1 |l MUB01  |l MUB01  |m VYSPR  |1 FI  |a Fakulta informatiky  |3 Diz. práce 2015  |5 42005D2666  |8 20160115  |f 72  |f Týdenní  |r 20160115 
AVA |a INF50  |b FI  |d Diz. práce 2015  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1 

Podobné jednotky