Abstract
Recent work in the field of security for the generation of patrol schedules has provided many solutions to real-world situations by using Stackelberg models and solving them with linear programming software. More specifically, some approaches have addressed the difficulties of defining patrol schedules for moving targets such as ferries to minimize their vulnerabilities to terrorist threats. However, one important aspect of these types of problems that hasn’t been explored yet concerns the concept of time-windows. In this work, we show the relevance of considering time-windows when generating solutions such as to attend to a broader class of problems and generate sound solutions. We propose some improvements to the model for the generation of patrol schedules for attacks on mobile targets with adjustable time durations while keeping the constraints linear to take advantage of linear programming solvers. To address the scalability issues raised by this new model, we propose a general column-generation approach composed of a master and slave problem, which can also be used on the original problem of patrol generation without time-windows. Finally, we discuss and propose a new two-phase equilibrium refinement approach to improve the robustness of the solutions found.
J.-F. Landry–This work was funded by MITACS, Menya Solutions inc. and the Natural Sciences and Engineering Research Council of Canada (NSERC).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Korzhyk, D., Yin, Z., Kiekintveld, C., Conitzer, V., Tambe, M.: Stackelberg vs. nash in security games: An extended investigation of interchangeability, equivalence, and uniqueness. CoRR abs/1401.3888 (2014)
Basilico, N., Gatti, N., Amigoni, F.: Patrolling security games: Definition and algorithms for solving large instances with single patroller and single intruder. Artificial Intelligence 184–185, 78–123 (2012)
Basilico, N., Gatti, N., Amigoni, F.: Leader-follower strategies for robotic patrolling in environments with arbitrary topologies. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009, vol. 1. International Foundation for Autonomous Agents and Multiagent Systems, Richland, pp. 57–64 (2009)
Bošanský, B., Lisý, V., Jakob, M., Pěchouček, M.: Computing time-dependent policies for patrolling games with mobile targets. In: The 10th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2011, vol 3. International Foundation for Autonomous Agents and Multiagent Systems, Richland, pp. 989–996 (2011)
Lisý, V., Píbil, R., Stiborek, J., Bosanský, B., Pechoucek, M.: Game-theoretic approach to adversarial plan recognition. In: Raedt, L.D., Bessiére, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F., (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol. 242. IOS Press, pp. 546–551 (2012)
Tambe, M.: Security and Game Theory: Algorithms, Deployed Systems, Lessons Learned, 1st edn. Cambridge University Press, New York (2011)
Fang, F., Jiang, A., Tambe, M.: Protecting Moving Targets with Multiple Mobile Resources. Journal of Artificial Intelligence 48, 583–634 (2013)
Xu, H., Fang, F., Jiang, A.X., Conitzer, V., Dughmi, S., Tambe, M.: Solving zero-sum security games in discretized spatio-temporal domains. In: Proceedings of the 28th Conference on Artificial Intelligence (AAAI 2014), Québec, Canada (2014)
Miltersen, P.B., Sørensen, T.B.: Computing proper equilibria of zero-sum games. In: van den Herik, H.J., Ciancarini, P., Donkers, H.H.L.M.J. (eds.) CG 2006. LNCS, vol. 4630, pp. 200–211. Springer, Heidelberg (2007)
Fudenberg, D., Tirole, J.: Game Theory, 1st edn. The MIT Press, Cambridge (1991)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Landry, JF., Dussault, JP., Beaudry, É. (2015). Improvements to the Linear Optimization Models of Patrol Scheduling for Mobile Targets. In: Barbosa, D., Milios, E. (eds) Advances in Artificial Intelligence. Canadian AI 2015. Lecture Notes in Computer Science(), vol 9091. Springer, Cham. https://doi.org/10.1007/978-3-319-18356-5_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-18356-5_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-18355-8
Online ISBN: 978-3-319-18356-5
eBook Packages: Computer ScienceComputer Science (R0)