Síntesis dirigida de controladores para sistemas de eventos discretos

Mostrar todas las versiones(3)

El problema de construir automáticamente un componente de software que al ser ejecutado en un ambiente dado satisfaga un objetivo, es recurrente en la ingeniería del software y en particular en el campo de los sistemas de eventos discretos. El control supervisor, la síntesis de sistemas reactivos y...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Ciolek, Daniel Alfredo
Otros Autores: Uchitel, Sebastián
Formato: Tesis doctoral publishedVersion
Lenguaje:Inglés
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2018
Materias:
SISTEMAS DE EVENTOS DISCRETOS
SINTESIS DE SISTEMAS REACTIVOS
PLANIFICACION AUTOMATICA
ENTORNOS NO-DETERMINISTICOS Y PARCIALMENTE OBSERVABLES
CONTROL SUPERVISOR
DISCRETE EVENT SYSTEMS
SUPERVISORY CONTROL
REACTIVE SYNTHESIS
AUTOMATED PLANNING
NON-DETERMINISTIC AND PARTIALLY OBSERVABLE ENVIRONMENTS
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n6503_Ciolek
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares