Agent-based Modelling and Simulation of Airline Operations Control Decision-Making under Uncertainty

Motivated by the need to understand and further optimize AOC decision making processes under uncertainty, this paper implements and evaluates the effects of operational uncertainties using Agent-Based Modelling and Simulation. The specific application concerns a challenging scenario composed of two consecutive disruptions. To evaluate the...

Formal modelling and verification of a multi-agent negotiation approach for airline operations control

This paper proposes and evaluates a new airline disruption management strategy using multi-agent system modelling, simulation, and verification. This new strategy is based on a multi-agent negotiation protocol and is compared with three airline strategies based on established industry practices. The application concerns Airline Operations...