IV075 Seminář o aplikaci stochastických metod v informatice

Fakulta informatiky
podzim 2010
Rozsah
0/0/4. 2 kr. Ukončení: z.
Vyučující
prof. RNDr. Antonín Kučera, Ph.D. (přednášející)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Antonín Kučera, Ph.D.
Rozvrh
Po 12:00–15:50 B411
Předpoklady
SOUHLAS
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Jiné omezení: Výlučně po dohodě s přednášejícím
Mateřské obory/plány
předmět má 40 mateřských oborů, zobrazit
Cíle předmětu
Kurs je věnován vybraným tématům aplikované teorie pravděpodobnosti. Speciální pozornost je věnována aplikacím, které souvisejí s modelováním a verifikací stochastických systémů.
Na konci kurzu by měl být posluchač schopen zvládat a aktivně aplikovat základní poznatky z následujících oblastí:
Teorie stochastických procesů s diskrétním i spojitým časem.
Syntaxe a sémantika náhodnostních temporálních logik.
Teorie stochastických her.
Osnova
  • Stochastické procesy s diskrétním a spojitým časem. Markovovy procesy. Invariantní a stacionární distribuce. Ergodická věta.
  • Pravděpodobnostní temporální logiky lineárního a větvícího se času. Kvalitativní a kvantitativní formule. Pravděpodobnostní CTL a CTL*. Logiky pro popis vlastností stochastických her.
  • Tahové stochastické hry. Existence hodnoty, determinovanost. Výherní kritéria. Výherní strategie. Pravděpodobnost a systémy reálného času
Literatura
  • PUTERMAN, Martin L. Markov decision processes : discrete stochastic dynamic programming. Hoboken, N.J.: Wiley-Interscience, 2005, xvii, 649. ISBN 0471727822. info
  • HERMANNS, Holger. Interactive markov chains : and the quest for quantified quality. Berlin: Springer, 2002, xii, 217. ISBN 3540442618. info
  • FILAR, Jerzy A. a Koos VRIEZE. Competitive Markov decision processes : with 57 illustrations. New York: Springer, 1997, xii, 393. ISBN 0387948058. info
  • CHUNG, Kai Lai. Markov chains : with stationary transition probabilities. Berlin: Springer-Verlag, 1967, x, 301. info
Výukové metody
Přednášky, samostatné studium, diskuse.
Metody hodnocení
Ústní zkouška.
Další komentáře
Poznámka k ukončení předmětu: Opakující se předmět, lze zapsat každý semestr
Předmět je vyučován každý semestr.
Předmět je zařazen také v obdobích podzim 2009, podzim 2011, podzim 2012, podzim 2013.