Maximizing the stability radius of a set of systems under real-time scheduling constraints

We address the problem of synthesising real-time embedded controllers taking into account constraints deriving from the implementation platform, thus exploring the relation between the processor's time (or "attention") devoted to different control tasks and the overall robustness of the resulting design. Assuming a time-triggered model of computation for tasks controlling a set of independent systems and a real-time preemptive scheduling policy managing a single CPU processor board, we deal with two problems: 1) deciding whether a performance specification can be attained on a candidate platform, 2) optimising performance on a platform. The considered performance metric is the minimum stability radius attained over the different feedback loops.

[1]  Fan Wang,et al.  Efficient computation of a guaranteed lower bound on the robust stability margin for a class of uncertain systems , 1999, IEEE Trans. Autom. Control..

[2]  Gerhard Fohler,et al.  Analysis and Design of Real-Time Control Systems with Varying Control Timing Constraints , 2002 .

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

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

[5]  Roger W. Brockett,et al.  Stabilization of motor networks , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[6]  Mathukumalli Vidyasagar,et al.  Randomized algorithms for robust controller synthesis using statistical learning theory , 2001, Autom..

[7]  R. Tempo,et al.  Randomized Algorithms for Analysis and Control of Uncertain Systems , 2004 .

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

[9]  D. Hristu-Varsakelis.  Feedback control systems as users of a shared network: communication sequences that guarantee stability , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[10]  A. Sangiovanni-Vincentelli,et al.  Numerically efficient control of systems with communication constraints , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

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

[12]  Alberto L. Sangiovanni-Vincentelli,et al.  System-level design: orthogonalization of concerns andplatform-based design , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[13]  Luigi Palopoli,et al.  Design of Embedded Control Systems under real-time Scheduling Constraints , 2002 .

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

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

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

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

[18]  W. Brockett,et al.  Minimum attention control , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[19]  Thomas A. Henzinger,et al.  Embedded Control Systems Development with Giotto , 2001 .

[20]  Liu Xiangqian,et al.  Stability analysis of networked control system , 2004, Fifth World Congress on Intelligent Control and Automation (IEEE Cat. No.04EX788).

[21]  Kristi A. Morgansen,et al.  Limited communication control , 1999 .

[22]  Venkataramanan Balakrishnan,et al.  Linear Matrix Inequalities in Robust Control A Brief Survey , 2002 .

[23]  A. Rantzer,et al.  Optimizing linear system switching , 2001 .

[24]  K. Keutzer,et al.  System-level design: orthogonalization of concerns andplatform-based design , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[25]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[26]  Lei Xie,et al.  Stability analysis of networked control system , 2002, Proceedings. International Conference on Machine Learning and Cybernetics.

[27]  Giuseppe Lipari,et al.  Architecture for a Portable Open Source Real-Time Kernel Environment , 2000 .