]> 2026-05-25T15:18:05+00:00 Distributed Synthesis of Control Protocols for Smart Camera Networks 0 en 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. Necmiye Ozay, Ufuk Topcu, Tichakorn Wongpiromsarn, Richard M Murray 2010l ACM/IEEE Second International Conference on Cyber-Physical Systems, 2011 (Submitted) otwm11-iccps Preprint 2016-05-15T06:16:13Z 2457523.7612616 Distributed Synthesis of Control Protocols for Smart Camera Networks Title 102 en Title