Listar por tema "Discrete-event systems"
Mostrando ítems 1-1 de 1
-
Modelado y verificación mediante lógica lineal temporal de un grupo de dos ascensores con sistema de control de destino
(Universidade da Coruña, Servizo de Publicacións, 2019)[Resumen] Los grupos de ascensores con sistema de preselección de destino persiguen la reducción del tiempo de espera en edificios de mediana y gran altura como hoteles o bloques de oficinas. En este tipo de sistemas, ...