Computation-Communication Trade-Offs and Sensor Selection in Real-Time Estimation for Processing Networks

Recent advances on hardware accelerators and edge computing are enabling substantial processing to be performed at each node (e.g., robots, sensors) of a networked system. Local processing typically enables data compression and may help mitigate measurement noise, but it is still usually slower compared to a central computer (i.e., it entails a larger computational delay). Moreover, while nodes can process the data in parallel, the computation at the central computer is sequential in nature. On the other hand, if a node decides to send raw data to a central computer for processing, it incurs a communication delay. This leads to a fundamental communication-computation trade-off, where each node has to decide on the optimal amount of local preprocessing in order to maximize the network performance. Here we consider the case where the network is in charge of estimating the state of a dynamical system and provide three key contributions. First, we provide a rigorous problem formulation for optimal real-time estimation in processing networks, in the presence of communication and computation delays. Second, we develop analytical results for the case of a homogeneous network (where all sensors have the same computation) that monitors a continuous-time scalar linear system. In particular, we show how to compute the optimal amount of local preprocessing to minimize the estimation error and prove that sending raw data is in general suboptimal in the presence of communication delays. Third, we consider the realistic case of a heterogeneous network that monitors a discrete-time multi-variate linear system and provide practical algorithms (i) to decide on a suitable preprocessing at each node, and (ii) to select a sensor subset when computational constraints make using all sensors suboptimal. Numerical simulations show that selecting the sensors is crucial: the more may not be the merrier. Moreover, we show that if the nodes apply the preprocessing policy suggested by our algorithms, they can largely improve the network estimation performance.

[1]  Walid Saad,et al.  Joint Status Sampling and Updating for Minimizing Age of Information in the Internet of Things , 2018, IEEE Transactions on Communications.

[2]  Günter Rudolph,et al.  Convergence Rates of Evolutionary Algorithms for Quadratic Convex Functions with Rank-Deficient Hessian , 2013, ICANNGA.

[3]  Florian Segor,et al.  Towards Autonomous Micro UAV Swarms , 2011, J. Intell. Robotic Syst..

[4]  Chiara Bartolozzi,et al.  Event-Based Vision: A Survey , 2019, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[5]  Mattias O'Nils,et al.  Experimental Characterization of Latency in Distributed IoT Systems with Cloud Fog Offloading , 2019, 2019 15th IEEE International Workshop on Factory Communication Systems (WFCS).

[6]  Bruno Sinopoli,et al.  Kalman filtering with intermittent observations , 2004, IEEE Transactions on Automatic Control.

[7]  Gustavo de Veciana,et al.  Measurement-based opportunistic scheduling for heterogenous wireless systems , 2009, IEEE Transactions on Communications.

[8]  Munther A. Dahleh,et al.  Scheduling Continuous-Time Kalman Filters , 2011, IEEE Transactions on Automatic Control.

[9]  Roy D. Yates,et al.  Status updates over unreliable multiaccess channels , 2017, 2017 IEEE International Symposium on Information Theory (ISIT).

[10]  Ghazaleh Radian,et al.  Dynamic obstacle avoidance and target tracking for a swarm of robots using distributed Kalman filter , 2013, The 3rd International Conference on Control, Instrumentation, and Automation.

[11]  Kenji Kanai,et al.  Evaluation and analysis of system latency of edge computing for multimedia data processing , 2016, 2016 IEEE 5th Global Conference on Consumer Electronics.

[12]  Robin J. Evans,et al.  Stabilizability of Stochastic Linear Systems with Finite Feedback Data Rates , 2004, SIAM J. Control. Optim..

[13]  Dimitri P. Bertsekas,et al.  Dynamic Programming and Optimal Control, Two Volume Set , 1995 .

[14]  Luca Carlone,et al.  Attention and anticipation in fast visual-inertial navigation , 2016, 2017 IEEE International Conference on Robotics and Automation (ICRA).

[15]  Robert E. Skelton,et al.  Integrating Information Architecture and Control or Estimation Design , 2008 .

[16]  Roy D. Yates,et al.  The Age of Information: Real-Time Status Updating by Multiple Sources , 2016, IEEE Transactions on Information Theory.

[17]  Shlomo Zilberstein,et al.  Using Anytime Algorithms in Intelligent Systems , 1996, AI Mag..

[18]  BisdikianChatschik,et al.  On the quality and value of information in sensor networks , 2013 .

[19]  Amnon Shashua,et al.  On a Formal Model of Safe and Scalable Self-driving Cars , 2017, ArXiv.

[20]  Tony Givargis,et al.  Priority Neuron: A Resource-Aware Neural Network for Cyber-Physical Systems , 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[21]  Hassan Charaf,et al.  Target Tracking and Surrounding with Swarm Robots , 2012, 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems.

[22]  Luca Carlone,et al.  Attention and Anticipation in Fast Visual-Inertial Navigation , 2019, IEEE Transactions on Robotics.

[23]  Luca Schenato,et al.  Optimal Estimation in Networked Control Systems Subject to Random Delay and Packet Drop , 2008, IEEE Transactions on Automatic Control.

[24]  Luca Carlone,et al.  From Sensor to Processing Networks: Optimal Estimation with Computation and Communication Latency , 2020, ArXiv.

