A Formal Approach to Power Optimization in CPSs With Delay-Workload Dependence Awareness

The design of cyber-physical systems (CPSs) faces various new challenges that are unheard of in the design of classical real-time systems. Power optimization is one of the major design goals that is witnessing such new challenges. The presence of interaction between the cyber and physical components of a CPS leads to dependence between the time delay of a computational task and the amount of workload in the next iteration. We demonstrate that it is essential to take this delay-workload dependence into consideration in order to achieve low power consumption. In this paper, we identify this new challenge, and present the first formal and comprehensive model to enable rigorous investigations on this topic. We propose a simple power management policy, and show that this policy achieves a best possible notion of optimality. In fact, we show that the optimal power consumption is attained in a “steady-state” operation and a simple policy of finding and entering this steady state suffices, which can be quite surprising considering the added complexity of this problem. Finally, we validated the efficiency of our policy with experiments.

[1]  S. Shankar Sastry,et al.  Tracking and Coordination of Multiple Agents Using Sensor Networks: System Design, Algorithms and Experiments , 2007, Proceedings of the IEEE.

[2]  Miguel A. Olivares-Méndez,et al.  3D pose estimation based on planar object tracking for UAVs control , 2010, 2010 IEEE International Conference on Robotics and Automation.

[3]  Sonja Zillner,et al.  Towards Medical Cyber-Physical Systems: Multimodal Augmented Reality for Doctors and Knowledge Discovery about Patients , 2013, HCI.

[4]  Fumin Zhang,et al.  Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems , 2008, 2008 Real-Time Systems Symposium.

[5]  Neil Immerman,et al.  Efficient pattern matching over event streams , 2008, SIGMOD Conference.

[6]  David Beymer,et al.  A real-time computer vision system for vehicle tracking and traffic surveillance , 1998 .

[7]  Jernej Barbic,et al.  Eurographics/ Acm Siggraph Symposium on Computer Animation (2007) Flipping with Physics: Motion Editing for Acrobatics , 2022 .

[8]  Rami G. Melhem,et al.  Power-aware scheduling for periodic real-time tasks , 2004, IEEE Transactions on Computers.

[9]  Suya You,et al.  Fusion of vision and gyro tracking for robust augmented reality registration , 2001, Proceedings IEEE Virtual Reality 2001.

[10]  Naoyuki Kubota,et al.  Cooperative Perceptual Systems for Partner Robots Based on Sensor Network , 2006 .

[11]  Daniel E. Quevedo,et al.  Sequence-Based Anytime Control , 2013, IEEE Transactions on Automatic Control.

[12]  Sebastian Thrun,et al.  Real time motion capture using a single time-of-flight camera , 2010, 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition.

[13]  Jiming Chen,et al.  An Online Optimization Approach for Control and Communication Codesign in Networked Cyber-Physical Systems , 2013, IEEE Transactions on Industrial Informatics.

[14]  Trevor Mudge,et al.  MiBench: A free, commercially representative embedded benchmark suite , 2001 .

[15]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[16]  Sumit Gulwani,et al.  Synthesizing switching logic for safety and dwell-time requirements , 2010, ICCPS '10.

[17]  Antonio Bicchi,et al.  Anytime Control Algorithms for Embedded Real-Time Systems , 2008, HSCC.

[18]  T. Kanade,et al.  Real-time and 3D vision for autonomous small and micro air vehicles , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[19]  Soonhoi Ha,et al.  Modeling and power optimization of cyber-physical systems with energy-workload tradeoff , 2015, 2015 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED).

[20]  Samarjit Chakraborty,et al.  Relaxing Signal Delay Constraints in Distributed Embedded Controllers , 2014, IEEE Transactions on Control Systems Technology.

[21]  Samarjit Chakraborty,et al.  Co-design of cyber-physical systems via controllers with flexible delay constraints , 2011, 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011).

[22]  J.-Y. Bouguet,et al.  Pyramidal implementation of the lucas kanade feature tracker , 1999 .

[23]  Guoliang Xing,et al.  Fidelity-Aware Utilization Control for Cyber-Physical Surveillance Systems , 2012, IEEE Transactions on Parallel and Distributed Systems.

[24]  Raktim Bhattacharya,et al.  Anytime Control Algorithm: Model Reduction Approach , 2004 .

[25]  Jernej Barbic,et al.  Six-DoF Haptic Rendering of Contact Between Geometrically Complex Reduced Deformable Models , 2008, IEEE Transactions on Haptics.

[26]  Arquimedes Canedo,et al.  Context-sensitive synthesis of executable functional models of cyber-physical systems , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[27]  T. Apostol.  Mathematical Analysis , 1957 .

[28]  Sebastian Thrun,et al.  Real-Time Human Pose Tracking from Range Data , 2012, ECCV.

[29]  Kevin D. Jones,et al.  Vision-based tracking and motion estimation for moving targets using small UAVs , 2006, 2006 American Control Conference.

[30]  Yu-Chee Tseng,et al.  Pervasive and Mobile Computing ( ) – Pervasive and Mobile Computing Review from Wireless Sensor Networks towards Cyber Physical Systems , 2022 .