LQG-Based Real-Time Scheduling and Control Codesign

Having multiple control tasks concurrently running on a single computing platform increases the processor utilization but degrades the control performance due to delay and jitter. In scheduling and control codesign, the objective is to optimize the combined performance of all the controllers, subject to a schedulability constraint. The codesign procedure consists of selecting task parameters, e.g., periods and priorities, as well as designing the controllers so that the scheduling-induced delay and jitter are taken into account.In the thesis, four linear-quadratic-Gaussian (LQG) codesign methods are proposed: stochastic, periodic, harmonic, and robust LQG codesign. In stochastic LQG codesign, the delay distributions are calculated at design-time. Then LQG controllers are designed assuming these delay distributions. The obtained task periods generally give rise to infinite hyperperiods. This can be avoided by perturbing the periods slightly in order to obtain a finite hyperperiod, yielding a periodic delay pattern for the control loops. The periodicity is then accounted for by using periodic LQG control design, resulting in a periodic sequence of feedback gains for each controller. In harmonic LQG codesign, again the task periods are perturbed, but this time to make the periods harmonic. The scheduling-induced delays will be constant and standard LQG design can be applied. Finally, a robust LQG codesign method is presented. The design is based on convex optimization and guarantees system robustness in the presence of delay and jitter. A new rule of thumb for initial sampling period assignment is proposed. We propose a jitter-aware priority and period assignment codesign method to optimize the overall system performance.A large evaluation of the proposed four codesign methods is performed using the Jitterbug toolbox. All of the four methods lead to improved control performance compared to earlier work. The harmonic scheduling and control codesign shows the largest overall improvements.

[1]  Nicole Megow,et al.  Polynomial-Time Exact Schedulability Tests for Harmonic Real-Time Tasks , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[2]  Michael D. Lemmon,et al.  On Self-triggered Full-Information H-Infinity Controllers , 2007, HSCC.

[3]  Alberto L. Sangiovanni-Vincentelli,et al.  Period Optimization for Hard Real-time Distributed Automotive Systems , 2007, 2007 44th ACM/IEEE Design Automation Conference.

[4]  S. S. Vallender Calculation of the Wasserstein Distance Between Probability Distributions on the Line , 1974 .

[5]  B. Bernhardsson,et al.  Optimal Control over Networks with Long Random Delays , 2000 .

[6]  Petru Eles,et al.  Probabilistic Response Time and Joint Analysis of Periodic Tasks , 2015, 2015 27th Euromicro Conference on Real-Time Systems.

[7]  Karl-Erik Årzén,et al.  Jitter-Robust LQG Control and Real-Time Scheduling Co-Design , 2018, 2018 Annual American Control Conference (ACC).

[8]  C. Guaranteed Margins for LQG Regulators , 1972 .

[9]  K.-E. Arzen,et al.  How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime , 2003, IEEE Control Systems.

[10]  Edward A. Lee,et al.  Cyber-physical system design contracts , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[11]  John P. Lehoczky,et al.  The rate monotonic scheduling algorithm: exact characterization and average case behavior , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[12]  Patricia Balbastre Betoret,et al.  Task period selection to minimize hyperperiod , 2011, ETFA2011.

[13]  Karl-Erik Årzén,et al.  A simple event-based PID controller , 1999 .

[14]  Jay K. Strosnider,et al.  Fixed Priority Scheduling Theory for Hard Real-Time Systems , 1991 .

[15]  Anton Cervin,et al.  Comparative Assessment and Evaluation of Jitter Control Methods , 2007 .

[16]  Karl-Erik Årzén,et al.  Optimal harmonic period assignment: complexity results and approximation algorithms , 2018, Real-Time Systems.

[17]  Anton Cervin,et al.  Jitterbug 1.1 - Reference Manual , 2003 .

[18]  K. Åström,et al.  Comparison of Periodic and Event Based Sampling for First-Order Stochastic Systems , 1999 .

