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...

Evaluation of a Multi-Agent System approach to airline disruption management

Each day, airlines face disturbances that disrupt their carefully planned operations. Events like adverse weather conditions, sick crew members, or damaged aircraft often result in delays in the airline's schedule. An airline recovers from such disruptions through the role played by its Airline Operations Control (AOC). A Multi-Agent System ...

Modelling and Simulation of Decision-making Processes in Airline Operations Control

Airlines are subject to external events that may disrupt their day-to-day operations. These disruptions lead to additional costs for crew, fuel, aircraft, maintenance and a loss of passenger goodwill. Therefore, each airline has an Airline Operations Control (AOC) department that is responsible for disruption management. The problems faced by...

Agent-Based Modelling and Simulation of Safety and Resilience in Air Transportation

Purpose: In order to improve the safety, capacity, economy, and sustainability of air transportation, revolutionary changes are required. These changes might range from the introduction of new technology and operational procedures to unprecedented roles of human operators and the way they interact. Implementing such changes can introduce both...