- RIUMA Principal
- Listar por autor
Listar 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 ...