[19]  Rémy Kocik,et al.  Distributed control of a car suspension system , 2004 .

[20]  Karl-Erik Årzén,et al.  Harmonic Scheduling and Control Co-design , 2016, 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

[21]  Andy J. Wellings,et al.  Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems , 1996, Proceedings of 3rd International Workshop on Real-Time Computing Systems and Applications.

[22]  Enrico Bini,et al.  Optimal Priority Assignment to Control Tasks , 2014, TECS.

[23]  Giorgio C. Buttazzo,et al.  Measuring the Performance of Schedulability Tests , 2005, Real-Time Systems.

[24]  Anton Cervin,et al.  JITTERBUG: a tool for analysis of real-time control performance , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[25]  Björn Wittenmark,et al.  Stochastic Analysis and Control of Real-time Systems with Random Time Delays , 1999 .

[26]  Karl-Erik Årzén,et al.  Exploiting Job Response-Time Information in the Co-Design of Real-Time Control Systems , 2015, 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications.

[27]  Scott A. Brandt,et al.  Draco: Efficient Resource Management for Resource-Constrained Control Tasks , 2009, IEEE Transactions on Computers.

[28]  Karl-Erik Årzén,et al.  Response Time Driven Design of Control Systems , 2014 .

[29]  Karl-Erik Årzén,et al.  Jitterbug and TrueTime: Analysis Tools for Real-Time Control Systems , 2002 .

[30]  Petru Eles,et al.  Designing High-Quality Embedded Control Systems with Guaranteed Stability , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[31]  Johan Nilsson,et al.  Real-Time Control Systems with Delays , 1998 .

[32]  Patricia Balbastre Betoret,et al.  Control tasks delay reduction under static and dynamic scheduling policies , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[33]  Martin Törngren,et al.  Calculating exact worst case response times for static priority scheduled tasks with offsets and jitter , 2002, Proceedings. Eighth IEEE Real-Time and Embedded Technology and Applications Symposium.

[34]  Scott A. Brandt,et al.  Optimal state feedback based resource allocation for resource-constrained control tasks , 2004, 25th IEEE International Real-Time Systems Symposium.

[35]  M. Velasco,et al.  The Self Triggered Task Model for Real-Time Control Systems , 2003 .

[36]  Anton Cervin,et al.  Improved scheduling of control tasks , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[37]  Enrico Bini,et al.  Efficient computation of response time bounds under fixed-priority scheduling , 2007 .

[38]  Gerhard Fohler,et al.  A Framework to Construct Customized Harmonic Periods for Real-Time Systems , 2014, 2014 26th Euromicro Conference on Real-Time Systems.

[39]  Yskandar Hamam,et al.  Optimal integrated control and scheduling of networked control systems with communication constraints: application to a car suspension system , 2006, IEEE Transactions on Control Systems Technology.

[40]  Stephen P. Boyd,et al.  Control applications of nonlinear convex programming , 1998 .

[41]  A. Cervin,et al.  Optimal On-line Sampling Period Assignment for Real-Time Control Tasks Based on Plant State Information , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[42]  Chang-Gun Lee,et al.  Stochastic analysis of periodic real-time systems , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

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

[44]  William S. Levine,et al.  The Control Handbook , 2005 .

[45]  C. D. Perttunen,et al.  Lipschitzian optimization without the Lipschitz constant , 1993 .

[46]  Patricia Balbastre Betoret,et al.  A Task Model to Reduce Control Delays , 2004, Real-Time Systems.

[47]  Petru Eles,et al.  Integrated scheduling and synthesis of control applications on distributed embedded systems , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[48]  Doreen Meier,et al.  Introduction To Stochastic Control Theory , 2016 .

[49]  Paulo Tabuada,et al.  Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks , 2007, IEEE Transactions on Automatic Control.

[50]  Stephen P. Boyd,et al.  Linear controller design: limits of performance , 1991 .

