Continuous probability and nondeterminism in labeled transaction systems / Nicolás Wolovick.
Detalles de publicación: [S.l. : s.n. ], 2012.Descripción: 138 p. : il. ; 30 cmTema(s): Recursos en línea: Disponible en líneaTipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Tesis de Doctorado | FaMAF Vitrina | T C WOL | 1 | Disponible | Ej. de CONSULTA. Disponible también en línea. | 21480 |
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.
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.
Disponible en línea