Imagen de cubierta local
Imagen de cubierta local
Imagen de Google Jackets

Continuous probability and nondeterminism in labeled transaction systems / Nicolás Wolovick.

Por: Colaborador(es): Detalles de publicación: [S.l. : s.n. ], 2012.Descripción: 138 p. : il. ; 30 cmTema(s): Recursos en línea: Disponible en línea
Contenidos parciales:
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.
Nota de disertación: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. Resumen: 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.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Existencias
Tipo de ítem Biblioteca actual Signatura Copia número Estado Notas Fecha de vencimiento Código de barras Reserva de ítems
Tesis de Doctorado Tesis de Doctorado FaMAF Vitrina T C WOL 1 Disponible Ej. de CONSULTA. Disponible también en línea. 21480
Total de reservas: 0

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

Haga clic en una imagen para verla en el visor de imágenes

Imagen de cubierta local


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)