A feasible lookahead control for systems with finite control set

In this paper, we present a feasible control approach for a general class of systems with finite control set. The objective of the controller is to direct the system towards a desired set-point state and then maintain the system within a known neighborhood of this state. The feasibility of the online control policy is formulated as a joint containability and attraction problem. A novel computational procedure based on nonlinear programming is presented to compute a containable region, in which each trajectory from inside cannot move out under a single-step-lookahead control policy. The proposed control approach and the developed feasibility technique are demonstrated on a two tank system example

[1]  S. Chung,et al.  Limited lookahead policies in supervisory control of discrete event systems , 1992 .

[2]  Alberto Bemporad,et al.  Receding-Horizon Control of LTI Systems with Quantized Inputs1 , 2003, ADHS.

[3]  Nagarajan Kandasamy,et al.  Online control for self-management in computing systems , 2004, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004..

[4]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

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

[6]  Fabian R. Wirth,et al.  Robustness Analysis of Domains of Attraction of Nonlinear Systems , 1998 .

[7]  Nagarajan Kandasamy,et al.  Self-optimization in computer systems via on-line control: application to power management , 2004 .

[8]  T. A. Badgwell,et al.  An Overview of Industrial Model Predictive Control Technology , 1997 .

[9]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[10]  S. Mitter,et al.  Control of LQG systems under communication constraints , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[11]  Jay H. Lee,et al.  Model predictive control: past, present and future , 1999 .

[12]  Xenofon Koutsoukos,et al.  On hybrid control of complex systems : a survey , 1998 .

[13]  D. Delchamps.  Stabilizing a linear system with quantized state feedback , 1990 .

[14]  M. Falcone.  A maximum time approach to the computation of robust domains of attraction , 1999 .

[15]  Antonio Bicchi,et al.  Construction of invariant and attractive sets for quantized-input linear systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[16]  V. Lakshmikantham,et al.  Practical Stability Of Nonlinear Systems , 1990 .

[17]  S. Neema,et al.  A Reachability based Stability Analysis for Switching Systems ∗ , 2004 .

[18]  Wing Shing Wong,et al.  Systems with finite communication bandwidth constraints. II. Stabilization with limited information feedback , 1999, IEEE Trans. Autom. Control..

[19]  Pravin Varaiya,et al.  Notes on Optimization , 1972 .

[20]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.

[21]  F. Fagnani,et al.  Stability analysis and synthesis for scalar linear systems with a quantized feedback , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

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

[23]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[24]  B. Foss,et al.  Model predictive control for a class of hybrid systems , 1997, 1997 European Control Conference (ECC).

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

[26]  Sherif Abdelwahed,et al.  Online fault adaptive control for efficient resource management in Advanced Life Support Systems. , 2005, Habitation.

[27]  Dimitri P. Bertsekas,et al.  Nonlinear Programming , 1997 .