Continuous probability and nondeterminism in labeled transaction systems /

Wolovick, Nicolás, 1974-

Continuous probability and nondeterminism in labeled transaction systems / Nicolás Wolovick. - [S.l. : s.n. ], 2012. - 138 p. : il. ; 30 cm.

Título en castellano : Probabilidades y no determinismo continuo en sistemas de transiciones etiquetadas.

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012.

Labeled transition systems -- Measure theory -- Measurable functions -- integration -- Transition probabilities -- Labeled Markov processes -- NLMPs -- Non-probabilistic NLMPs -- Semantic models using NLMPs -- Similar models -- Bisimulations and logics -- Constructing a path measure -- Achievements -- Futur research directions.

En este trabajo definimos un modelo para sistemas interactivos con probabilidades y nodeterminismo continuo sobre un espacio de estados continuo.
Nuestro modelo generaliza los procesos de Markov etiquetados, un formalismo que captura sistemas interactivos continuos con probabilismo sobre una base fuerte en Teoría de la Medida. Definimos tres nociones de bisimulación fuerte
y mostramos su caracterización lógica con una lógica modal. Mostramos además como este modelo es capaz de capturar la semántica de sistemas temporizados e híbridos.
Definimos planificadores que cuantifican el nodeterminismo.




Performance of systems.
Program verification
Concurrent Programming.

Continuous probablistic and nondeterministic systems. Measure theory. Schedulers. Semantics of timed and hybrid systems with probabilism. Teoría de la Medida. Verificación de programas. Rendimiento de sistemas. Programación concurrente.


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)