Paper Info
Title
Distributed Synthesis of Control Protocols for Smart Camera Networks
Abstract
We considered the problem of designing control protocols for pan-tilt-zoom (PTZ) cameras within a smart camera network where the goal is to guarantee certain temporal logic specifications related to a given surveillance task. We first present a centralized control architecture for assigning 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 synthesis methodology. The main idea is to decompose the global specification into local specifications for each PTZ camera. These decompositions allow the protocols for each camera to be separately synthesized and locally implemented while guaranteeing the global specifications to hold. A thorough design example is presented to illustrate the steps of the proposed procedure.
Year
DOI
Venue
2011
10.1109/ICCPS.2011.22
ICCPS
Keywords
Field
DocType
ptz camera,smart camera network,global specification,local control protocol,assigning ptz camera,ltl synthesis,control protocols,control protocol,smart camera networks,certain temporal logic specification,centralized control architecture,individual ptz camera,formal specification,temporal logic,computational complexity,image resolution,protocols,automata,games
Architecture,Computer science,Automaton,Smart camera,Formal specification,Real-time computing,Temporal logic,Image resolution,Computational complexity theory
Conference
ISSN
Citations 
PageRank 
2375-8317
15
0.85
References 
Authors
12
4
Name
Order
Citations
PageRank
Necmiye Ozay139041.51
Ufuk Topcu21032115.78
Richard M. Murray3123221223.70
Tichakorn Wongpiromsarn444825.42