Resumen

La modelización de un sistema de control de tráfico aéreo (ATC) es un tema abierto y se ha convertido en un problema desafiante debido a su complejidad y al aumento del tráfico en aeropuertos y en el espacio aéreo. En consecuencia, se sugieren sistemas automatizados de ATC para mejorar la eficiencia garantizando los estándares de seguridad. Se informa que el número de colisiones que ocurren en la superficie de los aeropuertos es tres veces mayor que en el espacio aéreo. Además, se observa que las congestiones en las puertas y plataformas causan retrasos significativos en los aeropuertos; por lo tanto, se requieren mecanismos efectivos de monitoreo y orientación para controlar el tráfico aéreo terrestre. En este documento, se proporciona un procedimiento formal para gestionar el tráfico aéreo desde la puerta hasta ingresar en el área activa del aeropuerto para el rodaje utilizando la notación Z. Se describe una integración de los controladores de puertas y plataformas para manipular la información para la

• Materias:Ecuaciones diferenciales Ecuaciones integrales Variables independientes Sistemas dinámicos Combinaciones convexas
• Subjects:Differential equations Integral equations Independent variables Dynamic systems Convex combinations
• Palabras claves:Modelado; Control de tráfico aéreo; Sistema; Complejidad; Eficiencia; Seguridad
• Keywords:Modelling; Air traffic control; System; Complexity; Efficiency; Safety