×

Modeling environmental crime in protected areas using the level set method. (English) Zbl 1428.35086

Summary: National parks often serve as hotspots for environmental crime such as illegal deforestation and animal poaching. Previous attempts to model environmental crime either were discrete and network-based or required very restrictive assumptions on the geometry of the protected region and made heavy use of radial symmetry. We formulate a level set method to track criminals inside a protected region which uses real elevation data to determine speed of travel, does not require any assumptions of symmetry, and can be applied to regions of arbitrary shape. In doing so, we design a Hamilton-Jacobi equation to describe movement of criminals while also incorporating the effects of patrollers who attempt to deter the crime. We discuss the numerical schemes that we use to solve this Hamilton-Jacobi equation. Finally, we apply our method to Yosemite National Park and Kangaroo Island, Australia, and design practical patrol strategies with the goal of minimizing the area that is affected by criminal activity.

MSC:

35F21 Hamilton-Jacobi equations
97M10 Modeling and interdisciplinarity (aspects of mathematics education)
35Q92 PDEs in connection with biology, chemistry and other natural sciences
35Q91 PDEs in connection with game theory, economics, social and behavioral sciences

Software:

TopoToolbox
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] H. J. Albers, Spatial modeling of extraction and enforcement in developing country protected areas, Resource Energy Econ., 32 (2010), pp. 165-179.
[2] A. Bayen, I. M. Mitchell, M. Oishi, and C. J. Tomlin, Aircraft autolander safety analysis through optimal control-based reach set computation, J. Guidance Control Dynam., 30 (2007), pp. 68-77.
[3] Y. T. Chow, J. Darbon, S. Osher, and W. Yin, Algorithm for Overcoming the Curse of Dimensionality for State-Dependent Hamilton-Jacobi Equations, preprint, , 2017. · Zbl 1381.65048
[4] M. G. Crandall and P.-L. Lions, Two approximations of solutions of Hamilton-Jacobi equations, Math. Comp., 43 (1984), pp. 1-19. · Zbl 0556.65076
[5] L. E. Dubins, On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents, Amer. J. Math., 79 (1957), pp. 497-516. · Zbl 0098.35401
[6] F. Fang, A. X. Jiang, and M. Tambe, Optimal patrol strategy for protecting moving targets with multiple mobile resources, in Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2013, pp. 957-964.
[7] F. Fang, T. H. Nguyen, R. Pickles, W. Y. Lam, G. R. Clements, B. An, A. Singh, B. C. Schwedock, M. Tambe, and A. Lemieux, PAWS–a deployed game-theoretic application to combat poaching, AI Magazine, 38 (2017), pp. 23-36.
[8] F. Gibou, R. P. Fedkiw, and S. Osher, A review of level-set methods and some recent applications, J. Comput. Phys., 353 (2018), pp. 82-109. · Zbl 1380.65196
[9] I. J. Irmischer and K. C. Clarke, Measuring and modeling the speed of human navigation, Cartography Geographic Inform. Sci., 45 (2017), pp. 177-186.
[10] M. P. Johnson, F. Fang, and M. Tambe, Patrol strategies to maximize pristine forest area, in Proceedings of the 26th AAAI Conference on Artificial Intelligence, 2012.
[11] N. Kamra, U. Gupta, F. Fang, Y. Liu, and M. Tambe, Policy learning for continuous space security games using neural networks, in Proceedings of the AAAI Conference on Artificial Intelligence, 2018.
[12] D. Kar, F. Fang, F. Delle Fave, N. Sintov, and M. Tambe, A game of thrones: When human behavior models compete in repeated Stackelberg security games, in Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2015, pp. 1381-1390.
[13] D. Kar, B. Ford, S. Gholami, F. Fang, A. Plumbtree, M. Tambe, M. Driciru, F. Wanyama, and A. Rwetsiba, Cloudy with a chance of poaching: Adversary behavior modeling and forecasting with real-world poaching data, in Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems, S. Das, E. Durfee, K. Larson, and M. Winikoff, eds., International Foundation for Autonomous Agents and Multiagent Systems, 2017, pp. 159-167.
[14] N. Leader-Williams and E. J. Milner-Gulland, Policies for the enforcement of wildlife laws: The balance between detection and penalties in Luangwa Valley, Zambia, Conservation Biol., 7 (1993), pp. 611-617.
[15] B. Lee, J. Darbon, S. Osher, and M. Kang, Revisiting the redistancing problem using the Hopf-Lax formula, J. Comput. Phy., 330 (2017), pp. 268-281. · Zbl 1378.35292
[16] S. McCarthy, M. Tambe, C. Kiekintveld, M. L. Gore, and A. Killion, Preventing illegal logging: Preventing illegal logging: Simultaneous optimization of resource teams and tactics for security, in Proceedings of the AAAI Conference on Artificial Intelligence, 2016.
[17] S. Osher and R. P. Fedkiw, Level Set Methods and Dynamic Implicit Surfaces, Appl. Math. Sci. 153, Springer-Verlag, Berlin, 2003. · Zbl 1026.76001
[18] S. Osher and J. Sethian, Fronts propagating with curvature dependent speed: Algorithms based on Hamilton-Jacobi formulations, J. Comput. Phys., 79 (1988), pp. 12-49. · Zbl 0659.65132
[19] S. Osher and C. W. Shu, High-order essentially nonoscillatory schemes for Hamilton-Jacobi equations, SIAM J. Numer. Anal., 28 (1991), pp. 907-922. · Zbl 0736.65066
[20] C. Parkinson, D. Arnold, A. L. Bertozzi, Y. T. Chow, and S. Osher, Optimal human navigation in steep terrain: A Hamilton-Jacobi-Bellman approach, Commun. Math. Sci., to appear, . · Zbl 1417.49033
[21] W. Schwanghart and N. Kuhn, Topotoolbox: A set of Matlab functions for topographic analysis, Environ. Model. & Software, 25 (2010), pp. 770-781.
[22] W. Schwanghart and D. Scherler, TopoToolbox 2: MATLAB-based software for topographic analysis and modeling in Earth surface sciences, Earth Surface Dynam., 2 (2014), pp. 1-7.
[23] J. Sethian and A. Vladimirsky, Ordered upwind methods for static Hamilton-Jacobi equations, Proc. Nat. Acad. Sci., 98 (2001), pp. 11069-11074. · Zbl 1002.65112
[24] J. Sethian and A. Vladimirsky, Ordered upwind methods for static Hamilton-Jacobi equations: Theory and algorithms, SIAM J. Numer. Anal., 41 (2003), pp. 325-363. · Zbl 1040.65088
[25] R. Takei, R. Tsai, H. Shen, and Y. Landa, A practical path-planning algorithm for a simple car: A Hamilton-Jacobi approach, in Proceedings of the 2010 American Control Conference, 2010, pp. 6175-6180.
[26] Quantum GIS Geographic Information System, Quantum GIS Development Team, 2017, http://qgis.osgeo.org.
[27] W. Tobler, Three Presentations on Geographical Analysis and Modeling, Tech. Report 93-1, National Center for Geographic Information and Analysis, 1993.
[28] Z. Zhou, J. Ding, H. Huang, R. Takei, and C. Tomlin, Efficient path planning algorithms in reach-avoid problems, Automatica, 89 (2018), pp. 28-36. · Zbl 1387.49054
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.