No determinismo completamente medible en procesos probabilisticos continuos / Carlos Esteban Budde.
Detalles de publicación: [S.l. : s.n. ], 2012.Descripción: 86 hojas : ilustraciones ; 30 cmTema(s):Tipo de ítem | Biblioteca actual | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|---|
Trabajo Especial de Grado | FaMAF Secc. Tesis y Trabajos especiales | Trabajo Especial Computación CAJA 12 - 21383 | 1 | Disponible | 21383 |
Incluye apéndices.
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012.
Mediante herramientas matemáticas topológicas y de teoría de
la medida, el grupo de Josée Desharnais extiende la expresividad del modelo a espacios medibles de dimensión potencialmente infinita no numerable. A estos nuevos sistemas se los denomina “procesos de Markov etiquetados” (LMP—Labelled Markov processes).
Los LMPs no consideran situaciones de no determinismo interno, que son comunes tanto en situaciones de laboratorio como en las aplicaciones a casos específicos de la vida real. Para suplir esta falencia surgen los “procesos de Markov etiquetados no deterministas” (NLMPs—Non-deterministic labelled Markov processes) . El estudio de estos procesos por
parte del grupo de D’Argenio revela diferencias entre las diversas nociones de bisimulación del modelo, tanto en casos determinísticos como en el escenario más general. Aquí se busca acercar dichas nociones.
El presente trabajo extiende la teoría de los procesos de Markov etiquetados no deterministas, otorgándole a estos sistemas una estructura medible sobre su espacio de
etiquetas. Las bisimulaciones, la lógica asociada y todos los resultados principales para los NLMPs se adaptan a la teoría con estructura en las etiquetas. Se prueba además que
este nuevo modelo es un caso particular del anterior, en el cual dejan de ser válidos ciertos sistemas ideados por el grupo, que verifican (en procesos sin estructura en las etiquetas) la existencia de diferencias entre las relaciones de bisimulación.