[51]  Goran Frehse,et al.  Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software , 2014, 2014 IEEE Real-Time Systems Symposium.

[52]  Luigi Palopoli,et al.  Real-time control system analysis: an integrated approach , 2000, Proceedings 21st IEEE Real-Time Systems Symposium.

[53]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[54]  J. Nilsson,et al.  Timing problems in real-time control systems , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[55]  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).

[56]  Chung-Yao Kao,et al.  Simple stability criteria for systems with time-varying delays , 2004, Autom..

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

[58]  Parameswaran Ramanathan Graceful degradation in real-time control applications using (m, k)-firm guarantee , 1997, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.

[59]  Martin Lukasiewycz,et al.  Time-triggered implementations of mixed-criticality automotive software , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[60]  Karl-Erik Årzén,et al.  On the Problem of Finding Optimal Harmonic Periods , 2016, RTNS '16.

[61]  Mohamed El Mongi Ben Gaid,et al.  Optimal Real-Time Scheduling of Control Tasks With State Feedback Resource Allocation , 2009, IEEE Transactions on Control Systems Technology.

[62]  Enrico Bini,et al.  Optimal task rate selection in fixed priority systems , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

[63]  Karl-Erik Årzén,et al.  The Jitter Margin and Its Application in the Design of Real-Time Control Systems , 2004 .

[64]  Ching-Chih Han,et al.  A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithms , 1997, Proceedings Real-Time Systems Symposium.

[65]  Byung Kook Kim Task scheduling with feedback latency for real-time control systems , 1998, Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236).

[66]  Karl-Erik Årzén,et al.  LQG-Based Control and Scheduling Co-Design , 2017 .

[67]  Karl Johan Åström,et al.  Computer-Controlled Systems: Theory and Design , 1984 .

[68]  Gerhard Fohler,et al.  An Efficient Method for Assigning Harmonic Periods to Hard Real-Time Tasks with Period Ranges , 2015, 2015 27th Euromicro Conference on Real-Time Systems.

[69]  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).

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

[71]  Marko Bacic,et al.  Model predictive control , 2003 .

[72]  Ola Redell,et al.  Exact best-case response time analysis of fixed priority scheduled tasks , 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

[73]  Karl-Erik Årzén,et al.  Resource-Constrained Embedded Control Systems: Possibilities and Research Issues , 2003 .

[74]  Karl-Erik Årzén,et al.  LQG-Based Scheduling and Control Co-Design Using Harmonic Task Periods , 2016 .

[75]  Yixin Chen,et al.  Near Optimal Rate Selection for Wireless Control Systems , 2012, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.

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

[77]  Giorgio C. Buttazzo,et al.  Rate Monotonic Analysis: The Hyperbolic Bound , 2003, IEEE Trans. Computers.

[78]  Anton Cervin,et al.  Delay-Aware Period Assignment in Control Systems , 2008, 2008 Real-Time Systems Symposium.

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

[80]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

[81]  Karl-Erik Årzén,et al.  CONTROL AND EMBEDDED COMPUTING: SURVEY OF RESEARCH DIRECTIONS , 2005 .

[82]  Anton Cervin,et al.  Stability and worst-case performance analysis of sampled-data control systems with input and output jitter , 2012, 2012 American Control Conference (ACC).

[83]  John P. Lehoczky,et al.  Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[84]  Christos H. Papadimitriou,et al.  On the complexity of integer programming , 1981, JACM.

[85]  Friedrich Eisenbrand,et al.  Static-Priority Real-Time Scheduling: Response Time Computation Is NP-Hard , 2008, 2008 Real-Time Systems Symposium.

[86]  Ismael Ripoll,et al.  Period Selection for Minimal Hyperperiod in Periodic Task Systems , 2013, IEEE Transactions on Computers.

[87]  Gene F. Franklin,et al.  Feedback Control of Dynamic Systems , 1986 .