Buscar
Mostrando ítems 1-10 de 10
Modeling and specification of distributed timed systems.
(2014-03-14)
El aumento en la complejidad de los sistemas distribuidos y temporizados hace que ellos sean muy difícil de modelary especificar correctamente. Diferentes métodos formales son útiles para el proceso de modelado y especificación ...
Verificación de autómatas temporizados en arquitecturas monoprocesador y multiprocesadorTimed automata model checking in monoprocessor and multiprocessor architectures
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2007)
Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufaturaFault diagnosis by timed automata : application on modular production system
(Universidade Federal de SergipePós-Graduação em Engenharia ElétricaBrasilUFS, 2017)
Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example
(UR. FI-INCO,, 2000)
Para el análisis de sistemas reactivos y de tiempo real dos importantes enfoques formales se destacan: la verificación de modelos, o model checking, y el análisis deductivo basado en asistentes de pruebas. El primero se ...
Compiladores de grafos temporizados
(UR. FI-INCO,, 2000)
Los sistemas de tiempo real son sistemas que toman en cuenta la evolución del tiempo, y permiten exptesar propiedades temporales cuantitativas. En este tipo de sistemas es posible formular expresiones del tipo "toda ejecución ...
Diseño e implementación de un nuevo sistema de control para un motor diésel de bombeo de agua controlado por autómatas programables.
(Universidad Católica de Santiago de Guayaquil, 2023)
Integrated method for designing complex cyber-physical systems
(2018)
O projeto de sistemas ciberfísicos (CPS) é considerado uma atividade complexa, sendo composto por diferentes fases, essenciais para sua concepção. Neste sentido, a definição detalhada das fases de projeto se faz necessária, ...