Browsing by Author "Hermanns, Holger"
Now showing items 1-3 of 3
-
Automatización de técnicas de división por importancia para la simulación de eventos raros
Budde, Carlos Esteban (2017-05)Existen muchas técnicas para estudiar y verificar descripciones formales de sistemas probabilistas. La simulación de Monte Carlo por eventos discretos ofrece una alternativa para la generalidad de procesos estocásticos ... -
Autómatas estocásticos para sistemas concurrentes y tolerantes a fallas
Monti, Raúl Enrique (2018-12)En esta tesis introducimos una nueva clase de autómata llamada Input/Output Stochastic Automata (IOSA). Los IOSA son composicionales, y los IOSA cerrados (sin acciones de entrada) son completamente deterministas y por lo ... -
Rare event simulation with fully automated Importance splitting
Budde, Carlos Esteban; D'Argenio, Pedro Ruben; Hermanns, Holger (2015)Probabilistic model checking is a powerful tool for analysing probabilistic systems but it can only be efficiently applied to Markov models. Monte Carlo simulation provides an alternative for the generality of stochastic ...