Archiv zpráv a událostí

Z fakulty

  • Přednáška pro odbornou veřejnost v rámci habilitačního řízení RNDr. Tomáše Brázdila, Ph.D.

    V úterý 26. 3. 2013 od 14 hod v posluchárně D2 proběhne přednáška pro odbornou
    veřejnost v rámci habilitačního řízení RNDr. Tomáše Brázdila, Ph.D.
    Název: Analýza her s čítači
    Abstrakt: Hry s čítači jsou přirozeným modelem kontrolovatelných systémů, které
    operují s různými zdroji (např. palivo nebo energie baterií) v antagonistickém
    prostředí. Cílem formální analýzy takového systému je syntéza kontrolního
    mechanismu, který zajistí, že zdroje nebudou vyčerpány a systém bude mít
    očekávanou funkcionalitu. Hra s čítači vyjadřuje zdroje pomocí sady
    celočíselných nezáporných čítačů. Kontrolní mechanismus a prostředí systému
    odpovídají dvěma antagonistickým hráčům, kteří opakovanými volbami přechodů mění
    hodnoty čítačů a vnitřní stav systému. Formálně jsou hry s čítači speciálním
    případem tahových her dvou hráčů na orientovaných grafech s nekonečně mnoha
    vrcholy. V přednášce budou popsány základní vlastnosti těchto her společně s
    analýzou složitosti jejich řešení. Dále budou představeny speciální podtřídy
    her, které zachovávají důležité vlastnosti z hlediska modelování systémů a
    zároveň umožňují efektivní analýzu.

    Všichni zájemci jsou zváni.