CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

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

By: Wolovick, Nicolás, 1974-.
Contributor(s): D'Argenio, Pedro Ruben, 1968- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2012Description: 138 p. : il. ; 30 cm.Subject(s): 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 concurrenteOnline resources: Acceso a Versión Digital Disponible en línea
Partial contents:
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.
Dissertation note: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. Summary: 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.
Tags from this library: No tags from this library for this title.
Item type Current location Call number Copy number Status Notes Date due Barcode Item holds
Tesis de Doctorado Tesis de Doctorado FaMAF
Vitrina
T C WOL 1 Available Ej. de CONSULTA. Disponible también en línea. 21480
Total holds: 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.

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.

Disponible en línea

La biblioteca posee 1 ej.

Click on an image to view it in the image viewer

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

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

publicofamaf@gmail.com



//