ListarISA - Contribuciones a congresos científicos por tema "Ascensores"
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
(Comité Español de Automática - Universidade da Coruña Servizo de Publicacións, 2019)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, los pasajeros ...