Probabilistic certification of pan-tilt-zoom camera surveillance systems

In this work a method to evaluate the performance of autonomous patrolling systems is introduced based on stochastic reachability with random sets. We consider set-valued models with stochastic dynamics for multiple pan-tilt-zoom (PTZ) cameras acting as pursuers and a single evader. The problem of maximizing the probability that the evader successfully completes an intrusion objective while avoiding capture by the cameras is considered and posed as a stochastic reach-avoid problem. The solution of the stochastic reach-avoid problem is solved via dynamic programming where the optimal value function is used as a quality indicator of each patrolling strategy. A comparison between multiple patrolling strategies is provided via simulation of a realistic patrolling scenario.

[1]  Amit K. Roy-Chowdhury,et al.  Decentralized camera network control using game theory , 2008, 2008 Second ACM/IEEE International Conference on Distributed Smart Cameras.

[2]  I. Molchanov.  Theory of Random Sets , 2005 .

[3]  Manfred Morari,et al.  A tracking algorithm for PTZ cameras , 2010 .

[4]  John Lygeros,et al.  Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem , 2010, Autom..

[5]  John Lygeros,et al.  Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems , 2007, HSCC.

[6]  Nicu Sebe,et al.  Cooperative Object Tracking with Multiple PTZ Cameras , 2007, 14th International Conference on Image Analysis and Processing (ICIAP 2007).

[7]  T. Başar,et al.  Dynamic Noncooperative Game Theory , 1982 .

[8]  J.P. Hespanha,et al.  Multiple-agent probabilistic pursuit-evasion games , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[9]  Luca Schenato,et al.  Distributed perimeter patrolling and tracking for camera networks , 2010, 49th IEEE Conference on Decision and Control (CDC).

[10]  Sergio A. Velastin,et al.  Intelligent distributed surveillance systems: a review , 2005 .

[11]  G. Matheron.  Random Sets and Integral Geometry , 1976 .

[12]  S. Shankar Sastry,et al.  Probabilistic pursuit-evasion games: theory, implementation, and experimental evaluation , 2002, IEEE Trans. Robotics Autom..

[13]  Luc Van Gool,et al.  A distributed camera system for multi-resolution surveillance , 2009, 2009 Third ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC).

[14]  S. Sastry,et al.  Probabilistic pursuit-evasion games: a one-step Nash approach , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[15]  Dimitri P. Bertsekas,et al.  Stochastic optimal control : the discrete time case , 2007 .

[16]  John Lygeros,et al.  A Probabilistic Reach-Avoid Problem for Controlled Discrete Time Stochastic Hybrid Systems , 2009, ADHS.

[17]  G. Fiengo,et al.  Optimal camera trajectory for video surveillance systems , 2006, 2006 American Control Conference.

[18]  Gregory F. Welch,et al.  On-line control of active camera networks , 2010 .

[19]  Ehud Rivlin,et al.  Scanning and tracking with independent cameras—a biologically motivated approach based on model predictive control , 2008, Auton. Robots.

[20]  John Lygeros,et al.  A stochastic reach-avoid problem with random obstacles , 2011, HSCC '11.