حضور تأخیر محدود در سیگنال سوئیچ سیستم‌های سوئیچینگ خطی‌تبار
محورهای موضوعی : مهندسی برق و کامپیوترآرمان صحت نیا 1 , فرزاد هاشم‌زاده 2 * , مهدی برادران نیا 3
1 - دانشكده مهندسي برق و كامپيوتر، دانشگاه تبریز
2 - دانشكده مهندسي برق و كامپيوتر، دانشگاه تبریز
3 - دانشكده مهندسي برق و كامپيوتر، دانشگاه تبریز
کلید واژه: سیستم‌های سوئیچینگ خطی‌تبار, سیگنال سوئیچ‌زنی, تأخیر محدود, پایداری عملی لیاپانوف,
چکیده مقاله :
در این مقاله پیامد حضور تأخیر در سیگنال سوئیچ برای سیستم‌های سوئیچینگ خطی‌تبار بررسی می‌شود. ابتدا بر اساس اصول پایداری، روند استخراج سیگنال سوئیچ به‌عنوان تنها ورودی کنترلی بررسی شده و سپس با ارائه مبحث پایداری عملی برای سیستم‌های سوئیچ‌دار، دیدگاه واقع‌گرایانه‌تری نسبت به این سیستم‌ها مطرح می‌شود. تمرکز اصلی مقاله بر روی تأثیر تأخیر در انتقال اطلاعات سیگنال سوئیچ خواهد بود. حضور تأخیر محدود در سیگنال سوئیچ معمولاً ناشی از حجم بالای محاسبات قانون سوئیچ‌زنی و یا هر گونه حمله سایبری است. در این مقاله نتایج پایداری عملی لیاپانوف مربوط به حالات قبل و بعد از حضور تأخیر در سیگنال برای یک سیستم سوئیچینگ خطی‌تبار به صورت تحلیلی و شبیه‌سازی مقایسه می‌شوند. نتایج مقایسه این حالت‌ها نشان‌دهنده آن است که با افزایش تأخیر محدود در سیگنال سوئیچ، کران غایی سیستم هم بزرگ‌تر می‌شود و این به معنی کاهش همگرایی حالت‌های سیستم است. در این راستا نتایج به‌دست‌آمده برای یک مبدل قدرت DC-DC پیاده‌سازی و مقایسه‌های لازم در فصل آخر ارائه می‌شود.
In this article, the consequence of the presence of delay in the switch signal for switched affine systems is investigated. First, based on the principles of stability, the process of extracting the switch law as the only control input is examined, then by presenting the practical stability issue for switched systems, more realistic view of these systems is proposed. The main focus of the article will be on the effect of delay in the transmission of switching signal information. The presence of limited delay in switching signal is usually caused by high volume of switching law calculations or any cyber attacks. In this paper, the practical Lyapunov stability results related to the states before and after the presence of delay in switching signal for a linear switched affine system are compared analytically and simulated. The results of the comparison of these modes show that when the value of delay in switching signal increases, the ultimate limit of the error for system states becomes larger, and this means a decrease in the convergence of the system states. In this regard, the results implemented for a DC-DC power converter and the necessary comparisons are presented in the last chapter.
[1] E. Feron, Quadratic Stabilizability of Switched Systems via State and Output Feedback, Center for Intelligent Control Systems, 13 pp., 1996.
[2] Y. Chang, G. Zhai, L. Xiong, and B. Fu, "Global quadratic stabilization in probability for switched linear stochastic systems," IEEE Access, vol. 8, pp. 103610-103618, 2020.
[3] C. Peng and H. Sun, "Switching-like event-triggered control for networked control systems under malicious denial of service attacks," IEEE Trans. on Automatic Control, vol. 65, no. 9, pp. 3943-3949, Sept. 2020.
[4] M. Hejri, "Practical stability analysis and switching controller synthesis for discrete-time switched affine systems via linear matrix inequalities," Scientia Iranica, Articles in Press, 2022.
[5] A. Shams, M. Rehan, M. A. Razaq, and M. Tufail, "A new approach using multiple Lyapunov functions for bipartite consensus of multi-agents over directed switching signed graphs," Nonlinear Analysis: Hybrid Systems, vol. 44, Article ID: 101143, May 2022.
[6] X. Zhang and Z. Wang, "Stability and robust stabilization of uncertain switched fractional order systems," ISA Trans., vol. 103, 9 pp., Aug. 2020.
[7] Y. Ma, Z. Li, and J. Zhao, "H∞ control for switched systems based on dynamic event-triggered strategy and quantization under state-dependent switching," IEEE Trans. on Circuits and Systems I: Regular Papers, vol. 67, no. 9, pp. 3175-3186, Sept. 2020.
[8] N. K. Son and L. Van Ngoc, "On robust stability of switched linear systems," IET Control Theory & Applications, vol. 14, no. 1, pp. 19-29, Jan. 2020.
[9] K. Zhu, J. Hu, Y. Liu, N. D. Alotaibi, and F. E. Alsaadi, "On ℓ2–ℓ∞ output-feedback control scheduled by stochastic communication protocol for two-dimensional switched systems," International J. of Systems Science, vol. 52, no. 14, pp. 2961-2976, 2021.
[10] G. O. Berger and R. M. Jungers, "Quantized stabilization of continuous-time switched linear systems," IEEE Control Systems Letters, vol. 5, no. 1, pp. 319-324, Jan. 2020.
[11] Y. Shi and X. M. Sun, "Bumpless transfer control for switched linear systems and its application to aero-engines," IEEE Trans. on Circuits and Systems I: Regular Papers, vol. 68, no. 5, pp. 2171-2182, May 2021.
[12] F. A. Faria, et al., "Robust switched state feedback design for linear uncertain systems subject to disturbances," in Proc. 16th Int. Workshop on Variable Structure Systems, VSS'2022, pp. 22-28, Rio de Janeiro, Brazil, 11-14 Sept. 2022.
[13] D. Llorente‐Vidrio, M. Mera, I. Salgado, and I. Chairez, "Robust control for state constrained systems based on composite barrier Lyapunov functions," International J. of Robust and Nonlinear Control, vol. 30, no. 17, pp. 7238-7254, 25 Nov. 2020.
[14] Y. Xie and W. Wang, "Hybrid control strategy of DC-DC converters based on admissible edge-dependent average dwell time," in Proc. 4th Int Conf. on Intelligent Green Building and Smart Grid, IGBSG'19, pp. 401-404, Hubei, China, 6-9 Sept. 2019.
[15] L. I. Allerhand and U. Shaked, "Robust state-dependent switching of linear systems with dwell time," IEEE Trans. on Automatic Control, vol. 58, no. 4, pp. 994-1001, Apr. 2012.
[16] D. Yang and J. Zhao, "Feedback passification for switched LPV systems via a state and parameter-triggered switching with dwell time constraints," Nonlinear Analysis: Hybrid Systems, vol. 29, pp. 147-164, Aug. 2018.
[17] T. Sun, T. Liu, and X. M. Sun, "Stability analysis of cyclic switched linear systems: an average cycle dwell time approach," Information Sciences, vol. 544, pp. 227-237, 12 Jan. 2021.
[18] Q. Liu and L. Long, "State‐dependent switching law design with guaranteed dwell time for switched nonlinear systems," International J. of Robust and Nonlinear Control, vol. 30, no. 8, pp. 3314-3331, 25 May. 2020.
[19] P. Bolzern and W. Spinelli, "Quadratic stabilization of a switched affine system about a nonequilibrium point," in Proc. of the American Control Conf., vol. 5, pp. 3890-3895, Boston, MA, USA, 30 Jun.- 2 Jul. 2004.
[20] X. Xu, G. Zhai, and S. He, "On practical asymptotic stabilizability of switched affine systems," Nonlinear Analysis: Hybrid Systems, vol. 2, no. 1, pp. 196-208, Mar. 2008.
[21] X. Yan, Z. Shu, and S. M. Sharkh, "Prediction-based sampled-data control for DC-DC buck converters," in Proc. 1st Workshop on Smart Grid and Renewable Energy, SGRE'15, 6 pp., Doha, Qatar, 22-23 Mar. 2015.
[22] L. Hetel and E. Fridman, "Robust sampled-data control of switched affine systems," IEEE Trans. on Automatic Control, vol. 58, no. 11, pp. 2922-2928, Nov. 2013.
[23] F. Wu, X. Qu, C. Li, J. Lian, and L. Xu, "Multi-rate sampled-data control of switched affine systems," IET Control Theory & Applications, vol. 14, no. 11, pp. 1524-1530, 23 Jul. 2020.
[24] H. Yang, P. Li, M. Xing, and B. Zhang, "Robust sampled-data control for direct_current-to-direct_current converters via switched affine description and error tracking strategy," Proc. of the Institution of Mechanical Engineers, Part I: J. of Systems and Control Engineering, vol. 236, no. 1, pp. 169-181, 2022.
نشریه مهندسی برق و مهندسی کامپیوتر ایران، الف- مهندسی برق، سال 21، شماره 3، پاییز 1402 205
مقاله پژوهشی
حضور تأخیر محدود در سیگنال سوئیچ
سیستم‌های سوئیچینگ خطی‌تبار
آرمان صحت‌نیا، فرزاد هاشم‌زاده و مهدی برادران‌نیا
چکیده: در این مقاله پیامد حضور تأخیر در سیگنال سوئیچ برای سیستم‌های سوئیچینگ خطی‌تبار بررسی می‌شود. ابتدا بر اساس اصول پایداری، روند استخراج سیگنال سوئیچ به‌عنوان تنها ورودی کنترلی بررسی شده و سپس با ارائه مبحث پایداری عملی برای سیستم‌های سوئیچ‌دار، دیدگاه واقع‌گرایانه‌تری نسبت به این سیستم‌ها مطرح می‌شود. تمرکز اصلی مقاله بر روی تأثیر تأخیر
در انتقال اطلاعات سیگنال سوئیچ خواهد بود. حضور تأخیر محدود در سیگنال سوئیچ معمولاً ناشی از حجم بالای محاسبات قانون سوئیچ‌زنی و یا هر گونه حمله سایبری است. در این مقاله نتایج پایداری عملی لیاپانوف مربوط به حالات قبل و بعد از حضور تأخیر در سیگنال برای یک سیستم سوئیچینگ خطی‌تبار به صورت تحلیلی و شبیه‌سازی مقایسه می‌شوند. نتایج مقایسه این حالت‌ها نشان‌دهنده آن است که با افزایش تأخیر محدود در سیگنال سوئیچ، کران غایی سیستم هم بزرگ‌تر می‌شود و این به معنی کاهش همگرایی حالت‌های سیستم است. در این راستا نتایج به‌دست‌آمده برای یک مبدل قدرت DC-DC پیاده‌سازی و مقایسه‌های لازم در فصل آخر ارائه می‌شود.
کلیدواژه: سیستم‌های سوئیچینگ خطی‌تبار، سیگنال سوئیچ‌زنی، تأخیر محدود، پایداری عملی لیاپانوف.
1- مقدمه
هدف اصلی در اکثر سیستم‌های سوئیچ‌دار مبتنی بر کنترل با سیگنال سوئیچ، طراحی یک استراتژی سوئیچ‌زنی برای برقراری پایداری مجانبی حلقه بسته با درنظرگرفتن یک عملکرد مطلوب است. به طور کلی روشی که معمولاً برای مطالعه این نوع سیستم‌ها مورد استفاده قرار می‌گیرد از انتخاب انواع مختلف توابع لیاپانوف ناشی می‌شود؛ مثلاً نوع مربعی [1] تا [4]، نوع چندگانه [5] تا [7]، چندوجهی [8] و یا نوع مربعی تکه‌ای [9] تا [13]. اختلاف اساسی این روش‌ها در میزان محافظه‌کارانه‌بودن شرایط (شروط برقراری پایداری) به‌کاررفته است. برخی از روش‌های ذکرشده برای حل مسئله طراحی کنترل فیدبک حالت برای سیستم سوئیچ‌دار، بسیار مؤثر [11] و [12] و برخی نیز برای طراحی فیدبک خروجی دینامیکی [4] و [11] حائز اهمیت هستند. بیشتر این مراجع از روش کنترل مقاوم برای حل مسئله خود استفاده نموده‌اند.
در ادامه می‌توان به مرجع بسیار کاربردی و جامع [14] اشاره کرد. این مقاله با توجه به استراتژی سوئیچ‌زنی به‌دست‌آمده برای یک سیستم سوئیچ‌دار خطی‌تبار با درنظرگرفتن ورودی غیر صفر، مجموعه‌ای از نقاط تعادل را تحت‌الشعاع قرار داده که پیش‌زمینه‌ای برای آشنایی با پایداری عملی نیز تلقی می‌شود. هدف اصلی، محاسبه مجموعه نقاط تعادل بر اساس ترکیب محدب زیرسیستم‌ها و طراحی یک قانون سوئیچینگ به منظور رساندن هر مسیری از سیستم به نقطه دلخواه در داخل مجموعه مذکور می‌باشد. طراحی‌های انجام‌شده در این مقاله برای سه نوع مبدل DC-DC الکترونیک قدرت با مدارهای ساده اعمال شده که نتایج مطلوبی را دربرداشته است.
با بررسی‌های انجام‌شده در زمینه طراحی سیگنال سوئیچ برای سیستم‌های سوئیچ‌دار، نفوذ بیش از پیش این مبحث در مبدل‌های الکترونیک قدرت تبدیل به یکی از مسائل پرچالش این روزها شده است. در این مرجع برای یک مبدل قدرت بوست سیگنال سوئیچ طراحی گردیده است؛ با این تفاوت که با محدودکردن سیگنال سوئیچ در یک ساختار 2AED-ADT بحث سوئیچ نامحدود در بازه زمانی محدود در حرکت لغزشی سیستم قابل کنترل می‌شود. با درنظرگرفتن این محدودیت در روند طراحی، فرکانس سوئیچ‌زنی محدود شده و متعاقباً تلفات سوئیچ‌زنی نیز کاهش می‌یابد. در برخی مراجع مانند [15] تا [17] از ساختارهای محدودکننده‌ای همانند انواع 3DT که وظیفه نظم‌دهی با اهداف مختلف برای سیگنال‌های سوئیچ‌زنی را بر عهده دارند، در مسیر طراحی استفاده شده است. با این حال نمی‌توان برای تمامی سیستم‌های سوئیچینگ علی‌الخصوص سیستم‌های سوئیچینگ واقعی، این محدودیت‌ها را از پیش تعیین نمود. در این راستا [18] طراحی سیگنال سوئیچ وابسته به حالت را بدون درنظرگرفتن محدودیت DT از پیش تعیین شده ارائه می‌دهد. در این مقاله با استفاده از روش جمع مربعات با ساختار دوسویه4 سعی در به‌دست‌آوردن تابع لیاپانوف چندگانه شده تا بر اساس اصول پایداری، سیگنال سوئیچ محاسبه شود.
در عمده مطالعات انجام‌شده در زمینه سیستم‌های سوئیچینگ، معمولاً یک نقطه تعادل مشترک برای کل سیستم مطرح می‌شود؛ ولی همان طور که می‌دانیم در سیستم‌های واقعی همانند مبدل‌های الکترونیک قدرت، برقراری پایداری مجانبی برای رسیدن به یک نقطه تعادل مطلوب، مستلزم فرکانس سوئیچ‌زنی بی‌نهایت خواهد بود که از لحاظ فیزیکی امکان‌پذیر نیست. یکی از راه‌های معمول برای مقابله با فرکانس سوئیچ‌زنی بی‌نهایت که باعث پدیده چترینگ غیرقابل کنترل می‌شود، تعیین کران بالایی برای فرکانس سوئیچ‌زنی خواهد بود. این عملکرد، همگرایی به یک نقطه تعادل را به همگرایی به یک ناحیه محدود تبدیل می‌کند؛ یعنی بر اساس اصول پایداری و محدودیت فرکانسی یک ناحیه‌ای از فضای حالت با عنوان کران غایی برای سیستم سوئیچینگ حاصل می‌شود که دربرگیرنده نقطه تعادل مطلوب خواهد بود. بدین ترتیب استفاده از مفهوم پایداری عملی برای تحلیل پایداری سیستم‌های سوئیچینگ واقعی اجتناب‌ناپذیر است.
در زمینه پایداری عملی برای سیستم‌های سوئیچینگ- علی‌الخصوص برای کلاس سیستم‌های خطی‌تبار که بسیار پرکاربرد هستند- تحقیقات بسیاری انجام شده است. مثلاً در [19] حالات سیستم به واسطه برقراری یک سری شروط لازم به سمت نقطه تعادلی سوق داده شده که این نقطه تعادل، زیرمجموعه هیچ کدام از زیرسیستم‌ها به تنهایی نیست. در این مقاله دو نوع قانون سوئیچ‌زنی ارائه شده است. در اولی که با روش فیدبک حالت انجام شده است احتمال حضور مد لغزشی وجود دارد؛ ولی در روش دوم با ارائه یک فیدبک ترکیبی، از مد لغزشی سیستم صرف نظر شده که منجر به محدودیت سرعت سوئیچ‌زنی می‌شود.
از آنجا که تعیین محدوده کران غایی عملی از لحاظ تحلیلی، اطلاعات مؤثری را درباره سیستم مورد نظر ارائه می‌دهد، در [20] با استفاده از توابع انرژی مربعی و برقراری یک سری شروط لازم، کران غایی برای سیستم سوئیچینگ تخمین زده شده است. در [21] از یک روش سوئیچینگ مبتنی بر تخمین برای کنترل یک مبدل باک استفاده شده است. در این مقاله می‌توان به دو دستاورد بسیار مهم و پرچالش اشاره نمود: 1) ارائه روشی جدید برای کنترل مبدل‌ها به‌صورت مستقیم و بدون نیاز به انواع مدولاسیون‌هایی همانند 5SPWM و 2) تعیین کران غایی برای سیستم سوئیچینگ. در تحقیقاتی مشابه [22] تا [24] از یک روش کنترلی به نام اطلاعات نمونه‌برداری‌شده برای سیستم‌های سوئیچینگ خطی‌تبار استفاده شده است. در این مرجع، علت استفاده از این روش، جلوگیری از احتمال حضور تأخیر در سیگنال سوئیچ بیان شده است؛ ولی متناسب با تحقیقات انجام‌شده این مقاله، در این مراجع اطلاعات کافی از تأثیر حضور تأخیر در سیگنال سوئیچ با ساختارهای پیشنهادی ارائه نشده است. در این مقاله، مفهوم ناهمگامی به شکل تأخیر در انتقال برخط سیگنال سوئیچ در لحظات سوئیچ مطرح می‌شود. همان طور که می‌دانیم عوامل بسیاری از قبیل حجم محاسباتی زیاد، حملات سایبری، اختلالات سنسوری و ... می‌توانند از جمله موانع انتقال به موقع اطلاعات سیگنال سوئیچ در زمان تعیین‌شده باشند.
موضوع مورد بررسی در این مقاله مربوط به ناهمگامی سیگنال سوئیچ نسبت به حالت قبلی خود است؛ به‌طوری که تأخیر بهوجودآمده در انتقال اطلاعات سیگنال بعد از هر بازه فعال‌سازی (مربوط به زیرسیستم فعال) سبب دگرگونی مقادیر توابع لیاپانوف نسبت به حالت بدون تأخیر آن می‌شود که این پدیده، متناسب با تغییرات بهوجودآمده، پیامدهایی را نیز
در پی خواهد داشت. با تکیه بر بررسی‌های انجام‌شده تا کنون به صورت جامع در این زمینه تحقیق نشده و به همین دلیل در مقاله حاضر، این موضوع بسیار مهم و حساس مورد مطالعه و بررسی قرار گرفته و نتایج تحقیقات به صورت تحلیلی در بخش‌های بعدی ارائه خواهد شد.
در فصل 2 تعاریف مرتبط با سیستم‌های سوئیچ‌دار خطی‌تبار، پایداری عملی و پدیده‌های ناهمگامی به طور مفصل مورد بررسی قرار می‌گیرد. در فصل 3 ابتدا بر اساس اصول پایداری، روند استخراج سیگنال سوئیچ و سپس با ارائه مبحث پایداری عملی برای سیستم‌های سوئیچ‌دار، دیدگاه واقع‌گرایانه‌تری نسبت به این سیستم‌ها مطرح خواهد شد. در ادامه تأثیر تأخیر در انتقال اطلاعات سیگنال سوئیچ در پایداری عملی سیستم و نهایتاً در فصل آخر تأثیر تأخیر در سیگنال سوئیچ‌زنی یک مبدل قدرت DC-DC به صورت یک سیستم سوئیچ‌دار خطی‌تبار بررسی خواهد شد.
2- پایداری عملی برای سیستم‌های سوئیچ‌دار
خطی‌تبار بدون تأخیر در سیگنال سوئیچ
ابتدا کلاسی از سیستم‌های سوئیچ‌دار به فرم زیر در نظر گرفته می‌شود
(1)
که 
، 
، 
، 
و 
به ترتیب نشان‌دهنده حالات سیستم، ماتریس‌های سیستم، تابع سوئیچ‌زنی و ورودی سیستم (برای تمام زمان‌ها مقداری ثابت در نظر گرفته شده است) هستند. عموماً هدف اصلی در سیستم‌های سوئیچ‌دار، طراحی سیگنال سوئیچ برای هدایت حالت‌های سیستم به سوی یک نقطه تعادل 
است
(2)
به‌طوری که 
، 
، 
،
و 
برقرار بوده که نشان‌دهنده شرایط مدل
میانگین و یا مدل محدب سیستم سوئیچ‌دار هستند. با درنظرگرفتن خطای سیستم به فرم 
، دینامیک خطای ردیابی سیستم (1) را می‌توان به شکل زیر نوشت
(3)
که به این ترتیب، تقریباً برای تمامی سیستم‌های سوئیچ‌دار ایده‌آل،
سیگنال سوئیچ به همراه شرایط کافی، مطابق با قضیه زیر محاسبه و طراحی می‌شود.
قضیه 1 [14]: دینامیک خطای (3) که مرتبط با سیستم (1) با ورودی ثابت 
و نقطه تعادل است در نظر بگیرید. با درنظرگرفتن ضرایب قابل تنظیم 
و 
با توجه به 
، اگر ماتریس‌های مثبت معین 
وجود داشته باشند به طوری که شرایط زیر برقرار باشند
(4)
(5)
آنگاه سیستم (3) با قانون سوئیچ‌زنی زیر، پایدار مجانبی جامع خواهد بود
(6)
اما نتایج حاصل از قضیه فوق مبنی بر همگرایی مجانبی حالات سیستم به سمت نقطه تعادل، امری کاملاً محافظه‌کارانه است. همان طور که قبلاً هم به آن اشاره شد حالت‌های سیستم، زمانی به نقطه تعادل نزدیک و نزدیک‌تر می‌شوند که فرکانس سوئیچ‌زنی به سمت بی‌نهایت میل کند؛ ولی از طرفی در سیستم‌های واقعی همیشه محدودیت فرکانسی خواهیم داشت. از این رو همیشه باید یک ناحیه به عنوان ناحیه همگرایی برای سیستم در نظر گرفته شود. همچنین انتظار می‌رود که مشخصه این کران غایی و یا روند محاسبه آن، اطلاعات مفیدی از تأثیر تأخیر در سیگنال سوئیچ در اختیار ما قرار دهد.
[1] این مقاله در تاریخ 16 دی ماه 1401 دریافت و در تاریخ 28 خرداد ماه 1402 بازنگری شد.
آرمان صحت‌نیا، دانشكده مهندسي برق و كامپيوتر، دانشگاه تبریز، تبریز، ایران، (email: a.sehat.nia@tabrizu.ac.ir).
فرزاد هاشم‌زاده (نویسنده مسئول)، دانشكده مهندسي برق و كامپيوتر، دانشگاه تبریز، تبریز، ایران، (email: hashemzadeh@tabrizu.ac.ir).
مهدی برادران‌نیا، دانشكده مهندسي برق و كامپيوتر، دانشگاه تبریز، تبریز، ایران، (email: mbaradaran@tabrizu.ac.ir).
[2] . Admissible Edge-Dependent Average Dwell Time
[3] . Dwell Time
[4] . Bilinear
[5] . Sinusoidal Pulse Width Modulation
شکل 1: نوار اول زمان‌های فعالیت زیرسیستم‌ها (زمان فعالیت چندین زیرسیستم با رنگ‌های مختلف) را بدون درنظرگرفتن تأخیر برای سیستم کل نشان می‌دهد (سناریوی بدون تأخیر در سیگنال). نوار دوم هم نشان‌دهنده زمان فعالیت زیرسیستم‌ها با درنظرگرفتن تأخیر با رنگ‌های روشن‌تر است (سناریو با حضور تأخیر در سیگنال).
در این راستا سعی می‌کنیم تا ناحیه همگرایی و روند محاسبه آن را برای سیستم (1) با قانون سوئیچ‌زنی (6) توسط لم زیر ارائه دهیم.
لم 1: سیستم (1) با نقطه تعادل و دینامیک خطای (3) را در نظر بگیرید. با درنظرگرفتن مقادیر اسکالر 
و برای 
و 
، اگر ماتریس‌های مثبت معین 
وجود داشته باشند به طوری که در ناتساوی‌های (4) و (5) صدق کنند، آن گاه با درنظرگرفتن قانون سوئیچ‌زنی (6)، مرز کران غایی برای سیستم مورد نظر به فرم زیر محاسبه می‌شود
(7)
اثبات لم 1
یک تابع لیاپانوف به فرم 
را در نظر بگیرید. مشتق این عبارت به شکل زیر خواهد بود
(8)
با فرض 
مشخصاً (8) به فرم زیر قابل تبدیل است
(9)
همچنین با فرض برقراری ناتساوی 
برای مقادیر محدود ، برای هر لحظه سوئیچ 
شرط زیر برقرار خواهد بود
(10)
با توجه به مفاهیم پایداری عملی و محدودیت فرکانس سوئیچ، عبارت 
هیچ گاه به سمت صفر میل نخواهد کرد. بنابراین برای تعیین کران غایی لازم است عبارات سمت راست ناتساوی (9)، مقداری منفی در نظر گرفته شود که به (11) منجر می‌شود
(11)
بدین ترتیب با گرفتن نرم اقلیدوسی از (11)، مرز کران غایی (7) به راحتی محاسبه می‌شود.
ملاحظه 1: با توجه به نتایج لم 1 کاملاً متوجه می‌شویم که مسیر سیستم هرگز به نقطه تعادل نمی‌رسد؛ بلکه فقط به ناحیه‌ای در اطراف آن همگرا خواهد شد. از آنجا که نتایج به‌دست‌آمده از پایداری عملی، گویای حساسیت عملکرد سیستم هستند، انتظار می‌رود حضور تأخیر در سیگنال، اندازه کران غایی را با توجه به نتایج فوق تغییر دهد. به همین جهت، محاسبه دقیق کران بالای تابع لیاپانوف برای مقایسه اندازه کران غایی در دو حالت عادی و تأخیردار، الزامی است. نتایج به‌دست‌آمده از روند محاسبه کران غایی برای حالت تأخیردار در بخش بعد ارائه می‌شود.
ملاحظه 2: بدون تغییر در کلیت قضیه با درنظرگرفتن روش حل ماتریس‌های لیاپانوف 
مرتبط با ناتساوی‌های (4) و (5)، یک تابع لیاپانوف به فرم 
برای کل سیستم سوئیچینگ قابل تعریف خواهد بود. هدف اصلی، محاسبه یک کران بالا برای تابع لیاپانوف مورد نظر است. به همین جهت با انتگرال‌گیری‌های پیدرپی از (9) برای بازه زمانی 
و با درنظرگرفتن شرط (10) در لحظات سوئیچ، کران بالای تابع لیاپانوف کل به شکل زیر به‌دست می‌آید
(12)
پس (12) به‌عنوان کران بالای تابع لیاپانوف برای یک سیستم سوئیچ‌دار خطی‌تبار بدون درنظرگرفتن تأخیر در سیگنال است. در ادامه با مقایسه این کران با نمونه تأخیردار آن، تأثیر تأخیر در سیگنال را رصد می‌کنیم.
3- پایداری عملی برای سیستم‌های سوئیچ‌دار
خطی‌تبار با حضور تأخیر در سیگنال سوئیچ
تقریباً در تمام سیستم‌های سوئیچ‌دار واقعی، حضور تأخیر در روند اعمال الگوریتم قانون سوئیچ اجتناب‌ناپذیر است. یک سیستم سوئیچ‌دار با فرض تأخیر متغیر با زمان 
که 
تعداد سوئیچ‌های محدود است، به فرم زیر مدل می‌شود
(13)
و دینامیک خطای ردیابی به شکل زیر به‌دست می‌آید
(14)
برای تحلیل بهتر مسئله، سناریوی سوئیچینگ شکل 1 را مد نظر قرار می‌دهیم. در این شکل، 
لحظات سوئیچ سیستم بدون تأخیر و 
لحظات سوئیچ سیستم تأخیردار هستند که در این میان از طریق (6) به‌دست می‌آیند.
(الف)
(ب)
(ج)
Lyapunov function 
considering a delay in signal
Lyapunov function 
considering no delay in signal
شکل 2: مثال‌هایی از سه حالت تابع لیاپانوف برای پایداری سیستم سوئیچ‌دار. نمودارهای سمت چپ (قرمز) مربوط به سیستم سوئیچ بدون تأخیر و نمودارهای سمت راست (سیاه) مربوط به سیستم سوئیچ با حضور تأخیر در سیگنال است.
با توجه به سناریوی شکل 1، حضور تأخیر در هر لحظه سوئیچ (ناشی از حجم محاسبات بالا، مشکلات سایبر فیزیکی و ...)، سبب تغییر در روند سوئیچینگ قبلی می‌شود. یعنی با احتساب تأخیر در هر لحظه سوئیچ و وابسته حالت‌بودن قانون سوئیچینگ، لحظه سوئیچ بعدی تغییر می‌کند. بدین ترتیب (6) دیگر صلاحیت استفاده برای حالت تأخیردار را ندارد و این رفتار ناهمگام نسبت به حالت ایده‌آل بر عملکرد سیستم تأثیر می‌گذارد.
حال سیستم سوئیچ‌دار با حضور تأخیر در سیگنال (13) را مد نظر قرار می‌دهیم. طبق شکل 2 اگر تأخیر در لحظه 
به سیستم اعمال گردد، زمان فعالیت زیرسیستم 
به دو قسمت تقسیم می‌شود. یکی مربوط به بازه 
که زیرسیستم قبلی همچنان فعال مانده و دیگری مربوط به بازه 
که زیرسیستم از قبل تعیین شده، برقرار خواهد بود.
همان طور که مشخص است، روند و عملکرد سیستم با توجه به پدیده تأخیر در بازه برای تمام زمان‌های فعالیت تغییر خواهد کرد. بدین ترتیب برای تشخیص و محاسبه چگونگی تأثیر تأخیر در سیگنال، تابع لیاپانوفی به فرم 
را مد نظر قرار می‌دهیم. با وجود اینکه برای نشان‌دادن تأثیر تأخیر در عملکرد سیستم سوئیچ‌دار، شرایط قضیه 1 همچنان برقرار خواهند بود.
حال با توجه به توضیحات شکل 2 و با درنظرگرفتن 
، 
، 
و ، فرضیات زیر را مد نظر قرار می‌دهیم:
الف) برای بازه زمانی
(15)
ب) در لحظه 
(16)
ج) برای بازه زمانی 
(17)
با بررسی این موارد و درنظرگرفتن زمان محدود 
، لم 2 جهت محاسبه دقیق کران بالای لیاپانوف برای سیستم سوئیچ‌دار (13) ارائه می‌شود.
لم 2: سیستم سوئیچ‌دار (13) با دینامیک خطای (14) را مد نظر قرار دهید. برای ضرایب اسکالر قابل تنظیم 
و 
و همچنین درنظرگرفتن 
برای و ، اگر ماتریس‌های مثبت معین وجود داشته باشند، آنگاه تابع لیاپانوف 
به شکل زیر محدود می‌شود
(18)
اثبات لم 2
اثبات لم فوق همانند روند محاسبه (12) است. بدین ترتیب، مشتق به شکل زیر خواهد بود
(19)
اولین مرحله برای محاسبه کران بالای تابع لیاپانوف فوق، انتگرال‌گیری از (19) در بازه زمانی است. سپس مراحل انتگرال‌گیری به صورت پیدرپی به صورت معکوس از انتها تا ابتدای زمان با در نظر گرفتن فرضیات (15) تا (17) انجام می‌شود. همان طور که می‌دانیم یکی از ایده‌های اصلی این مقاله، نشان‌دادن تأثیر تأخیر موجود در سیگنال بر مقادیر تابع لیاپانوف است. بدین ترتیب در بدترین شرایط ممکن شروع
کار را بر این اساس می‌گذاریم که حضور تأخیر، تأثیری بر تغییر مقادیر لیاپانوف نداشته باشد. به همین علت در اولین مرحله از محاسبات برای بازه حالت تساوی فرض (17) را مد نظر قرار می‌دهیم؛ ولی در ادامه با انجام انتگرال‌گیری‌های لازم متناسب با گفته‌های فوق، تأثیر حضور تأخیر در سیگنال سوئیچ به مرور آشکار می‌شود. بدین ترتیب برای شروع کار، کران بالای مرحله اول انتگرال‌گیری برای بازه زمانی به شکل زیر محاسبه می‌شود
(20)
حال با درنظرگرفتن شرایط زیر در این مرحله از انتگرال‌گیری،
- 
از ناتساوی (17) نتیجه می‌شود.
- 
از ناتساوی (16) نتیجه می‌شود.
- 
از ناتساوی (15) نتیجه می‌شود.
- نهایتاً با انتگرال‌گیری از (9) برای بازه زمانی 
داریم
(21)
ناتساوی (20) با درنظرگرفتن شرایط فوق برای بازه زمانی 
و همچنین با درنظرگرفتن 
، به فرم زیر توسعه داده می‌شود
(22)
همچنین با درنظرگرفتن شرایط زیر:
| Input Voltage |
| ESR |
| Inductor |
| Capacitor |
| Load |
| Reference Values |
| Final Time |
| Steps |
شکل 3: مدار الکتریکی یک مبدل قدرت DC-DC.
- 
از ناتساوی (10) نتیجه می‌شود.
- و همچنین با انتگرال‌گیری از ناتساوی (9) برای بازه زمانی 
(23)
ناتساوی (22) برای 
با فرض 
می‌تواند به شکل زیر توسعه داده شود
(24)
نهایتاً با ادامه روند توسعه ناتساوی‌های فوق تا ابتدای زمان و همچنین با درنظرگرفتن تعریف 
به‌عنوان تعداد سوئیچ‌های مابین زمان‌های 
، ناتساوی کران بالای ذکرگردیده در (18) به راحتی به‌دست می‌آید.
ملاحظه 3: اگرچه ساختار (18) شباهت زیادی به (12) دارد، ولی با استناد بر نتیجه به‌دست‌آمده 
می‌توان به راحتی دو کران بالای (18) و (12) را با هم مقایسه کرد. با توجه به این شرط، کران بالای تابع لیاپانوف با حضور تأخیر در سیگنال، بزرگ‌تر از حالت بدون تأخیر آن است. بر این اساس با هرچه نزدیک‌ترشدن سیستم به ناحیه همگرایی در مدت زمان محدود، مشخصه بی‌ثباتی خطا 
نیز افزایش پیدا خواهد کرد. نتایج شبیه‌سازی‌های ارائه‌شده در فصل بعد، صحت این امر را به خوبی نشان می‌دهند.
4- شبیه‌سازی‌ها و نتایج
متناسب با آنچه در فصول قبل آمد، نتایج شبیه‌سازی و مقایسه‌های لازم مربوط به موضوع حضور تأخیر در سیگنال سوئیچ در سیستم‌های سوئیچ‌دار در این بخش ارائه می‌شود. همچنین بدون ازدست‌رفتن کلیت
شکل 4: تابع لیاپانوف برای سیستم مورد نظر بدون درنظرگرفتن تأخیر در سیگنال سوئیچ.
شکل 5: تابع لیاپانوف برای سیستم مورد نظر با تأخیر sμ 2 در سیگنال سوئیچ.
شکل 6: تابع لیاپانوف برای سیستم مورد نظر با تأخیر sμ 7 در سیگنال سوئیچ.
قضیه و برای راحتی در شبیه‌سازی، کران بالای تأخیر برای هر زیرسیستم فعال به فرم 
در نظر گرفته می‌شود. در ادامه با ارائه یک مثال از مبدل‌های قدرت DC-DC، نتایج با هم مقایسه می‌شوند (شکل 3).
این قسمت مربوط به نمایش نتایج حاصل از حضور تأخیر در سیگنال سوئیچ است. در این راستا با استفاده از دو لم 1 و 2 از بخش پیشین می‌توان کران غایی سیستم و تأثیر تأخیر در افزایش این ناحیه را به‌خوبی نشان داد. با توجه به قضیه 1 برای سیستم (13) در این بخش، تأثیر رفتار تأخیردار سیگنال سوئیچینگ در تابع لیاپانوف (شکل‌های 4 تا 6)، حالات ردیابی سیستم (شکل‌های 7 تا 9) و بی‌ثباتی خطا در مسیر سیستم (شکل‌های 10 تا 12) در ناحیه‌ای اطراف نقطه تعادل، به ترتیبی که در زیر آمده است، بررسی می‌شوند.
4-1 تأثیر بر تابع لیاپانوف
مجموعه‌ای از زمان‌های تأخیر را با بیشینه مقدار 
برای سیستم (13) در نظر بگیرید. با اینکه تابع لیاپانوف کل در طول زمان رفتار کاهشی دارد، ولی در ازای های مختلف، رفتارهای نوسانی مختلفی خواهد داشت (شکل‌های 4 تا 6) و همان طور که مشخص است، تغییر در دامنه و فرکانس توابع لیاپانوف متناسب با های مختلف منجر به عملکردهای مختلف سیستم می‌شود.
شکل 7: جریان سلفی 
و ولتاژ خروجی 
سیستم سوئیچ‌دار مبدل DC-DC بدون درنظرگرفتن تأخیر در سیگنال.
شکل 8: جریان سلفی و ولتاژ خروجی سیستم سوئیچ‌دار مبدل DC-DC با درنظرگرفتن تأخیر sμ 2 در سیگنال.
شکل 9: جریان سلفی و ولتاژ خروجی سیستم سوئیچ‌دار مبدل DC-DC با درنظرگرفتن تأخیر sμ 7 در سیگنال.
4-2 تأثیر بر حالت‌های ردیابی
همان طور که از نتایج شکل‌های 7 تا 9 مشخص است در حالت ماندگاری سیستم با درنظرگرفتن مقادیر مختلفی از ، علاوه بر اندازه دامنه، زمان نوسان در یک دوره تناوب برای متغیر حالت 
با افزایش مقادیر تأخیر، افزایش می‌یابد. همچنین متناسب با افزایش مقادیر تأخیر در سیگنال، متغیر حالت 
به مقادیری با خطای بزرگ‌تر همگرا خواهد شد.
4-3 تأثیر بر بی‌ثباتی خطای مسیر سیستم
متناسب با اطلاعات حاصل از شکل‌های 10 تا 12 با حضور تأخیر در سیگنال سوئیچ و افزایش مقادیر تأخیر جهت مقایسه، وقتی مسیر حالت سیستم به سمت کران غایی شامل نقطه تعادل نزدیک و نزدیک‌تر می‌شود، نوسانات خطای حالت سیستم نیز افزایش می‌یابد. بدین ترتیب با مقایسه انتهای نمودار در شکل‌های 10 تا 12 کاملاً مشخص است که با افزایش تأخیر، میزان نوسانات نیز افزایش می‌یابد. در نتیجه، این افزایش
شکل 10: نمودار V-I سیستم بدون تأخیر در سیگنال.
شکل 11: نمودار V-I سیستم با تأخیر sμ 2 در سیگنال.
شکل 12: نمودار V-I سیستم با تأخیر sμ 7 در سیگنال.
نوسانات باعث کاهش دقت همگرایی حالات سیستم خواهد شد.
5- نتیجه‌گیری
در اولین مرحله این مقاله، پایداری عملی به همراه قانون سوئیچ‌زنی که به‌عنوان تنها روش کنترلی مطرح می‌شود برای یک سیستم سوئیچینگ خطی‌تبار در نظر گرفته شده است. سپس مشکل حضور تأخیر در سیگنال سوئیچ در قالب پایداری عملی لیاپانوف مورد بررسی قرار گرفت. از نتایج به‌دست‌آمده از مقایسه عملکرد سیستم، قبل و بعد از درنظرگرفتن تأخیر در سیگنال، مشاهده شد که با حضور تأخیر و حتی با افزایش مقدار آن، کران غایی سیستم بزرگ‌تر شده که تأثیر منفی در همگرایی حالات سیستم خواهد داشت. سپس با انجام محاسبات لازم برای یک مبدل DC-DC، صحت نتایج ارائه‌شده را به‌صورت تحلیلی و شبیه‌سازی اثبات کردیم. برای کارهای آینده هم در نظر داریم به دنبال طراحی جدیدی از سیگنال سوئیچ باشیم به طوری که مشکلات عملکرد سیستم در هنگام حضور تأخیر در سیگنال را تا حد امکان کاهش دهد.
مراجع
[1] E. Feron, Quadratic Stabilizability of Switched Systems via State and Output Feedback, Center for Intelligent Control Systems, 13 pp., 1996.
[2] Y. Chang, G. Zhai, L. Xiong, and B. Fu, "Global quadratic stabilization in probability for switched linear stochastic systems," IEEE Access, vol. 8, pp. 103610-103618, 2020.
[3] C. Peng and H. Sun, "Switching-like event-triggered control for networked control systems under malicious denial of service attacks," IEEE Trans. on Automatic Control, vol. 65, no. 9, pp. 3943-3949, Sept. 2020.
[4] M. Hejri, "Practical stability analysis and switching controller synthesis for discrete-time switched affine systems via linear matrix inequalities," Scientia Iranica, Articles in Press, 2022.
[5] A. Shams, M. Rehan, M. A. Razaq, and M. Tufail, "A new approach using multiple Lyapunov functions for bipartite consensus of multi-agents over directed switching signed graphs," Nonlinear Analysis: Hybrid Systems, vol. 44, Article ID: 101143, May 2022.
[6] X. Zhang and Z. Wang, "Stability and robust stabilization of uncertain switched fractional order systems," ISA Trans., vol. 103, 9 pp., Aug. 2020.
[7] Y. Ma, Z. Li, and J. Zhao, "H∞ control for switched systems based on dynamic event-triggered strategy and quantization under state-dependent switching," IEEE Trans. on Circuits and Systems I: Regular Papers, vol. 67, no. 9, pp. 3175-3186, Sept. 2020.
[8] N. K. Son and L. Van Ngoc, "On robust stability of switched linear systems," IET Control Theory & Applications, vol. 14, no. 1, pp. 19-29, Jan. 2020.
[9] K. Zhu, J. Hu, Y. Liu, N. D. Alotaibi, and F. E. Alsaadi, "On ℓ2–ℓ∞ output-feedback control scheduled by stochastic communication protocol for two-dimensional switched systems," International J. of Systems Science, vol. 52, no. 14, pp. 2961-2976, 2021.
[10] G. O. Berger and R. M. Jungers, "Quantized stabilization of continuous-time switched linear systems," IEEE Control Systems Letters, vol. 5, no. 1, pp. 319-324, Jan. 2020.
[11] Y. Shi and X. M. Sun, "Bumpless transfer control for switched linear systems and its application to aero-engines," IEEE Trans. on Circuits and Systems I: Regular Papers, vol. 68, no. 5, pp. 2171-2182, May 2021.
[12] F. A. Faria, et al., "Robust switched state feedback design for linear uncertain systems subject to disturbances," in Proc. 16th Int. Workshop on Variable Structure Systems, VSS'2022, pp. 22-28, Rio de Janeiro, Brazil, 11-14 Sept. 2022.
[13] D. Llorente‐Vidrio, M. Mera, I. Salgado, and I. Chairez, "Robust control for state constrained systems based on composite barrier Lyapunov functions," International J. of Robust and Nonlinear Control, vol. 30, no. 17, pp. 7238-7254, 25 Nov. 2020.
[14] Y. Xie and W. Wang, "Hybrid control strategy of DC-DC converters based on admissible edge-dependent average dwell time," in Proc. 4th Int Conf. on Intelligent Green Building and Smart Grid, IGBSG'19, pp. 401-404, Hubei, China, 6-9 Sept. 2019.
[15] L. I. Allerhand and U. Shaked, "Robust state-dependent switching of linear systems with dwell time," IEEE Trans. on Automatic Control, vol. 58, no. 4, pp. 994-1001, Apr. 2012.
[16] D. Yang and J. Zhao, "Feedback passification for switched LPV systems via a state and parameter-triggered switching with dwell time constraints," Nonlinear Analysis: Hybrid Systems, vol. 29, pp. 147-164, Aug. 2018.
[17] T. Sun, T. Liu, and X. M. Sun, "Stability analysis of cyclic switched linear systems: an average cycle dwell time approach," Information Sciences, vol. 544, pp. 227-237, 12 Jan. 2021.
[18] Q. Liu and L. Long, "State‐dependent switching law design with guaranteed dwell time for switched nonlinear systems," International J. of Robust and Nonlinear Control, vol. 30, no. 8, pp. 3314-3331, 25 May. 2020.
[19] P. Bolzern and W. Spinelli, "Quadratic stabilization of a switched affine system about a nonequilibrium point," in Proc. of the American Control Conf., vol. 5, pp. 3890-3895, Boston, MA, USA, 30 Jun.-
2 Jul. 2004.
[20] X. Xu, G. Zhai, and S. He, "On practical asymptotic stabilizability of switched affine systems," Nonlinear Analysis: Hybrid Systems,
vol. 2, no. 1, pp. 196-208, Mar. 2008.
[21] X. Yan, Z. Shu, and S. M. Sharkh, "Prediction-based sampled-data control for DC-DC buck converters," in Proc. 1st Workshop on Smart Grid and Renewable Energy, SGRE'15, 6 pp., Doha, Qatar, 22-23 Mar. 2015.
[22] L. Hetel and E. Fridman, "Robust sampled-data control of switched affine systems," IEEE Trans. on Automatic Control, vol. 58, no. 11, pp. 2922-2928, Nov. 2013.
[23] F. Wu, X. Qu, C. Li, J. Lian, and L. Xu, "Multi-rate sampled-data control of switched affine systems," IET Control Theory & Applications, vol. 14, no. 11, pp. 1524-1530, 23 Jul. 2020.
[24] H. Yang, P. Li, M. Xing, and B. Zhang, "Robust sampled-data control for direct_current-to-direct_current converters via switched affine description and error tracking strategy," Proc. of the Institution of Mechanical Engineers, Part I: J. of Systems and Control Engineering, vol. 236, no. 1, pp. 169-181, 2022.
آرمان صحت‌نیا تحصيلات خود را در مقاطع كارشناسي، كارشناسي ارشد و دكتري در زمینه مهندسي برق- کنترل در دانشگاه تبریز به‌ترتیب در سال‌های 1389، 1392 و 1402 به پایان رسانده است و هماكنون به عنوان پژوهشگر و مدرس در دانشكده مهندسي برق و كامپيوتر دانشگاه تبریز ميباشد. زمينههاي تحقيقاتي مورد علاقه ايشان عبارتند از: سیستم‌های تاخیردار، سیستم‌های سویچینگ، کنترل مقاوم و مبدل‌های سیستم‌های الکترونیک قدرت.
فرزاد هاشم‌زاده تحصيلات خود را در مقاطع كارشناسي مهندسي پزشکي دانشگاه صنعتي اميرکبير در سال 1382، كارشناسي ارشد مهندسي برق- کنترل دانشگاه تهران در سال 1385 و دكتري مهندسي برق- کنترل در دانشگاه تبریز در سال 1391 به پایان رسانده است و هم اكنون استاد دانشكده مهندسي برق و كامپيوتر دانشگاه تبریز ميباشد. زمينههاي تحقيقاتي مورد علاقه ايشان عبارتند از: کنترل سیستم‌های چند عامله، کنترل شبکه، کنترل مقاوم و غیرخطی، سیستم‌های تاخیردار و سیستم‌های سویچینگ.
مهدی برادران‌نیا تحصيلات خود را در مقاطع كارشناسي، كارشناسي ارشد و دكتري در زمینه مهندسي برق- کنترل در دانشگاه تبریز به‌ترتیب در سال‌های 1384، 1386 و 1391 به پایان رسانده است و هم اكنون استاد دانشكده مهندسي برق و كامپيوتر دانشگاه تبریز ميباشد. زمينههاي تحقيقاتي مورد علاقه ايشان عبارتند از: آنالیز و کنترل سیستم‌های غیرخطی، آنالیز و کنترل سیستم‌های بهینه، سیستم های چندعاملی و تحت شبکه و کنترل سازه‌های ساختمانی.