Distributed Synthesis of Control Protocols for Smart Camera Networks

From MurrayWiki
Jump to: navigation, search


Necmiye Ozay, Ufuk Topcu, Tichakorn Wongpiromsarn, Richard M Murray
ACM/IEEE Second International Conference on Cyber-Physical Systems, 2011 (Submitted)

We consider the problem of synthesizing control protocols for smart camera networks where the goal is to guarantee that certain linear temporal logic (LTL) specifications related to a given surveillance task are met. We first present a centralized control architecture for assigning pan-tilt-zoom (PTZ) cameras to targets so that the specification is met for any admissible behavior of the targets. Then, in order to alleviate the computational complexity associated with LTL synthesis and to enable implementation of local control protocols on individual PTZ cameras, we propose a distributed synthe- sis methodology. The main idea is to decompose the global specification into local specifications for each PTZ camera. A thorough design example is presented to illustrate the steps of the proposed procedure.