[25]  George J. Pappas,et al.  Sensing-Constrained LQG Control , 2017, 2018 Annual American Control Conference (ACC).

[26]  Lothar Thiele,et al.  A Survey on Sensor Calibration in Air Pollution Monitoring Deployments , 2018, IEEE Internet of Things Journal.

[27]  Li Fan,et al.  Swarming-based mobile target following using limited-capability mobile mini-robots , 2009, 2009 IEEE Swarm Intelligence Symposium.

[28]  Anthony Ephremides,et al.  Age and value of information: Non-linear age case , 2017, 2017 IEEE International Symposium on Information Theory (ISIT).

[29]  Lubomir D. Bourdev,et al.  Real-Time Adaptive Image Compression , 2017, ICML.

[30]  Stephen P. Boyd,et al.  Sensor Selection via Convex Optimization , 2009, IEEE Transactions on Signal Processing.

[31]  Luca Schenato,et al.  Optimal sensor fusion for distributed sensors subject to random delay and packet loss , 2007, 2007 46th IEEE Conference on Decision and Control.

[32]  George J. Pappas,et al.  LQG Control and Sensing Co-Design , 2018, IEEE Transactions on Automatic Control.

[33]  Nicola Elia,et al.  Stabilization of linear systems with limited information , 2001, IEEE Trans. Autom. Control..

[34]  Stephen L. Smith,et al.  Submodularity and greedy algorithms in sensor scheduling for linear dynamical systems , 2015, Autom..

[35]  Shuang Wu,et al.  Optimal Scheduling of Multiple Sensors Over Lossy and Bandwidth Limited Channels , 2018, IEEE Transactions on Control of Network Systems.

[36]  George J. Pappas,et al.  Sensor placement for optimal Kalman filtering: Fundamental limits, submodularity, and algorithms , 2015, 2016 American Control Conference (ACC).

[37]  Maxim Raginsky,et al.  Rational inattention in scalar LQG control , 2013, 52nd IEEE Conference on Decision and Control.

[38]  V. Borkar,et al.  LQG Control with Communication Constraints , 1997 .

[39]  Mani B. Srivastava,et al.  Computation Hierarchy for In-Network Processing , 2003, WSNA '03.

[40]  Ali Farhadi,et al.  YOLOv3: An Incremental Improvement , 2018, ArXiv.

[41]  Richard M. Murray,et al.  On a stochastic sensor selection algorithm with applications in sensor scheduling and sensor coverage , 2006, Autom..

[42]  Henrik Sandberg,et al.  SDP-based joint sensor and controller design for information-regularized optimal LQG control , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[43]  Marco Pavone,et al.  Network offloading policies for cloud robotics: a learning-based approach , 2019, Autonomous Robots.

[44]  Emilio Frazzoli,et al.  Sampling-based algorithms for optimal motion planning , 2011, Int. J. Robotics Res..

[45]  Tyler Summers,et al.  Performance bounds for optimal feedback control in networks , 2017, 2018 Annual American Control Conference (ACC).

[46]  Luca Carlone,et al.  Navion: A 2-mW Fully Integrated Real-Time Visual-Inertial Odometry Accelerator for Autonomous Navigation of Nano Drones , 2018, IEEE Journal of Solid-State Circuits.

[47]  Jorge Cortés,et al.  Scheduling of control nodes for improved network controllability , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[48]  Daisuke Fujiwara,et al.  Scheduling of Image Processing Using Anytime Algorithm for Real-time System , 2006, 18th International Conference on Pattern Recognition (ICPR'06).

[49]  Andrea Zanella,et al.  LQG cheap control subject to packet loss and SNR limitations , 2013, 2013 European Control Conference (ECC).

[50]  Jorge Cortés,et al.  Time-invariant versus time-varying actuator scheduling in complex networks , 2017, 2017 American Control Conference (ACC).

[51]  Sekhar Tatikonda,et al.  Control under communication constraints , 2004, IEEE Transactions on Automatic Control.

[52]  George J. Pappas,et al.  Differentially Private Filtering , 2012, IEEE Transactions on Automatic Control.

[53]  Henry Medeiros,et al.  Distributed Object Tracking Using a Cluster-Based Kalman Filter in Wireless Camera Networks , 2008, IEEE Journal of Selected Topics in Signal Processing.

[54]  Florian Dörfler,et al.  Cyber-physical attacks in power networks: Models, fundamental limitations and monitor design , 2011, IEEE Conference on Decision and Control and European Control Conference.

[55]  John Lygeros,et al.  On Submodularity and Controllability in Complex Dynamical Networks , 2014, IEEE Transactions on Control of Network Systems.

[56]  Bruno Sinopoli,et al.  Foundations of Control and Estimation Over Lossy Networks , 2007, Proceedings of the IEEE.

[57]  Maryam Kamgarpour,et al.  Performance guarantees for greedy maximization of non-submodular set functions in systems and control , 2017, ArXiv.

[58]  Bernhard P. Wrobel,et al.  Multiple View Geometry in Computer Vision , 2001 .

[59]  Eytan Modiano,et al.  Optimizing Information Freshness in Wireless Networks Under General Interference Constraints , 2018, IEEE/ACM Transactions on Networking.

[60]  Mani B. Srivastava,et al.  On the quality and value of information in sensor networks , 2013, TOSN.