- RIUMA Principal
- Investigación
- Ingeniería de Sistemas y Automática - (ISA)
- ISA - Contribuciones a congresos científicos
- Listar ISA - Contribuciones a congresos científicos por autor
Listar ISA - Contribuciones a congresos científicos por autor "Arregui, Alberto"
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
Toscano-Moreno, Manuel; Arregui, Alberto; Mandow, Anthony; García-Cerezo, Alfonso José (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 ...