Formal and computational modeling of anticipation mechanisms of resilience in the complex sociotechnical air transport system

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