Optimal Control of Hybrid Systems in Air Traffic Applications

摘要: Growing concerns over the scalability of air traffic operations, transportation fuel emissions and prices, as well advent communication sensing technologies motivate improvements to management system. To address such improvements, in this thesis a hybrid dynamical model an abstraction system is considered. Wind hazardous weather impacts are included using stochastic model. This focuses on design algorithms for verification control systems application these problems. In deterministic setting, numerically efficient algorithm optimal proposed based extensions classical techniques. applied optimize trajectory Airbus 320 aircraft presence wind storms. problem reaching target set while avoiding obstacles (reach-avoid) formulated two-player game account external agents' influence dynamics. The solution approach conflict prediction wind. Due uncertainty forecasts weather, hence unsafe regions airspace flight, reach-avoid framework extended safe sets. methodology used maximize probability safety paths through weather. Finally, modeling optimization arrival runway configuration dense subject data addressed. solved with hierarchical that decouples performance. As illustrated problem, large scale operations motivates future work implementation algorithms.