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

dc.contributor.authorBouarfa, S.
dc.contributor.authorAydoğan, Reyhan
dc.contributor.authorSharpanskykh, A.
dc.contributor.departmentComputer Science
dc.contributor.ozuauthorAYDOĞAN, Reyhan
dc.date.accessioned2023-05-16T10:09:30Z
dc.date.available2023-05-16T10:09:30Z
dc.date.issued2021-02-12
dc.description.abstractThis 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.en_US
dc.description.versionPublisher versionen_US
dc.identifier.doi10.1007/s40860-020-00123-0en_US
dc.identifier.endpage298en_US
dc.identifier.issn2199-4668en_US
dc.identifier.issue4en_US
dc.identifier.scopus2-s2.0-85101023434
dc.identifier.startpage279en_US
dc.identifier.urihttp://hdl.handle.net/10679/8272
dc.identifier.urihttps://doi.org/10.1007/s40860-020-00123-0
dc.identifier.volume7en_US
dc.language.isoengen_US
dc.peerreviewedyesen_US
dc.publicationstatusPublisheden_US
dc.publisherSpringeren_US
dc.relation.ispartofJournal of Reliable Intelligent Environments
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subject.keywordsAirline operations controlen_US
dc.subject.keywordsFormal modellingen_US
dc.subject.keywordsModel checkingen_US
dc.subject.keywordsMulti-agent negotiationen_US
dc.subject.keywordsRule-based modellingen_US
dc.subject.keywordsWorkflow modellingen_US
dc.titleFormal modelling and verification of a multi-agent negotiation approach for airline operations controlen_US
dc.typeArticleen_US
dspace.entity.typePublication
relation.isOrgUnitOfPublication85662e71-2a61-492a-b407-df4d38ab90d7
relation.isOrgUnitOfPublication.latestForDiscovery85662e71-2a61-492a-b407-df4d38ab90d7

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Formal modelling and verification of a multi-agent negotiation approach for airline operations control.pdf
Size:
7.06 MB
Format:
Adobe Portable Document Format
Description:

License bundle

Now showing 1 - 1 of 1
Placeholder
Name:
license.txt
Size:
1.45 KB
Format:
Item-specific license agreed upon to submission
Description:

Collections