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

Name: Formal modelling and verification of a multi-agent negotiation approach for airline operations control
Author: Bouarfa, S., Aydoğan, Reyhan, Sharpanskykh, A.

İsim	Formal modelling and verification of a multi-agent negotiation approach for airline operations control
Yazar	Bouarfa, S., Aydoğan, Reyhan, Sharpanskykh, A.
Basım Tarihi:	2021-02-12
Basım Yeri	- Springer
Konu	Airline operations control, Formal modelling, Model checking, Multi-agent negotiation, Rule-based modelling, Workflow modelling
Tür	Süreli Yayın
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	2199-4668
Kayıt Numarası	19be39a9-c5f5-472e-93b2-c5be766a7dd2
Lokasyon	Computer Science
Tarih	2021-02-12
Örnek Metin	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 Control whose core functionality is disruption management. To evaluate the new strategy, a rule-based multi-agent system model of the AOC and crew processes has been developed. This model is used to assess the effects of multi-agent negotiation on airline performance in the context of a challenging disruption scenario. For the specific scenario considered, the multi-agent negotiation strategy outperforms the established strategies when the agents involved in the negotiation are experts. Another important contribution is that the paper presents a logic-based ontology used for formal modelling and analysis of AOC workflows.
DOI	10.1007/s40860-020-00123-0
Cilt	7

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

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

Yazar Bouarfa, S., Aydoğan, Reyhan, Sharpanskykh, A.

Basım Tarihi 2021-02-12

Basım Yeri - Springer

Konu Airline operations control, Formal modelling, Model checking, Multi-agent negotiation, Rule-based modelling, Workflow modelling

Tür Süreli Yayın

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 2199-4668

Kayıt Numarası 19be39a9-c5f5-472e-93b2-c5be766a7dd2

Lokasyon Computer Science

Tarih 2021-02-12

Örnek Metin 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 Control whose core functionality is disruption management. To evaluate the new strategy, a rule-based multi-agent system model of the AOC and crew processes has been developed. This model is used to assess the effects of multi-agent negotiation on airline performance in the context of a challenging disruption scenario. For the specific scenario considered, the multi-agent negotiation strategy outperforms the established strategies when the agents involved in the negotiation are experts. Another important contribution is that the paper presents a logic-based ontology used for formal modelling and analysis of AOC workflows.

DOI 10.1007/s40860-020-00123-0

Cilt 7