Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks

In this note, we revisit the problem of scheduling stabilizing control tasks on embedded processors. We start from the paradigm that a real-time scheduler could be regarded as a feedback controller that decides which task is executed at any given instant. This controller has for objective guaranteeing that (control unrelated) software tasks meet their deadlines and that stabilizing control tasks asymptotically stabilize the plant. We investigate a simple event-triggered scheduler based on this feedback paradigm and show how it leads to guaranteed performance thus relaxing the more traditional periodic execution requirements.

[1]  Lui Sha,et al.  On task schedulability in real-time control systems , 1996, 17th IEEE Real-Time Systems Symposium.

[2]  Joseph Sifakis,et al.  Scheduler Modeling Based on the Controller Synthesis Paradigm , 2002, Real-Time Systems.

[3]  P. Albertos,et al.  RT control scheduling to reduce control performance degrading , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[4]  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..

[5]  Panos J. Antsaklis,et al.  Stability of model-based networked control systems with time-varying transmission times , 2004, IEEE Transactions on Automatic Control.

[6]  Alberto L. Sangiovanni-Vincentelli,et al.  Synthesis of Robust Control Systems under Resource Constraints , 2002, HSCC.

[7]  Paulo Tabuada,et al.  On the Stability of Zeno Equilibria , 2006, HSCC.

[8]  Lui Sha,et al.  On the Scheduling of Flexible and Reliable Real-Time Control Systems , 2003, Real-Time Systems.

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

[10]  Claudio De Persis,et al.  Proceedings of the 41st IEEE Conference on Decision and Control , 2002 .

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

[12]  Anton Cervin,et al.  Feedback scheduling of control tasks , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[13]  John T. Cunningham,et al.  New Jersey , 1896, The Journal of Comparative Medicine and Veterinary Archives.

[14]  K. Åström,et al.  Comparison of Riemann and Lebesgue sampling for first order stochastic systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[15]  Nandit Soparkar,et al.  Trading computation for bandwidth: reducing communication in distributed control systems using state estimators , 2002, IEEE Trans. Control. Syst. Technol..

[16]  X.S. Hu,et al.  Firm real-time system scheduling based on a novel QoS constraint , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[17]  Romeo Ortega,et al.  Passivity of Nonlinear Incremental Systems: Application to PI Stabilization of Nonlinear RLC Circuits , 2006, CDC.

[18]  Xue Liu,et al.  Online control optimization using load driven scheduling , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[19]  Giorgio C. Buttazzo,et al.  Adaptive Workload Management through Elastic Scheduling , 2002, Real-Time Systems.

[20]  Claudio De Persis,et al.  Proceedings of the 45th IEEE Conference on Decision and Control , 2006, CDC 2006.

[21]  Xiaofeng Wang,et al.  Preliminary results on state-trigered scheduling of stabilizing control tasks , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[22]  R. Evans,et al.  Stabilization with data-rate-limited feedback: tightest attainable bounds , 2000 .

[23]  Dragan Nesic,et al.  Open- and Closed-Loop Dissipation Inequalities Under Sampling and Controller Emulation , 2002, Eur. J. Control.

[24]  Wang Yi,et al.  Schedulability analysis of fixed-priority systems using timed automata , 2006, Theor. Comput. Sci..

[25]  Dragan Nesic,et al.  Input-to-state stability of networked control systems , 2004, Autom..

[26]  H. Kimura.  Proceedings of the 39th IEEE Conference on Decision and Control , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[27]  Daniel Liberzon,et al.  Hybrid feedback stabilization of systems with quantized signals , 2003, Autom..

[28]  Joseph Sifakis.  Scheduler Modeling Based on the Controller Synthesis Paradigm , 2002, FTRTFT.

[29]  Eduardo Sontag.  Input to State Stability: Basic Concepts and Results , 2008 .

[30]  Daniel Liberzon,et al.  Quantized feedback stabilization of linear systems , 2000, IEEE Trans. Autom. Control..

[31]  David H. Owens,et al.  Fast Sampling and Stability of Nonlinear Sampled-Data Systems: Part 2. Sampling Rate Estimations , 1990 .

[32]  Alberto L. Sangiovanni-Vincentelli,et al.  Maximizing the stability radius of a set of systems under real-time scheduling constraints , 2005, IEEE Transactions on Automatic Control.