Airports are attractive targets for terrorists, as they are designed to accommodate and process large amounts of people, resulting in a high concentration of potential victims. A popular method to mitigate the risk of terrorist attacks is through security patrols, but resources are often limited. Game theory is commonly used as a methodology to find optimal patrol routes for security agents such that security risks are minimized. However, game-theoretic models suffer from payoff uncertainty and often rely solely on expert assessment to estimate game payoffs. Experts cannot incorporate all aspects of a terrorist attack in their assessment. For instance, attacker behavior, which contributes to the game payoff rewards, is hard to estimate precisely. To address this shortcoming, we proposed a novel empirical game theory approach in which payoffs are estimated using agent-based modeling. Using this approach, we simulated different attacker and defender strategies in an agent-based model to estimate game-theoretic payoffs, while a security game was used to find optimal security patrols. We performed a case study at a regional airport, and show that the optimal security patrol is non-deterministic and gives special emphasis to high-impact areas, such as the security checkpoint. The found security patrol routes are an improvement over previously found security strategies of the same case study.

Airport security checkpoints are the most important bottleneck in airport operations, but few studies aim to empirically understand them better. In this work we address this lack of data-driven quantitative analysis and insights about the security checkpoint process. To this end, we followed a total of 2277 passengers through the security checkpoint process at Rotterdam The Hague Airport (RTM), and published detailed timing data about their journey through the process. This dataset is unique in scientific literature, and can aid future researchers in the modelling and analysis of the security checkpoint. Our analysis showed important differences between six identified passenger types. Business passengers were found to be the fastest group, while passengers with reduced mobility (PRM) and families were the slowest two groups. We also identified events that hindered the performance of the security checkpoint, in which groups of passengers had to wait long for security employees or other passengers. A total of 335 such events occurred, with an average of 2.3 passengers affected per event. It was found that a passenger that had a high luggage drop time was followed by an event in 27% of the cases, which was the most frequent cause. To mitigate this waiting time of subsequent passengers in the security checkpoint process, we performed an experiment with a so-called service lane. This lane was used to process passengers that are expected to be slow, while the remaining lanes processed the other passengers. It was found that the mean throughput of the service lane setups was higher than the average throughput of the standard lanes, making it a promising setup to investigate further.

AATOM, the Agent-based Airport Terminal Operations Model simulator is open-source, agent-based at its core, and contains several calibrated presets and templates of basic airport terminal components that can readily be used. Agents in this simulator follow the AATOM architecture, an activity-based architecture for human airport agents. This allows analysis based on agent activities, such as shopping and check-in, which is of vital interest for airports. The combination of agent-based modeling and the presence of basic airport terminal components makes AATOM a unique simulator, allowing the modeler to only focus on implementation of important features of their model. The usefulness of AATOM is demonstrated by presenting case studies in the areas of airport security, gate assignment and resilience.

Modern airports operate under high demands and pressures, and strive to satisfy many diverse, interrelated, sometimes conflicting performance goals. Airport performance areas, such as security, safety, and efficiency are usually studied separately from each other. However, operational decisions made by airport managers often impact several areas simultaneously. Current knowledge on how different performance areas are related to each other is limited. This paper contributes to filling this gap by identifying and quantifying relations and trade-offs between the detection performance of illegal items and the average queuing time at airport security checkpoints. These relations and trade-offs were analyzed by simulations with a cognitive agent model of airport security checkpoint operations. By simulation analysis a security checkpoint performance curve with three different regions was identified. Furthermore, the importance of focus on accuracy for a security operator is shown. The results of the simulation studies were related to empirical research at an existing regional airport.

Analyzing agent-based models is a complex task. Agent-based models typically contain complex non-linear interactions between agents and generate emergent properties that cannot easily be explained. They are most commonly analyzed using sensitivity analysis techniques. While these techniques help understanding agent-based models better, they are not a one-size-fits-all solution. This paper explores the novel use of causal discovery algorithms from the field of causality as an additional means to analyze agent-based models. We propose the AbACaD methodology: Agent-based model Analysis using Causal Discovery. In this methodology, emergence in agent-based models is analyzed using causal discovery in combination with both machine learning and sensitivity analysis techniques. AbACaD combines different causal discovery algorithms, using a novel causal graph merging algorithm, to generate a causal graph based on agent-based simulation outcomes. This graph represents the causal relationships between the model parameters and the output variables of the model, and is then exploited to improve the understanding of emergent properties in the model. To demonstrate the effectiveness of AbACaD, it is applied to two models: the El Farol bar model, and an airport security and efficiency model. New emergent properties, such as the moment agents change their strategy in the El Farol bar model were identified. Furthermore, we found queue length to be an important factor in the number of casualties in an improvised explosive device (IED) attack. These emergent properties were well identified using AbACaD, but are hard to identify with traditional analysis techniques alone.