Now showing items 1-3 of 3

  • Aproximativní techniky pro Markovovy modely 

    Andriushchenko, Roman
    Předkládaná práce je zaměřena na popis aproximativních technik pro analýzu Markovských řetězců, konkrétně na metody založené na agregaci nebo ořezávání stavového prostoru. Na začátku je představen postup umožňující aplikaci ...
  • Computer-Aided Synthesis of Probabilistic Models 

    Andriushchenko, Roman
    Předkládaná práce se zabývá problémem automatizované syntézy pravděpodobnostních systémů: máme-li rodinu Markovských řetězců, jak lze efektivně identifikovat ten který odpovídá zadané specifikaci? Takové rodiny často ...
  • Extended Transfer Bound Error Analysis for Parametric Channel withContinuous Valued Correlated Random Nuisance Parameter 

    Vcelak, J.; Sykora, J. (Společnost pro radioelektronické inženýrství, 2005-09)
    In this paper, we address the extended use of transfer bound analysis of bit error rate (BER) properties. In conjunction with proper parameter modeling, we offer a method to resolve the problem of transfer bound applicability ...