Design of Embedded Controllers Based on Anytime Computing

In this paper, we present a methodology for designing embedded controllers based on the so-called anytime control paradigm. A control law is split into a sequence of subroutine calls, each one fulfilling a control goal and refining the result produced by the previous one. We propose a design methodology to define a feedback controller structured in accordance with this paradigm and show how a switching policy of selecting the controller subroutines can be designed that provides stability guarantees for the closed-loop system. The cornerstone of this construction is a stochastic model describing the probability of executing, in each activation of the controller, the different subroutines. We show how this model can be constructed for realistic real-time task sets and provide an experimental validation of the approach.

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

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

[3]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

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

[5]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[6]  Parameswaran Ramanathan,et al.  Overload Management in Real-Time Control Applications Using (m, k)-Firm Guarantee , 1999, IEEE Trans. Parallel Distributed Syst..

[7]  Alan Burns,et al.  Weakly Hard Real-Time Systems , 2001, IEEE Trans. Computers.

[8]  B. Anderson,et al.  Digital control of dynamic systems , 1981, IEEE Transactions on Acoustics, Speech, and Signal Processing.

[9]  Nicholas J. Highamy.  Estimating the matrix p-norm , 1992 .

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

[11]  Giorgio C. Buttazzo,et al.  Quality-of-Control Management in Overloaded Real-Time Systems , 2007, IEEE Transactions on Computers.

[12]  Antonio Bicchi,et al.  Designing real-time embedded controllers using the anytime computing paradigm , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

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

[14]  Ben M. Chen.  Robust and H[∞] control , 2000 .

[15]  Qiang Ling,et al.  Firm real-time system scheduling based on a novel QoS constraint , 2003, IEEE Transactions on Computers.

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

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

[18]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[19]  Chang-Gun Lee,et al.  An exact stochastic analysis of priority-driven periodic real-time systems and its approximations , 2005, IEEE Transactions on Computers.

[20]  N. Higham.  Estimating the matrixp-norm , 1992 .

[21]  Qiang Ling,et al.  Soft real-time scheduling of networked control systems with dropouts governed by a Markov chain , 2003, Proceedings of the 2003 American Control Conference, 2003..

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

[23]  Thomas A. Henzinger,et al.  Embedded Control Systems Development with Giotto , 2001, OM '01.

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

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

[26]  Riccardo Bettati,et al.  Imprecise computations , 1994, Proc. IEEE.

[27]  Qiang Ling,et al.  Scheduling tasks with Markov-chain based constraints , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[28]  Antonio Bicchi,et al.  Design and Stability Analysis for Anytime Control via Stochastic Scheduling , 2011, IEEE Transactions on Automatic Control.

[29]  Michael D. Lemmon,et al.  Robust performance of soft real-time networked control systems with data dropouts , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

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

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