Anytime Control Algorithms for Embedded Real-Time Systems

In this paper we consider the problem of designing controllers for linear plants to be implemented in embedded platforms under stringent real-time constraints. These include preemptive scheduling schemes, under which the maximum execution time allowed for control software tasks is uncertain. We propose an "anytime control" design approach, consisting in a hierarchy of controllers for the same plant. Higher controllers in the hierarchy provide better closed-loop performance, while typically requiring a larger worst-case execution time. We provide a procedure for the design of controllers which, together with a conditioning process of the stochastic scheduling, provides better performance than prevailing worst case-based design, while guaranteeing almost sure stability of the resulting switching system.

[1]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[2]  Bonaventure Intercontinental,et al.  ON DECISION AND CONTROL , 1985 .

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

[4]  Katsuhisa Furuta,et al.  Swing up control of inverted pendulum , 1991, Proceedings IECON '91: 1991 International Conference on Industrial Electronics, Control and Instrumentation.

[5]  George A. Perdikaris.  Computer Controlled Systems , 1991 .

[6]  Wei-Kuan Shih,et al.  Algorithms for scheduling imprecise computations , 1991, Computer.

[7]  K Furuta,et al.  Swing-up Control of Inverted Pendulum Using Pseudo-State Feedback , 1992 .

[8]  Imprecise computations , 1994 .

[9]  K. Loparo,et al.  Almost sure and δmoment stability of jump linear systems , 1994 .

[10]  R. Decarlo,et al.  Construction of piecewise Lyapunov functions for stabilizing switched systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[11]  Dennis S. Bernstein,et al.  A benchmark problem for nonlinear control design: problem statement, experimental testbed, and passive nonlinear compensation , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[12]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[13]  L. Mezzalira.  Real-time systems , 1996, J. Syst. Archit..

[14]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[15]  M. Branicky.  Stability of hybrid systems: state of the art , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[16]  Nimal Nissanke.  Realtime systems , 1997, Prentice Hall series in computer science.

[17]  R. Decarlo,et al.  Solution of coupled Lyapunov equations for the stabilization of multimodal linear systems , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[18]  A. Morse,et al.  Stability of switched systems: a Lie-algebraic condition ( , 1999 .

[19]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[20]  R. Decarlo,et al.  Perspectives and results on the stability and stabilizability of hybrid systems , 2000, Proceedings of the IEEE.

[21]  S. Pettersson,et al.  Stabilization of hybrid systems using a min-projection strategy , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[22]  Implementation of Control Algorithms in an Environment of Dynamically Scheduled CPU Time Using Balanced Truncation , 2002 .

[23]  João Pedro Hespanha,et al.  Switching between stabilizing controllers , 2002, Autom..

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

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

[26]  Bonnie H. Ferri,et al.  Digital Filters with Adaptive Length for Real-Time Applications , 2004 .

[27]  G. Nicolao,et al.  On almost sure stability of discrete-time Markov jump linear systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[28]  Antonio Bicchi,et al.  Almost sure stability of anytime controllers via stochastic scheduling , 2007, 2007 46th IEEE Conference on Decision and Control.