{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T21:34:09Z","timestamp":1775252049547,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T00:00:00Z","timestamp":1539734400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T00:00:00Z","timestamp":1539734400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Complex Adapt Syst Model"],"published-print":{"date-parts":[[2018,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>With ever-growing numbers of passengers and complexity of the air transport system, it becomes more and more of a challenge to manage the system in an effective, safe, and resilient manner. This is especially evident when disruptions occur. Understanding and improving resilience of the air transport system and its adaptive capacity to disruptions is essential for the system\u2019s uninterrupted successful performance. Using theoretical findings from behavioral sciences, this paper makes the first steps towards formalization of the adaptive capacity of resilience of the air transport system with a particular focus on its ability to anticipate. To this end, an expressive logic-based language called Temporal Trace Language is used. The proposed approach is illustrated by a case study, in which anticipatory mechanisms are implemented in an agent-based airport terminal operations model, to deal with a disruptive scenario of unplanned and challenging passenger demand at the security checkpoint. Results showed that the timing of an adaptive action could have a significant influence on reducing the risk of saturation of the system, where saturation implies performance loss. Additionally, trade-off relations were obtained between cost, corresponding to the extra resources mobilized, and the benefits, such as a decrease in risk of saturation of the passenger queue.<\/jats:p>","DOI":"10.1186\/s40294-018-0058-2","type":"journal-article","created":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T03:18:07Z","timestamp":1539746287000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Formal and computational modeling of anticipation mechanisms of resilience in the complex sociotechnical air transport system"],"prefix":"10.1186","volume":"6","author":[{"given":"Anne-Nynke","family":"Blok","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6879-1134","authenticated-orcid":false,"given":"Alexei","family":"Sharpanskykh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthieu","family":"Vert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,17]]},"reference":[{"key":"58_CR1","doi-asserted-by":"crossref","unstructured":"Abras S, Pesty S, Ploix S, Jacomino M (2008) An anticipation mechanism for power management in a smart home using multi-agent systems. In: ICTTA 2008 3rd international conference on information and communication technologies: from theory to applications, pp 1\u20136.","DOI":"10.1109\/ICTTA.2008.4530305"},{"key":"58_CR2","unstructured":"Amsterdam Schiphol Airport Closed as Power Outage Sparks Major Flight Delays for Passengers. https:\/\/www.independent.co.uk\/travel\/news-and-advice\/amsterdam-schiphol-airport-closed-flights-latest-power-outage-delays-passengers-departures-arrivals-a8327886.html. Accessed 9 May 2017."},{"key":"58_CR3","volume-title":"Transportation sector resilience","author":"J Baylis","year":"2015","unstructured":"Baylis J, Grayson M, Lau C, Gerstell G, Scott B, Nicholson J (2015) Transportation sector resilience. National Infrastructure Advisory Council, Arlington"},{"key":"58_CR4","doi-asserted-by":"crossref","unstructured":"Blumberg BM, Galyean TA (1995) Multi-level direction of autonomous creatures for real-time virtual environments. In: ACM (ed.) Proceedings of the 22nd annual conference on computer graphics and interactive techniques, pp 47\u201354","DOI":"10.1145\/218380.218405"},{"key":"58_CR5","unstructured":"Boos KLM. Drukte Schiphol Heeft Ons Miljoenen Gekost. http:\/\/nos.nl\/artikel\/2171295-klm-boos-drukte-schiphol-heeft-ons-miljoenen-gekost.html. Accessed 9 May 2017."},{"issue":"01","key":"58_CR6","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1142\/S0218843009001987","volume":"18","author":"T Bosse","year":"2009","unstructured":"Bosse T, Jonker CM, Van der Meij L, Sharpanskykh A, Treur J (2009) Specification and verification of dynamics in agent models. Int J Cooperat Inf Syst 18(01):167\u2013193","journal-title":"Int J Cooperat Inf Syst"},{"key":"58_CR7","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-45002-3_6","volume-title":"Anticipatory behavior in adaptive learning systems","author":"MV Butz","year":"2003","unstructured":"Butz MV, Sigaud O, Gerard P (2003) Internal models and anticipations in adaptive learning systems. Anticipatory behavior in adaptive learning systems. Springer, Berlin, pp 86\u2013109"},{"issue":"1","key":"58_CR8","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1186\/s40294-014-0006-8","volume":"2","author":"M Convertino","year":"2014","unstructured":"Convertino M, Liu Y, Hwang H (2014) Optimal surveillance network design: a value of information model. Complex Adaptive Syst Modeling 2(1):6","journal-title":"Complex Adaptive Syst Modeling"},{"key":"58_CR9","doi-asserted-by":"publisher","DOI":"10.4324\/9781315573205","volume-title":"Complexity science in air traffic management","author":"A Cook","year":"2016","unstructured":"Cook A, Rivas D (2016) Complexity science in air traffic management. Routledge, London"},{"key":"58_CR10","volume-title":"Agent-based modelling of socio-technical systems","author":"KH Van Dam","year":"2012","unstructured":"Van Dam KH, Nikolic I, Lukszo Z (2012) Agent-based modelling of socio-technical systems, vol 9. Springer, New York"},{"key":"58_CR11","volume-title":"Descartes\u2019 error: emotion, rationality and the human brain","author":"AR Damasio","year":"1994","unstructured":"Damasio AR (1994) Descartes\u2019 error: emotion, rationality and the human brain. University of Scranton Press, Scranton"},{"key":"58_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6984-2","volume-title":"Specification and verification of multi-agent systems","author":"M Dastani","year":"2010","unstructured":"Dastani M, Hindriks KV, Meyer J-J (2010) Specification and verification of multi-agent systems. Springer, Berlin"},{"key":"58_CR13","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-45002-3_9","volume-title":"Anticipatory behavior in adaptive learning systems","author":"P Davidsson","year":"2003","unstructured":"Davidsson P (2003) A framework for preventive state anticipation. Anticipatory behavior in adaptive learning systems. Springer, New York, pp 151\u2013166"},{"key":"58_CR14","volume-title":"Volcanic hazard from iceland","author":"S Day","year":"2010","unstructured":"Day S, Edwards S, Fearnley C, Kilburn C, McGuire B, Stanbrough L, Wall R, Delacroix S, James A, Smith A et al (2010) Volcanic hazard from iceland. UCL Institute of Risk and Disaster Reduction, London"},{"key":"58_CR15","unstructured":"Delta Malfunction on Land Keeps a Fleet of Planes From the Sky, The New York Times. https:\/\/www.nytimes.com\/2016\/08\/09\/business\/delta-air-lines-delays-computer-failure.html. Accessed 8 Aug 2016."},{"issue":"1","key":"58_CR16","doi-asserted-by":"publisher","first-page":"5343","DOI":"10.1016\/j.ifacol.2017.08.925","volume":"50","author":"AB Farjadian","year":"2017","unstructured":"Farjadian AB, Annaswamy AM, Woods D (2017) Bumpless reengagement using shared control between human pilot and adaptive autopilot. IFAC-PapersOnLine 50(1):5343\u20135348","journal-title":"IFAC-PapersOnLine"},{"key":"58_CR17","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1016\/j.ress.2013.07.004","volume":"121","author":"R Francis","year":"2014","unstructured":"Francis R, Bekera B (2014) A metric and frameworks for resilience analysis of engineered and infrastructure systems. Reliab Eng Syst Saf 121:90\u2013103","journal-title":"Reliab Eng Syst Saf"},{"key":"58_CR18","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1016\/S1364-6613(02)01913-7","volume":"6","author":"H Germund","year":"2002","unstructured":"Germund H (2002) Conscious thought as simulation of behaviour and perception. Trends Cogn Sci 6:242\u2013247","journal-title":"Trends Cogn Sci"},{"key":"58_CR19","first-page":"10","volume-title":"Workshop on anticipatory behavior in adaptive learning systems","author":"J Hoffmann","year":"2008","unstructured":"Hoffmann J (2008) Abc: a psychological theory of anticipative behavioral control. Workshop on anticipatory behavior in adaptive learning systems. Springer, Berlin, pp 10\u201330"},{"key":"58_CR20","volume-title":"Rag-the resilience analysis grid. Resilience engineering in practice: a guidebook","author":"E Hollnagel","year":"2011","unstructured":"Hollnagel E (2011) Rag-the resilience analysis grid. Resilience engineering in practice: a guidebook. Ashgate, Farnham"},{"key":"58_CR21","volume-title":"Resilience engineering in practice: a guidebook","author":"E Hollnagel","year":"2013","unstructured":"Hollnagel E (2013) Resilience engineering in practice: a guidebook. Ashgate Publishing Ltd, Ashgate"},{"key":"58_CR22","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0191-2615(03)00007-9","volume":"38","author":"SP Hoogendoorn","year":"2004","unstructured":"Hoogendoorn SP, Bovy PHL (2004) Pedestrian route-choice and activity scheduling theory and models. Transport Res B Methodolog 38:169\u2013190","journal-title":"Transport Res B Methodolog"},{"key":"58_CR23","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.ress.2015.08.006","volume":"145","author":"S Hosseini","year":"2016","unstructured":"Hosseini S, Barker K, Ramirez-Marquez JE (2016) A review of definitions and measures of system resilience. Reliab Eng Syst Saf 145:47\u201361. https:\/\/doi.org\/10.1016\/j.ress.2015.08.006","journal-title":"Reliab Eng Syst Saf"},{"key":"58_CR24","doi-asserted-by":"crossref","unstructured":"Jamroga W (2008) A temporal logic for markov chains. In: Proceedings of the 7th international joint conference on autonomous agents and multiagent systems. International Foundation for Autonomous Agents and Multiagent Systems, Vol 2, pp 697\u2013704","DOI":"10.65109\/KSTA5357"},{"key":"58_CR25","unstructured":"Janssen S, Blok AN, Knol A (2018) AATOM\u2014an agent-based Airport terminal operations model. TU Delft. https:\/\/github.com\/StefJanssen\/AATOM; a tool description can be found at https:\/\/pure.tudelft.nl\/portal\/en\/publications\/aatom--an-agentbased-airport-terminal-operations-model(eb03ba8b-a4ec-4754-9f63-41a0774c531a).html"},{"key":"58_CR26","volume-title":"Extensions of first-order logic","author":"M Manzano","year":"1996","unstructured":"Manzano M, Manzano TdLM (1996) Extensions of first-order logic, vol 19. Cambridge University Press, Cambridge"},{"key":"58_CR27","doi-asserted-by":"publisher","DOI":"10.1201\/9780203908297","volume-title":"Qualitative theory of dynamical systems","author":"A Michel","year":"2001","unstructured":"Michel A, Wang K, Hu B (2001) Qualitative theory of dynamical systems, vol 239. CRC Press, New York"},{"key":"58_CR28","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1080\/03081078608934946","volume":"12","author":"E Minch","year":"1986","unstructured":"Minch E (1986) A review of: anticipatory systems, by Robert Rosen, pergamon press, oxford, 1985, x + 436 pp. Int J Gen Syst 12:405\u2013409","journal-title":"Int J Gen Syst"},{"key":"58_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36614-7","volume-title":"Co-evolution of intelligent socio-technical systems","author":"E Mitleton-Kelly","year":"2013","unstructured":"Mitleton-Kelly E (2013) Co-evolution of intelligent socio-technical systems. Springer, Berlin"},{"key":"58_CR30","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.ress.2013.06.040","volume":"121","author":"M Ouyang","year":"2014","unstructured":"Ouyang M (2014) Review on modeling and simulation of interdependent critical infrastructure systems. Reliab Eng Syst Saf 121:43\u201360. https:\/\/doi.org\/10.1016\/j.ress.2013.06.040","journal-title":"Reliab Eng Syst Saf"},{"key":"58_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87702-8","volume-title":"The challenge of anticipation: a unifying framework for the analysis and design of artificial cognitive systems","author":"G Pezzulo","year":"2008","unstructured":"Pezzulo G, Butz MV, Castelfranchi C, Falcone R (2008) The challenge of anticipation: a unifying framework for the analysis and design of artificial cognitive systems. Springer, Berlin"},{"issue":"1\u20132","key":"58_CR33","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M Richardson","year":"2006","unstructured":"Richardson M, Domingos P (2006) Markov logic networks. Mach Learn 62(1\u20132):107\u2013136","journal-title":"Mach Learn"},{"key":"58_CR34","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.ress.2015.03.007","volume":"141","author":"AW Righi","year":"2015","unstructured":"Righi AW, Saurin TA, Wachs P (2015) A systematic literature review of resilience engineering: research areas and a research agenda proposal. Reliab Eng Syst Saf 141:142\u2013152","journal-title":"Reliab Eng Syst Saf"},{"key":"58_CR35","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1287\/trsc.19.2.154","volume":"19","author":"RC Rue","year":"1985","unstructured":"Rue RC, Rosenshine M (1985) The application of semi-markov decision processes to queueing of aircraft for landing at an airport. Transport Sci 19:154\u2013172","journal-title":"Transport Sci"},{"issue":"5","key":"58_CR36","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1080\/01969722.2011.595332","volume":"42","author":"A Sharpanskykh","year":"2011","unstructured":"Sharpanskykh A (2011) Agent-based modeling and analysis of socio-technical systems. Cybern Syst 42(5):308\u2013323","journal-title":"Cybern Syst"},{"issue":"1","key":"58_CR37","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10588-011-9083-9","volume":"17","author":"A Sharpanskykh","year":"2011","unstructured":"Sharpanskykh A, Stroeve SH (2011) An agent-based approach for structured modeling, analysis and improvement of safety culture. Comput Math Organ Theory 17(1):77\u2013117","journal-title":"Comput Math Organ Theory"},{"key":"58_CR38","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-1-4419-6984-2_11","volume-title":"Specification and verification of multi-agent systems","author":"A Sharpanskykh","year":"2010","unstructured":"Sharpanskykh A, Treur J (2010) A temporal trace language for formal modelling and analysis of agent systems. Specification and verification of multi-agent systems. Springer, New York, pp 317\u2013352"},{"key":"58_CR39","unstructured":"Stewart Head of Airport Development IATA UK (2014) The new airport development reference manual (adrm). In: Passenger terminal conference 2014"},{"key":"58_CR40","volume-title":"Managing the unexpected","author":"KM Sutcliffe","year":"2001","unstructured":"Sutcliffe KM, Christianson MK (2001) Managing the unexpected. Assuring high performance in an age of complexity, San Francisco"},{"key":"58_CR41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45213-5","volume-title":"Network-oriented modeling: addressing complexity of cognitive, affective and social interactions","author":"J Treur","year":"2016","unstructured":"Treur J (2016) Network-oriented modeling: addressing complexity of cognitive, affective and social interactions. Springer, Berlin"},{"key":"58_CR42","doi-asserted-by":"crossref","unstructured":"Woods DD. The theory of graceful extensibility: basic rules that govern adaptive systems (exp. release 09\/2018) (in press)","DOI":"10.1007\/s10669-018-9708-3"}],"container-title":["Complex Adaptive Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s40294-018-0058-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1186\/s40294-018-0058-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s40294-018-0058-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T20:22:45Z","timestamp":1775247765000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1186\/s40294-018-0058-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,17]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["58"],"URL":"https:\/\/doi.org\/10.1186\/s40294-018-0058-2","relation":{},"ISSN":["2194-3206"],"issn-type":[{"value":"2194-3206","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,10,17]]},"assertion":[{"value":"16 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 September 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 October 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"7"}}