Browse wiki

From MurrayWiki
Jump to: navigation, search
Distributed Synthesis of Control Protocols for Smart Camera Networks
Abstract We consider the problem of synthesizing co …
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.
trate the steps of the proposed procedure.  +
Authors Necmiye Ozay, Ufuk Topcu, Tichakorn Wongpiromsarn, Richard M Murray  +
ID 2010l  +
Source ACM/IEEE Second International Conference on Cyber-Physical Systems, 2011 (Submitted)  +
Tag otwm11-iccps  +
Title Distributed Synthesis of Control Protocols for Smart Camera Networks +
Type Preprint  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:16:13  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/otwm11-iccps_s.pdf  +
hide properties that link here 
Distributed Synthesis of Control Protocols for Smart Camera Networks + Title
 

 

Enter the name of the page to start browsing from.