Analysis of synchronization in a supermarket refrigeration system

In a supermarket refrigeration, the temperature in a display case, surprisingly, influences the temperature in other display cases. This leads to a synchronous operation of all display cases, in which the expansion valves in the display cases turn on and off at exactly the same time. This behavior increases both the energy consumption and the wear of components. Besides this practical importance, from the theoretical point of view, synchronization, likewise stability, Zeno phenomenon, and chaos, is an interesting dynamical phenomenon. The study of synchronization in the supermarket refrigeration systems is the subject matter of this work. For this purpose, we model it as a hybrid system, for which synchronization corresponds to a periodic trajectory. To examine whether it is stable, we transform the hybrid system to a single dynamical system defined on a torus. Consequently, we apply a Poincaré map to determine whether this periodic trajectory is asymptotically stable. To illustrate, this procedure is applied for a refrigeration system with two display-cases.

[1]  A. Pikovsky,et al.  Synchronization: Theory and Application , 2003 .

[2]  Karl Henrik Johansson,et al.  Towards a Geometric Theory of Hybrid Systems , 2000, HSCC.

[3]  Ian A. Hiskens,et al.  Switching-induced stable limit cycles , 2007 .

[4]  J. Leth,et al.  On formalism and stability of switched systems , 2012, Journal of Control Theory and Applications.

[5]  Rafael Wisniewski,et al.  Convenient model for systems with hystereses-control , 2011, IEEE Conference on Decision and Control and European Control Conference.

[6]  S. Shankar Sastry,et al.  A Homology Theory for Hybrid Systems: Hybrid Homology , 2005, HSCC.

[7]  Giorgio Battistelli,et al.  Unfalsified Virtual Reference Adaptive Switching Control of Plants with Persistent Disturbances , 2008 .

[8]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[9]  R. Wisniewski.  Towards Modelling of Hybrid Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[10]  R. Sanfelice,et al.  Hybrid dynamical systems , 2009, IEEE Control Systems.

[11]  Rafael Wisniewski,et al.  Synchronization and desynchronizing control schemes for supermarket refrigeration systems , 2007, 2007 IEEE International Conference on Control Applications.

[12]  Romeo Ortega,et al.  Passivity of Nonlinear Incremental Systems: Application to PI Stabilization of Nonlinear RLC Circuits , 2006, CDC.

[13]  Jan Lunze,et al.  Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces , 2007, HSCC.

[14]  G. E. Bredon.  Topology and geometry , 1993 .

[15]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[16]  Jan Lunze,et al.  Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems , 2008, HSCC.

[17]  Munther A. Dahleh,et al.  Global analysis of piecewise linear systems using impact maps and surface Lyapunov functions , 2003, IEEE Trans. Autom. Control..

[18]  Sebastian Engell,et al.  Hybrid NMPC of a Supermarket Refrigeration System Using Sequential Optimization , 2008 .

[19]  Rafael Wisniewski,et al.  Method for Analysis of Synchronization Applied to Supermarket Refrigeration System , 2008 .

[20]  Alexander L. Fradkov,et al.  On self-synchronization and controlled synchronization , 1997 .

[21]  Munther A. Dahleh,et al.  Global stability of relay feedback systems , 2001, IEEE Trans. Autom. Control..

[22]  T. Ueta,et al.  Bifurcation of switched nonlinear dynamical systems , 1999 .

[23]  César de Prada,et al.  Hybrid NMPC of supermarket display cases , 2009 .