Computational-Physical State Co-regulation in Cyber-Physical Systems

From the perspective of physical system feedback control, the cyber or computer system's role has been to sample and compute control inputs sufficiently fast to maintain acceptable reference command tracking and disturbance rejection in the physical system. This strategy has been successful given the relatively low computational overhead for most control laws compared to computational resource availability. However, in many emerging applications this requirement may be insufficient, not because the computer is incapable of high-speed computations but instead because either more complex computations are required or because processor or network speed must be minimized to conserve energy. We propose the augmentation of traditional physical state models with a computational model to enable a cyber-physical system to co-regulate physical and computational actuation. Ultimately, our goal is to balance resources of the cyber system with quality of control of the physical system to provide a more energy-conscious CPS. As a first step, we propose a continuous-time representation of computational state and derive a continuous "dynamics" model approximation. Next, we propose the addition of a computational state into the closed-loop control law for the physical system states. Finally, we augment the derived cyber model with a second-order oscillator and demonstrate control via a LQR controller. In our simulation results, computational state and loop execution rate and oscillator "force" are regulated closed-loop at each control cycle based both on physical and computational state reference commands and errors. Results show that both physical and cyber state can be successfully regulated with the expected degradation in tracking performance as reference computational state (control loop rate) is slowed to values near the stability threshold.

[1]  Vladimir L. Kharitonov,et al.  Stability of Time-Delay Systems , 2003, Control Engineering.

[2]  Yuanqing Xia,et al.  Analysis and Synthesis of Dynamical Systems with Time-Delays , 2009 .

[3]  Benjamin C. Kuo,et al.  Digital Control Systems , 1977 .

[4]  Alan Burns,et al.  Real Time Scheduling Theory: A Historical Perspective , 2004, Real-Time Systems.

[5]  John Lygeros,et al.  Synthesizing Controllers for Nonlinear Hybrid Systems , 1998, HSCC.

[6]  G. Stépán Retarded dynamical systems : stability and characteristic functions , 1989 .

[7]  M. Ella,et al.  QoS tradeoffs for guidance, navigation, and control , 2002, Proceedings, IEEE Aerospace Conference.

[8]  Karl-Erik Årzén,et al.  A FEEDBACK SCHEDULER FOR REAL-TIME CONTROLLER TASKS , 2000 .

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

[10]  K.-E. Arzen,et al.  An introduction to control and scheduling co-design , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[11]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[12]  Thomas A. Henzinger,et al.  Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[13]  Karl-Erik Årzén,et al.  Feedback–Feedforward Scheduling of Control Tasks , 2002, Real-Time Systems.

[14]  Erik I. Verriest,et al.  Stability and Control of Time-delay Systems , 1998 .

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

[16]  Gene F. Franklin,et al.  Digital control of dynamic systems , 1980 .

[17]  João Pedro Hespanha,et al.  A Survey of Recent Results in Networked Control Systems , 2007, Proceedings of the IEEE.

[18]  Madan Gopal Digital Control Engineering , 1988 .

[19]  Vijay Gupta,et al.  On an anytime algorithm for control , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[20]  Wei Zhang,et al.  Scheduling and feedback co-design for networked control systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[21]  Wei Zhang,et al.  Stability of networked control systems , 2001 .