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