Fixed-Time Consensus of Fractional-Order Single Integrator Multi-Agent Systems
Subject Areas : electrical and computer engineeringHossein Zamani 1 , وحيد جوهري مجد 2 , Khosro Khandani 3
1 - Tarbiat Modares University
2 - Tarbiat Modares University
3 - Arak University
Keywords: Fractional-order integrators, multi-agent systems, consensus, fixed-time convergence,
Abstract :
The problem of consensus in fractional order single-integrator multi-agent systems has been studied in this paper. The effect of memory is considered using the Riemann-Liouville fractional derivative in the dynamics of the agents. In order to achieve convergence among the agents, a fractional order control protocol based on the error signal between neighboring agents is proposed. Using Lyapunov's stability theorem, a Lyapunov function is introduced that shows that the agents converge over a specified settling time and the upper bound of the settling time is obtained. The merit of the proposed bound for the settling time is that it is independent of the initial conditions. Finally, some simulations are provided to confirm the introduced method.
[1] S. Westerlund, Dead Matter Has Memory, Kalmar, Sweden: Causal Consulting, 2002.
[2] S. K. Samko and B. Ross, "Integration and differentoiation to a variable fractional order," Integral Transforms Special Func., vol. 1, no. 4, pp. 277-300, Apr. 2007.
[3] B. Ross and S. K. Samko, "Fractional integration operator of variable order in the Holder space Hu(x)," Int. J. Math. Math. Sci., vol. 18, no. 4, pp. 777-788, Jan. 1995.
[4] I. Podlubny, "Fractional-order systems and PIλDµ controllers," IEEE Trans. on Automatic Control, vol. 44, no. 1, pp. 208-214, Jan. 1999.
[5] C. A. Monje, B. M. Vinagre, V. Feliu, and Y. Q. Chen, "On auto-tuning of fractional order PIλDµ controllers," in Proc. of Fractional Derivatives and Applications, vol. 2, 6 pp., Porto, Portugal, 19-21 Jul. 2006.
[6] C. Ma and Y. Hori, "Fractional order control: theory and applications in motion control," IEEE Industrial Electronics Magazine, vol. 1, no. 4, pp. 6-16, Winter 2007.
[7] H. Chao, Y. Luo, L. Di, and Y. Q. Chen, "Roll-channel fractional order controller design for a small fixed-wing unmanned aerial vehicle," Control Engineering Practice, vol. 18, no. 7, pp. 761-772, Jul. 2010.
[8] R. Melicio, V. M. F. Mendes, and J. P. S. Catalao, "Fractional-order control and simulation of wind energy systems with PMSG/full-power converter topology," Energy Conversion and Management, vol. 51, no. 6, pp. 1250-1258, Jun. 2010.
[9] M. Zamani, M. Karimi-Ghartemani, N. Sadati, and M. Parniani, "Design of a fractional order PID controller for an AVR using particle swarm optimization," Control Engineering Practice, vol. 17, no. 12, pp. 1380-1387, Dec. 2009.
[10] M. S. Tavazoei, M. Haeri, S. Jafari, S. Bolouki, and M. Siami, "Some applications of fractional calculus in suppression of chaotic oscillations," IEEE Trans. on Industrial Electronics, vol. 55, no. 11, pp. 4094-4101, Nov. 2008.
[11] F. L. Lewis, H. Zhang, K. Hengster-Movric, and A. Das, Cooperative Control of Multi-Agent Systems: Optimal and Adaptive Design Approaches, Springer Science and Business Media, 2013.
[12] R. Olfati-Saber and R. Murray, "Consensus problems in networks of agents with switching topology and time-delays," IEEE Trans. on Automatic Control, vol. 49, no. 9, pp. 1520-1533, Sept. 2004.
[13] W. Ren and R. Beard, "Consensus seeking in multiagent systems under dynamically changing interaction topologies," IEEE Trans. on Automatic Control, vol. 50, no. 5, pp. 655-661, May 2005.
[14] F. Chen, Z. Chen, L. Xiang, Z. Liu, and Z. Yuan, "Reaching a consensus via pinning control," Automatica, vol. 45, no. 5, pp. 1215-1220, May 2009.
[15] Z. Meng, Z. Lin, and W. Ren, "Robust cooperative tracking for multiple nonidentical second-order nonlinear systems," Automatica, vol. 49, no. 8, pp. 2363-2372, Aug. 2013.
[16] S. Ferik, A. Qureshi, and F. Lewis, "Neuro-adaptive cooperative tracking control of unknown higher-order affine nonlinear systems," Automatica, vol. 50, no. 3, pp. 798-808, Mar. 2014.
[17] F. Xiao, L. Wang, J. Chen, and Y. Gao, "Finite-time formation control for multi-agent systems," Automatica, vol. 45, no. 11, pp. 2605-2611, Nov. 2009.
[18] S. Li, H. Du, and X. Lin, "Finite-time consensus algorithm for multi-agent systems with double-integrator dynamics," Automatica, vol. 47, no. 8, pp. 1706-1712, Aug. 2011.
[19] H. Li, X. Liao, and G. Chen, "Leader-following finite-time consensus in second-order multi-agent networks with nonlinear dynamics," International J. of Control, Automation and Systems, vol. 11, pp. 422-426, 2013.
[20] M. Shi and S. Hu, "Leader-following consensus for a class of fractional-order nonlinear multi-agent systems under fixed and switching topologies," in Proc. 36th Chinese Control Conf., CCC'17, pp. 11351-11356, Dalian, China, 26-28 Jul. 2017.
[21] H. Liu, L. Cheng, M., Tan, and Z.-G. Hou, "Exponential finite-time consensus of fractional-order multiagent systems," IEEE Trans. on Systems, Man, and Cybernetics, vol. 50, no. 4, pp. 1549-1558, Apr. 2020.
[22] H. Pan, Z. Liu, and C. Na, "Finite-time output leader-following consensus of fractional-order linear multi-agent systems," in Proc. 38th Chinese Control Conf., CCC'19, pp. 958-963, 27-30 Jul. 2019.
[23] A. Polyakov, "Nonlinear feedback design for fixed-time stabilization of linear control systems," IEEE Trans. on Automatic Control, vol. 57, no. 8, pp. 2106-2110, Aug. 2012.
[24] A. Polyakov, "Fixed-time stabilization of linear systems via sliding mode control," in Proc. 12th Int. Workshop on Variable Structure Systems, 6 pp., Mumbai, India, 12-14 Jan. 2012.
[25] M. Defoort, A. Polyakov, G. Demesure, M. Djemai, and K. Veluvolu, "Leader-follower fixed-time consensus for multi-agent systems with unknown non-linear inherent dynamics," IET Control Theory and Applications, vol. 9, no. 4, pp. 2165-2170, Sept. 2015.
[26] Z. Zuo, B. Tian, M. Defoort, and Z. Ding, "Fixed-time consensus tracking for multi-agent systems with high-order integrator dynamics," IEEE Trans. on Automatic Control, vol. 63, no. 2, pp. 563-570, Feb. 2017.
[27] H. Du, G. Wen, D. Wu, Y. Cheng, and J. Lü, "Distributed fixed-time consensus for nonlinear heterogeneous multi-agent systems," Automatica, vol. 113, Article ID: 108986, Mar. 2020.
[28] L. Wang and J. Dong, "Event-based distributed adaptive fuzzy consensus for nonlinear fractional-order multiagent systems," IEEE Trans. on Systems, Man, and Cybernetics: Systems, vol. 52, no. 9, pp. 5901-5912, Sept. 2022.
[29] C. Wang, H. Tnunay, Z. Zuo, B. Lennox, and Z. Ding, H. Liu, L. Cheng, M. Tan, and Z. G. Hou, "Fixed-Time formation control of multirobot systems: design and experiments," IEEE Trans. on Industrial Electronics, vol. 66, pp. 6292-6301, Aug. 2019.
[30] H. Zamani, V. J. Majd, and K. Khandani, "Formation tracking control of fractional-order multi-agent systems with fixed-time convergence," Proc. of the Institution of Mechanical Engineers, Part I: J. of Systems and Control Engineering, vol. 236, no. 9, pp. 1618-1629, Jul. 2022.
[31] E. Semsar-Kazerooni and K. Khorasani, "Switching control of a modified leader-follower team of agents under the leader and network topological changes," IET Control Theory and Applications, vol. 5, no. 12, pp. 1369-1377, Aug. 2011.
[32] K. B. Oldham and J. Spanier, The Fractional Calculus, Mathematics in Science and Engineering, Academic Press, Inc. 1974.
[33] S. P. Bhat and D. S. Bernstein, "Finite-time stability of continuous autonomous systems," SIAM J. on Control and Optimization, vol. 38, no. 3, pp. 751-766, 2000.
[34] N. Junkang, L. Ling, L. Chongxin, H. Xiaoyu, and L. Shilei, "Further improvement of fixed-time protocol for average consensus of multi-agent systems," IFAC-PapersOnLine, vol. 50, no. 1, pp. 2523-2529, Jul. 2017.
[35] Y. Li, Y. Q. Chen, and I. Podlubny, "Mittag-Leffler stability of fractional order nonlinear dynamic systems," Automatica, vol. 45, no. 8, pp. 1965-1969, Aug 2009.
[36] M. A. Duarte-Mermoud, N. Aguila-Camacho, J. A. Gallegos, and R. Castro-Linares, "Using general quadratic Lyapunov functions to prove Lyapunov uniform stability for fractional order systems," Commun. Nonlinear Sci., vol. 22, no. 1-3, pp. 650-659, May. 2015.
[37] F. L. Sun, J. C. Chen, Z. H. Guan, D. Li, and T. Li, "Leader-following finite-time consensus for multi-agent sys-tems with jointly-reachable leader," Nonlinear Anal.: Real World Appl., vol. 13, no. 5, pp. 2271-2284, Oct. 2012.
[38] G. Hardy, J. Littlewood, and G. Polya, Inequalities, London: Cambridge Univ. Press, 1951.
[39] Z. Yaghoubi, "Robust cluster consensus of general fractional-order nonlinear multi agent systems via adaptive sliding mode controller," Mathematics and Computers in Simulation, vol. 172, pp. 15-32, Jun. 2020.
24 نشریه مهندسی برق و مهندسی كامپیوتر ایران، الف- مهندسی برق، سال 21، شماره 1، بهار 1402
مقاله پژوهشی
اجماع زمان ثابت در سامانههاي چندکارگزار
تکانتگرالگیر مرتبه کسري
حسین زمانی، وحید جوهری مجد و خسرو خاندانی
چكیده: در این مقاله، مسئله اجماع زمان ثابت در سامانههای چندکارگزار تکانتگرالگیر مرتبه کسری مورد مطالعه قرار گرفته است. اثر حافظه با استفاده از انتگرال و مشتق کسری ریمان- لیوویل در دینامیک کارگزاران در نظر گرفته شده و به منظور همگرایی کارگزاران، یک پروتکل کنترل مرتبه کسری مبتنی بر سیگنال خطای بین کارگزاران همسایه ارائه گردیده است. با استفاده از قضیه پایداری لیاپانوف، یک تابع لیاپانوف معرفی شده که نشان میدهد کارگزاران طی یک زمان نشست مشخص، همگرا شده و یک حد بالا برای آن زمان نشست تعیین میگردد. مزیت حد معرفیشده برای زمان نشست، وابستهنبودن آن به شرایط اولیه کارگزاران است. نهایتاً شبیهسازیهایی برای تأیید روش معرفیشده ارائه گردیده است.
کلیدواژه: کارگزارهای تکانتگرالگیر مرتبه کسری، سیستم چندکارگزاره، اجماع، همگرایی زمان ثابت.
1- مقدمه
در دهههای اخیر، حساب مرتبه کسری2 در حوزههای مختلف علوم از جمله مهندسی مورد توجه قرار گرفته است. اهمیت سیستمهای مدلشده با استفاده از مشتق و انتگرال مرتبه کسری در امکان واردکردن اثر حافظه در مدل است. همچنین مدلنمودن سیستمهایی که در برخی از محیطهای پیچیده کار میکنند، با استفاده از حساب مرتبه کسری ممکن میشود؛ به عنوان مثال، وسایل نقلیه هوایی در محیطهای تحت تأثیر آب و هوا، اتومبیلهای در حال حرکت در سطح جادههای حاوی مواد ارتجاعی- لزجی3 و هواپیماهای بدون سرنشین در محیطهای پیچیده با تعداد زیادی ذرات. سیستمهای مرتبه کسری میتوانند موارد اینچنینی را با دقت بیشتر توصیف کنند. همچنین برخی از فرآیندها مانند انتقال حرارت، انتشار امواج، فرآیند گلوکز- انسولین و ... وجود دارند که ذاتاً دارای مرتبه کسری هستند [1]. با توجه به این که عملکرد یک سیستم فیزیکی تحت تأثیر گذشته خود است، باید در مدلسازی، این اثر گذشته برای پیشبینی رفتار آینده لحاظ گردد. این یکی از مزایای انتگرالها و مشتقات مرتبه کسری در مقایسه با مدلهای کلاسیک با مرتبه صحیح است. بنابرابراین میتوان اغلب سیستمهای فیزیکی را که میزان تأثیرپذیری رفتار آینده آن از رفتار گذشتهشان زیاد است، در قالب معادلات دیفرانسیل و انتگرال مرتبه کسری مدل نمود. به عنوان اولین گامهای مطالعاتی در این زمینه میتوان به [2] و [3] اشاره کرد که این کارها بیشتر به جنبه ریاضی مسأله توجه داشتهاند. در زمینه کنترل هم حساب مرتبه کسری مورد استفاده قرار گرفته است. با استفاده از کنترلکنندههای کسری میتوان به عملکرد بهتر و مقاوم4 در مقایسه با کنترلکنندههای کلاسیک مرتبه صحیح دست یافت و از درجات آزادی بیشتری بهره برد. کنترلکنندههای 5PID مرتبه کسری در [4] معرفی شدهاند. در کنترلکنندههای مرتبه کسری، عملگرهای انتگرالگیر و مشتقگیر دارای مرتبه کسری هستند [5]. همچنین در [6] نشان داده شده که کنترلکنندههای مرتبه کسری نسبت به کنترلکنندههای کلاسیک در عمل از کارایی بیشتر برخوردارند. کنترلکنندههای مرتبه کسری در کاربردهای عملی نیز پیادهسازی شدهاند که از جمله آنها میتوان به هواپیماهای بدون سرنشین [7]، توربینهای بادی [8]، تنظیمکنندههای ولتاژ [9]، سیستمهای آشوبگونه [10] و بسیاری از فرایندهای شیمیایی و صنعتی دیگر اشاره نمود.
در دهههای اخیر، مطالعه سامانههای چندکارگزار6 که شامل تعدادی کارگزار هستند که با همکاری با یکدیگر به دنبال دستیافتن به یک هدف مشترک تعریفشده هستند، مورد توجه قرار گرفته است و به عنوان یک مسئله پژوهشی مهم با کاربردهای متنوع در رباتهای متحرک، فضاپیماهای بدون سرنشین، تنظیم موقعیت ماهوارهها و برنامهریزی سیستمهای هوشمند شبکههای برق در نظر گرفته میشود [11]. کنترل مشارکتی سیستمهای چندکارگزار نیز در سالهای اخیر مورد توجه پژوهشگران قرار گرفته است. از جمله سناریوهای قابل تعریف در این حوزه میتوان به اجماع7، کنترل آرایش8 و کنترل مهار9 اشاره نمود. اجماع در سامانه چند کارگزار به این معنی است که کارگزاران موجود در سامانه که میتوانند اطلاعات را انتقال دهند، بر اساس پروتکل یا الگوریتم خاصی بر یکدیگر تأثیر میگذارند و سرانجام با گذشت زمان در یک مقدار مشخص به اجماع میرسند. به طور کلی، مسئله اجماع در سامانههای چندکارگزار به دو دسته مسئله اجماع بدون رهبر10 [12] و مسئله اجماع رهبر- پیرو11 [13] طبقهبندی میشود. در سامانههای دارای رهبر، رهبر مسیر حرکت کل گروه را تعیین مینماید و سایر کارگزاران باید با خطای مناسبی رهبر را تعقیب کنند. در سامانههای بدون رهبر، خود کارگزاران
با توجه به اطلاعاتی که از همسایگان خود میگیرند، مسیر حرکت را مشخص کرده و ادامه میدهند. بیشتر نتایج موجود در مورد مسئله اجماع سامانههای چندکارگزار، در مورد کارگزارانی با دینامیک مرتبه صحیح ارائه شده است؛ مانند دینامیک مرتبه اول (تکانتگرالگیر) [14]، دینامیک مرتبه دوم (دوانتگرالگیر) [15] و دینامیکهای مراتب بالاتر [16].
یکی از مسائل مربوط به سامانههای چندکارگزار، زمان محدودبودن رسیدن به اجماع کارگزاران است؛ به این معنی که در این سامانهها، کارگزاران در یک زمان محدود همگرا شوند. در بسیاری از کاربردهای عملی، سامانههایی که در زمان محدود به اجماع میرسند از مزایای دقت کنترلی بالاتر، کاهش اغتشاش و مقاومبودن در برابر عدم قطعیتها برخوردار هستند. در [17] مسأله اجماع برای سامانههای خطی مرتبه اول با تعداد اعضای بالا بیان شده که اجماع در زمان محدود را بررسی میکند. مسأله زمان محدود برای سامانههای خطی مرتبه دوم در [18] ارائه گردیده که در این مقاله برای دو حالت وجود و یا عدم وجود اغتشاش خارجی، ورودی کنترلی ارائه شده است. همچنین رسیدن به اجماع در زمان محدود برای سامانههای مرتبه دو با دینامیک غیرخطی و در حضور اغتشاش خارجی نیز در [19] مطرح گردیده که با استفاده از روش مود لغزشی، کارگزاران در زمان محدود به اجماع میرسند. مسئله اجماع در سامانههای چندکارگزار مرتبه کسری در [20] مورد بررسی قرار گرفته است. در این مقاله با استفاده از قضیه لیاپانوف، ماتریس بهره کنترل برای دستیابی به اجماع پیروی از رهبر به ترتیب در توپولوژیهای ثابت و سوئیچینگ طراحی شده است. کاربرد روش کنترل مود لغزشی برای حل مسئله اجماع در سامانههای چندکارگزار مرتبه کسری در [21] بررسی شده است. در این مقاله اثبات گردیده که اگر شبکه ارتباطی دارای یک درخت پوشای جهتدار باشد، میتوان به اجماع زمان محدود نمایی رسید. در [22] برای اولین بار تعریف اجماع رهبر- پیرو زمان محدود ارائه شده که در سامانههای چندکارگزار مرتبه کسری مورد بررسی قرار گرفته است. در این مقاله بیان گردیده که سامانه در زمان محدودی همگرا میشود ولی به مقدار زمان آن اشاره نشده است.
در پروتکلهای اجماع زمان محدود میتوان زمان نشست را محاسبه نمود که این زمان علیرغم محدودبودن به شرایط اولیه کارگزاران بستگی دارد. بنابراین عدم دسترسی به این شرایط اولیه معمولاً مانع از تخمین زمان نشست میشود، زیرا در بسیاری از کاربردهای عملی به دست آوردن اطلاعات دقیق از شرایط اولیه کار سختی است که تخمین زمان همگرایی را دشوار میکند. علاوه بر این، اگر شرایط اولیه تمایل به بینهایت داشته باشد، زمان همگرایی بینهایت خواهد شد. اخیراً یک رویکرد جدید به نام همگرایی زمان ثابت پیشنهاد شده است که تضمین میکند زمان نشست بدون توجه به شرایط اولیه دارای محدودیت باشد [23] و [24]. در [25] مطالعه بر روی طراحی اجماع زمان ثابت برای سامانههای چندکارگزار مرتبه اول با دینامیک غیرخطی ناشناخته انجام شده است. در [26] مسئله اجماع رهبر- پیرو در زمان ثابت در سامانههای چندکارگزار مرتبه بالا
مبنی بر اغتشاشات خارجی بررسی گردیده است. مسئله اجماع زمان ثابت توزیعشده برای سامانههای چندکارگزار غیر خطی رهبر- پیرو ناهمگن در [27] بررسی شده است. سامانههای چندکارگزار در نظر گرفته شده شامل چندین سامانه غیرخطی مرتبه اول و مرتبه دوم هستند. مسئله کنترل ردیابی اجماع فازی تطبیقی مبتنی بر رویداد برای یک کلاس از سامانههای چندکارگزار غیرخطی مرتبه کسری در [28] مورد مطالعه قرار گرفته است. در این مقاله، دو مکانیسم راهاندازی رویداد جدید به ترتیب برای ارتباط و کنترل طراحی شده و تجزیه و تحلیل پایداری بر اساس روش مستقیم لیاپانوف مرتبه کسری صورت گرفته است. کنترل آرایش زمان مقطوع سامانههای چند کارگزار در رباتهایی که محدودیتهای تأخیر دارند، در [29] مورد مطالعه قرار گرفته است. در این مقاله چند روش زمان مقطوع غیرخطی برای سامانههایی که دارای چند ربات هستند، ارائه شده و زمان نشست مربوطه با استفاده از توابع لیاپانوف به دست آمده است. در [30]، همگرایی کارگزاران در سامانههای چندکارگزار مرتبه کسری با یک آرایش مشخص در یک زمان ثابت بررسی شده است. قانون کنترلی معرفیشده در این مقاله، مرتبه صحیح بوده و مشکل چترینگ در سیگنال کنترلی وجود دارد. با این حال در مقاله حاضر با طراحی پروتکل کنترل به صورت مرتبه کسری، این مسئله حل شده است.
در این مقاله فرض گردیده که هر یک از کارگزاران دارای دینامیک تکانتگرالگیر مرتبه کسری هستند. مسئله اجماع در مورد این دسته از سامانهها بررسی شده و پروتکلی توزیعیافته جهت رسیدن به اجماع ارائه میگردد. نوآوریهای این پژوهش را میتوان به صورت زیر خلاصه کرد:
- ارائه یک پروتکل اجماع توزیعیافته مرتبه کسری جدید جهت رسیدن به اجماع با نرخ همگرایی زمان ثابت برای سیستمهای چندکارگزار مرتبه کسری
- مشخصنمودن حد بالا برای زمان نشست حصول اجماع مستقل از شرایط اولیه کارگزاران
- حل مشکل چترینگ ناشی از وجود توابع ناپیوسته در پروتکل کنترلی با استفاده از ویژگی انتگرالگیر مرتبه کسری در نقش فیلتر پایینگذر
ساختار این مقاله شامل 5 بخش است. در بخش دوم، مقدمات ریاضی شامل تعاریف، لمها و قضایای لازم بیان شده و در بخش سوم پروتکل کنترل پیشنهادی به همراه اثبات آن ارائه گردیده است. در بخش چهارم شبیهسازی و مقایسه انجام شده و نهایتاً در بخش آخر، نتیجهگیری مقاله آمده است.
2- تعاریف اولیه، لمها و قضایا
در سامانههای چندکارگزار، وجود ارتباط و هماهنگی و تبادل اطلاعات بین اعضای گروه اهمیت دارد و منجر به انعطافپذیری و هماهنگی گروه جهت رسیدن به اهداف مورد نظر میگردد. این ارتباطات و تبادل اطلاعات با استفاده از گراف مدلسازی میشود. هر کارگزار معادل یک گره از گراف و ارتباط بین کارگزاران و تبادل داده بین آنها توسط یالهای گراف مدل میشود [17].
سامانه چندکارگزار توسط گراف جهتدار با مجموعه رأسهای مدل میشود. راس معادل کارگزار ام و یال بیانکننده وجود راه ارتباطی از کارگزار ام به کارگزار ام است. اگر فرض گردد که گراف دارای خودحلقه نباشد (یعنی گراف، یالی به صورت نداشته باشد)، مجموعه همسایگان کارگزار ام، کارگزارانی میباشند که قادر هستند تا اطلاعات کارگزار ام را دریافت نمایند و با نمایش داده میشوند و تعریف ریاضی آنها معادل است.
تعریف 1 (ماتریس مجاورت) [17]: کمیتهای وزنی یک گراف با استفاده از ماتریس مجاورت بیان میشوند که ماتریسی مربعی است و با علامت نشان داده میشود و به صورت زیر تعریف میگردد
(1)
تعریف 2 (ماتریس لاپلاسین) [17]: ماتریس لاپلاسین12 با علامت نشان داده شده و به صورت تعریف میگردد که معادل ماتریس قطری درجههای ورودی گرههای آن است. از ماتریس لاپلاسین برای توصیف یک گراف و همچنین تبادل اطلاعات در یک شبکه ارتباطی سامانههای چندکارگزار استفاده میشود.
کارگزاران در سامانههای چندکارگزار توسط مدلهای ریاضی مختلف بیان میشوند [31]. یکی از سادهترین مدلها در سامانههای چندکارگزار، مدل تکانتگرالگیر13 است به صورت زیر
(2)
که در آن مجموعه تمامی کارگزاران، بردار ورودی کنترلی کارگزار ام و تغییر مکان یعنی سرعت کارگزار ام است. مدل دیگر مدل انتگرالگیر دوگانه با نام مدل جرم نقطه نیز شناخته میشود. همچنین مدلهای دیگری از جمله مدل تکچرخ غیرهولونومیک14 برای کاربرد در کنترل چند ربات متحرک و مدل دوبین15 که حالت سادهشده مدل تک چرخ غیرهمولونومیک است، ارائه شدهاند.
تعریف 3 (تابع گاما) [32]: تابع گاما برای به صورت (3) تعریف میگردد
(3)
تعریف 4 (اجماع) [11]: اجماع در سامانههای چندکارگزار با پویش (2) به این معناست که حالت تمامی کارگزاران به مقدار مشترکی برسند و یا به ازای هر مقدار اولیهای، (4) برقرار باشد
(4)
در این حالت ورودی کنترلی هر کارگزار طبق (5) به دست میآید
(5)
که در آن کمیت وزنی مربوط به یالهای گراف در ماتریس مجاورت است. این قانون کنترلی برای هر کارگزار، تنها به حالت همسایگان آن کارگزار بستگی دارد و تحت شرایط خاصی، اجماع تمامی کارگزاران را تضمین مینماید.
تعریف 5 (زمان محدود) [33]: سیستمی را به فرم و در نظر بگیرید. اگر یک تابع پیوسته مثبت معین با مقادیر حقیقی و با همسایگی وجود داشته باشد که ، ، سپس در زمان محدود به صفر میل میکند. همچنین زمان محدود آن به صورت است.
تعریف 6 (زمان ثابت) [23]: برای ، سیستم و را در نظر بگیرید. این سیستم زمان ثابت سراسری است اگر پایدار زمان محدود سراسری باشد و تابع زمان نشست آن ، توسط مقدار مثبت محدود باشد، یعنی برای برقرار باشد.
لم 1 [34]: معادله دیفرانسیل (6) را در نظر بگیرید
(6)
که در آن و ، ، و اعداد صحیح مثبت هستند به طوری که و برقرار باشد. حال نقطه تعادل سیستم فوق پایدار زمان ثابت است و این زمان نشست طبق (7) توسط حد بالا محدود میشود
(7)
تعریف 7 [35]: در حساب مرتبه کسری، عملگرهای انتگرالگیر و مشتقگیر با یک عملگر اساسی به صورت نمایش داده میشوند. تابع مشتق و انتگرال مرتبه کسری ریمان- لیوویل16 به صورت رابطه زیر تعریف میشود
(8)
که به ازای مقادیر مثبت ، این عملگر نشاندهنده مشتقگیر و به ازای مقادیر منفی، نشاندهنده انتگرالگیر است.
لم 2 [36]: اگر ماتریس مثبت معین، متقارن و ثابت باشد و تابعی باشد که مشتق کاپوتو برای آن وجود داشته باشد، آن گاه (9) برقرار است
(9)
لم 3 [37]: فرض کنید و متقارن هستند. اگر تابع فرد باشد، آن گاه (10) برقرار است
(10)
لم 4 [38]: برای همه اعداد غیرمنفی عبارات زیر برقرار هستند:
لم 5 [12]: اگر ماتریس لاپلاسین باشد، عبارات زیر برقرار هستند:
3- نتایج اصلی
دینامیک هر کارگزار را در سامانه چندکارگزار مرتبه کسری به صورت (11) در نظر بگیرید
(11)
که در آن مشتق ریمان- لیوویل، حالت کارگزار ام و ورودی کنترل کارگزار ام است. یک نمونه عملی از سیستم (2) مدل سادهشده بازوی مکانیکی با مفصل انعطافپذیر تکرابط است [39]. فرض کنید سیستم مورد بررسی دارای توپولوژی ثابت است تا ماتریس لاپلاسین آن پیوسته باشد. همچنین گراف آن شامل یک درخت پوشاست. فرم کلی قانون کنترل برای رسیدن کارگزاران به اجماع در زمان ثابت به صورت (12) است
(12)
که برقرار است. همچنین و ، ، و اعداد صحیح مثبت فرد هستند؛ به طوری که و برقرار باشد. با توجه به این که مرتبه انتگرالی است با علامت منفی نشان داده شده که به صورت تعریف میشود.
قضیه 1: با توجه به دینامیک (11) برای هر کارگزار در سامانههای چندکارگزار مرتبه کسری، اگر گراف سیستم به صورت متصل و شامل یک درخت پوشا باشد، اعمال قانون کنترل ارائهشده در (12) به ازای ، موجب میشود تا کارگزاران طبق زمان ثابت رابطه زیر به اجماع برسند
(13)
در (13) باید نابرابریهای و برقرار باشند که ماتریس
لاپلاسین مربوط به ماتریس مجاورت و به طور مشابه،
ماتریس لاپلاسین مربوط به ماتریس مجاورت است. توجه شود که ماتریس مجاورت اصلی برابر میباشد
(14)
اثبات: اگر تابع لیاپانوف به فرم فرض شود که و باشد، میتوان از لم 2 جهت محاسبه مشتق تابع لیاپانوف به صورت زیر بهره گرفت. از لم 2 و (11) و (12)، (15) حاصل میشود. با توجه به فرض قضیه اگر باشد، آن گاه داریم
(16)
طبق لم 3، عبارت فوق به صورت زیر خواهد بود
(17)
با توجه به آن که و فرد هستند، (18) نتیجه میشود.
از آنجایی که و است، پس و
حاصل میشود. حال با توجه به لم 4، (19) و همچنین طبق لم 5، (20) به دست میآید
[1] این مقاله در تاریخ 6 آذر ماه 1400 دریافت و در تاریخ 27 دی ماه 1401 بازنگری شد.
حسین زمانی، دانشکده مهندسی برق و کامپیوتر، دانشگاه تربیت مدرس، تهران، ایران، (email: zamani.hossein1371@gmail.com).
وحید جوهری مجد (نويسنده مسئول)، دانشکده مهندسی برق و کامپیوتر، دانشگاه تربیت مدرس، تهران، ایران، (email: majd@modares.ac.ir).
خسرو خاندانی، گروه مهندسی برق، دانشگاه اراک، اراک، ایران،
(email: k-khandani@araku.ac.ir).
[2] . Fractional Order Calculus
[3] . Viscoelastic
[4] . Robust
[5] . Proportional-Integral-Derivative
[6] . Multi-Agent Systems
[7] . Consensus
[8] . Formation
[9] . Containment
[10] . Leaderless
[11] . Leader-Follower
[12] . Laplacian Matrix
[13] . Single Integrator Model
[14] . Non-Holonomic Unicycle
[15] . Dubins Model
[16] . Riemann-Liouville
(15)
(18)
(19)
شکل 1: ارتباط کارگزاران.
(20)
بنابراین جایگذاری (20) در (19)، نتیجه میدهد
(21)
بر اساس لم 1 داریم
(22)
پس (13) به دست میآید و قضیه کامل میشود. ■
نکته 1: توجه شود که پروتکل کنترل پیشنهادی، یک روش کنترل کاملاً توزیعیافته است و هر کارگزار از اطلاعات محلی کارگزاران همسایه خود استفاده میکند. همچنین با توجه به معلومبودن مدل کارگزاران و
در نتیجه مرتبه کسری دینامیک کارگزار در (11)، فرض در مورد مرتبه کسری انتگرالگیر در پروتکل کنترلی (12) موجب محدودیتی نمیشود.
نکته 2: تابع در قانون کنترلی (12) یک تابع ناپیوسته است و برای پیادهسازی نیاز به فرکانس سوئیچینگ بینهایت دارد و معمولاً در هنگام پیادهسازی عملی برای جلوگیری از پدیده وزوز، یک روش متداول استفاده از تابع اشباع پیوسته به جای تابع است. با وجود این در این مقاله، قانون کنترلی (12) شامل انتگرال مرتبه کسری از مرتبه است که در واقع در نقش یک فیلتر پایینگذر بر روی تابع عمل میکند و محتوای فرکانس بالا را از خود عبور نمیدهد. به این ترتیب بدون نیاز به جایگزینی تابع با یک تابع اشباع پیوسته، تحقق سیگنال کنترلی (12) ممکن میشود.
نکته 3: شایان ذکر است که در قضیه 1، گراف ارتباطی به صورت متصل برای سیستم چندکارگزار بدون رهبر در نظر گرفته شده است. با این فرضیات، ماتریس لاپلاسین مربوط، دارای مقدار ویژه صفر خواهد بود. وجود مقدار ویژه صفر باعث بروز مشکلات نظری در اثبات قضایای اجماع با رویکرد تابع لیاپانوف میشود. مثبت معین نبودن تابع لیاپانوف شامل ماتریس لاپلاسین و نیز معکوسناپذیری ماتریس لاپلاسین از جمله مواردی است که در تحلیل پایداری سیستمهای چندکارگزاره بدون رهبر بروز میکند. با این حال در این مقاله تابع لیاپانوف به صورت عبارت در نظر گرفته شده و در روند اثبات، وجود مقدار ویژه صفر در ماتریس لاپلاسین مشکلی به وجود نیاورده است.
4- نتايج شبيهسازي
در این بخش یک مثال جامع برای نشاندادن کارایی و کاربرد پروتکل پیشنهادی و همچنین تجزیه و تحلیل تئوری ارائه گردیده است. یک سامانه با 5 کارگزار را در نظر بگیرید که ماتریس مجاورت آنها به صورت زیر باشد
(23)
توپولوژی ارتباطی بین آنها در شکل 1 نشان داده شده که شرایط اولیه کارگزاران به فرم ، ، ، و فرض گردیده است.
در اینجا ضرایب به صورت ، ، ، و در نظر گرفته شده و مرتبه کسری 9/0 است. همچنین با توجه به ، مقدار ، 1/0 میباشد و طبق (13)، حد بالایی زمان نشست ثانیه محاسبه شده است. شکل 2 خطای حاصل از اجماع کارگزاران را نشان میدهد که طبق آن کارگزاران به خوبی قبل از زمان نشست به دست آمده، به اجماع رسیدهاند. همچنین در شکل 3، همگرایی آنها مشاهده میشود. در شکل 4 قانون کنترلی نیز نشان داده شده است.
در این قسمت مقادیر مختلف برای دو مرتبه کسری و بررسی شدهاند. طبق رابطهای که این دو با هم دارند یعنی ، سه حالت برای مقدار آنها به صورت (24) در نظر گرفته شده است
(24)
و در شکل 5 خطای ناشی از اجماع کارگزاران آمده و بزرگنمایی هم شده است. طبق این شکل برای هر سه حالت، خطا با نزدیکی خوبی به صفر میباشد که نشان میدهد عملکرد سیستم تقریباً یکسان بوده و تفاوت چندانی با هم ندارند.
نهایتاً پروتکل کنترلی ارائهشده با زمان محدود مقایسه گردیده است. با قراردادن در (12)، سیستم به صورت زمان محدود میشود [34].
طبق تعریف 5 با درنظرگرفتن و
مقدار حد بالایی برای زمان محدود به صورت (25) مشخص میشود
(الف)
(ب)
شکل 2: خطای حاصل از اجماع کارگزاران با مرتبه کسری 9/0، (الف) طول کارگزاران و (ب) عرض کارگزاران.
شکل 3: همگرایی کارگزاران با مرتبه کسری 9/0.
(25)
شکل 6 خطای ناشی از اجماع کارگزاران در الگوریتم زمان محدود را
با همان مقدارهای پارامترها نشان میدهد که زمان نشست به مقدار
(الف)
(ب)
شکل 4: قانون کنترل حاصل از اجماع کارگزاران با مرتبه کسری 9/0، (الف) طول کارگزاران و (ب) عرض کارگزاران.
برای طول و مقدار برای عرض کارگزاران محدود گردیده است. اکنون اگر شرایط اولیه 10 برابر شود، به این معنی که به صورت ، ، ، و تغییر کند، خطا در این حالت در شکل 7 آمده که زمان نشست به مقدار برای طول و مقدار برای عرض کارگزاران محدود شده است. همچنین خطای ناشی از اجماع کارگزاران در الگوریتم زمان ثابت با این شرایط اولیه جدید در شکل 8 نشان داده شده است.
طبق شکلهای 6 و 7، وقتی شرایط اولیه کارگزاران تغییر کند، زمان رسیدن آنها به اجماع یعنی زمان نشست تغییر میکند. هرچه فاصله کارگزاران در ابتدا بیشتر باشد، این زمان بیشتر است؛ اما با توجه به شکلهای 2 و 8 در الگوریتم زمان ثابت این مسئله مشاهده نمیشود و این یک مزیت بزرگ برای این الگوریتم به حساب میآید.
5- نتيجهگيري
در این مقاله یک الگوریتم اجماع برای سامانههای چندکارگزار دارای دینامیک تکانتگرالگیر مرتبه کسری ارائه گردید و نشان داده شد که کارگزاران در یک زمان مشخص به اجماع میرسند. با معرفی یک تابع لیاپانوف اثبات گردید که کارگزاران طی یک زمان نشست مشخص با حد بالای معلوم و کراندار همگرا میشوند. همچنین نشان داده شد که این
(الف)
(ب)
شکل 5: خطای حاصل از اجماع کارگزاران با مرتبه کسری مختلف به همراه بزرگنمایی، (الف) طول کارگزاران و (ب) عرض کارگزاران.
(الف)
(ب)
شکل 6: خطای ناشی از اجماع کارگزاران در زمان محدود با مرتبه کسری 9/0، (الف) طول کارگزاران و (ب) عرض کارگزاران.
(الف)
(ب)
شکل 7: خطای ناشی از اجماع کارگزاران در زمان محدود با مرتبه کسری 9/0 و شرایط اولیه 10 برابر، (الف) طول کارگزاران و (ب) عرض کارگزاران.
زمان نشست مستقل از شرایط اولیه کارگزاران است که مزیت عمدهای محسوب میشود و کاربرد روش ارائهگردیده را در موارد عملی و واقعی
که در آنها شرایط اولیه کارگزاران در دسترس نیست، ممکن مینماید. پژوهشهای آینده میتواند بر روی طراحی پروتکل اجماع زمان ثابت برای سیستمهای چندکارگزار مرتبه کسری مرتبه دو یا مراتب بالاتر متمرکز شود. همچنین طراحی پروتکل اجماع زمان ثابت مبتنی بر روش کنترل مود لغزشی برای این سیستمها میتواند مورد بررسی قرار گیرد.
(الف)
(ب)
شکل 8: خطای ناشی از اجماع کارگزاران در زمان ثابت با مرتبه کسری 9/0 و شرایط اولیه 10 برابر، (الف) طول کارگزاران و (ب) عرض کارگزاران.
مراجع
[1] S. Westerlund, Dead Matter Has Memory, Kalmar, Sweden: Causal Consulting, 2002.
[2] S. K. Samko and B. Ross, "Integration and differentoiation to a variable fractional order," Integral Transforms Special Func., vol. 1, no. 4, pp. 277-300, Apr. 2007.
[3] B. Ross and S. K. Samko, "Fractional integration operator of variable order in the Holder space Hu(x)," Int. J. Math. Math. Sci., vol. 18, no. 4, pp. 777-788, Jan. 1995.
[4] I. Podlubny, "Fractional-order systems and PIλDµ controllers," IEEE Trans. on Automatic Control, vol. 44, no. 1, pp. 208-214, Jan. 1999.
[5] C. A. Monje, B. M. Vinagre, V. Feliu, and Y. Q. Chen, "On auto-tuning of fractional order PIλDµ controllers," in Proc. of Fractional Derivatives and Applications, vol. 2, 6 pp., Porto, Portugal, 19-21 Jul. 2006.
[6] C. Ma and Y. Hori, "Fractional order control: theory and applications in motion control," IEEE Industrial Electronics Magazine, vol. 1,
no. 4, pp. 6-16, Winter 2007.
[7] H. Chao, Y. Luo, L. Di, and Y. Q. Chen, "Roll-channel fractional order controller design for a small fixed-wing unmanned aerial vehicle," Control Engineering Practice, vol. 18, no. 7, pp. 761-772, Jul. 2010.
[8] R. Melicio, V. M. F. Mendes, and J. P. S. Catalao, "Fractional-order control and simulation of wind energy systems with PMSG/full-power converter topology," Energy Conversion and Management, vol. 51, no. 6, pp. 1250-1258, Jun. 2010.
[9] M. Zamani, M. Karimi-Ghartemani, N. Sadati, and M. Parniani, "Design of a fractional order PID controller for an AVR using particle swarm optimization," Control Engineering Practice, vol. 17, no. 12, pp. 1380-1387, Dec. 2009.
[10] M. S. Tavazoei, M. Haeri, S. Jafari, S. Bolouki, and M. Siami, "Some applications of fractional calculus in suppression of chaotic oscillations," IEEE Trans. on Industrial Electronics, vol. 55, no. 11, pp. 4094-4101, Nov. 2008.
[11] F. L. Lewis, H. Zhang, K. Hengster-Movric, and A. Das, Cooperative Control of Multi-Agent Systems: Optimal and Adaptive Design Approaches, Springer Science and Business Media, 2013.
[12] R. Olfati-Saber and R. Murray, "Consensus problems in networks of agents with switching topology and time-delays," IEEE Trans. on Automatic Control, vol. 49, no. 9, pp. 1520-1533, Sept. 2004.
[13] W. Ren and R. Beard, "Consensus seeking in multiagent systems under dynamically changing interaction topologies," IEEE Trans. on Automatic Control, vol. 50, no. 5, pp. 655-661, May 2005.
[14] F. Chen, Z. Chen, L. Xiang, Z. Liu, and Z. Yuan, "Reaching a consensus via pinning control," Automatica, vol. 45, no. 5, pp. 1215-1220, May 2009.
[15] Z. Meng, Z. Lin, and W. Ren, "Robust cooperative tracking for multiple nonidentical second-order nonlinear systems," Automatica, vol. 49, no. 8, pp. 2363-2372, Aug. 2013.
[16] S. Ferik, A. Qureshi, and F. Lewis, "Neuro-adaptive cooperative tracking control of unknown higher-order affine nonlinear systems," Automatica, vol. 50, no. 3, pp. 798-808, Mar. 2014.
[17] F. Xiao, L. Wang, J. Chen, and Y. Gao, "Finite-time formation control for multi-agent systems," Automatica, vol. 45, no. 11, pp. 2605-2611, Nov. 2009.
[18] S. Li, H. Du, and X. Lin, "Finite-time consensus algorithm for multi-agent systems with double-integrator dynamics," Automatica,
vol. 47, no. 8, pp. 1706-1712, Aug. 2011.
[19] H. Li, X. Liao, and G. Chen, "Leader-following finite-time consensus in second-order multi-agent networks with nonlinear dynamics," International J. of Control, Automation and Systems,
vol. 11, pp. 422-426, 2013.
[20] M. Shi and S. Hu, "Leader-following consensus for a class of fractional-order nonlinear multi-agent systems under fixed and switching topologies," in Proc. 36th Chinese Control Conf., CCC'17, pp. 11351-11356, Dalian, China, 26-28 Jul. 2017.
[21] H. Liu, L. Cheng, M., Tan, and Z.-G. Hou, "Exponential finite-time consensus of fractional-order multiagent systems," IEEE Trans. on Systems, Man, and Cybernetics, vol. 50, no. 4, pp. 1549-1558, Apr. 2020.
[22] H. Pan, Z. Liu, and C. Na, "Finite-time output leader-following consensus of fractional-order linear multi-agent systems," in Proc. 38th Chinese Control Conf., CCC'19, pp. 958-963, 27-30 Jul. 2019.
[23] A. Polyakov, "Nonlinear feedback design for fixed-time stabilization of linear control systems," IEEE Trans. on Automatic Control,
vol. 57, no. 8, pp. 2106-2110, Aug. 2012.
[24] A. Polyakov, "Fixed-time stabilization of linear systems via sliding mode control," in Proc. 12th Int. Workshop on Variable Structure Systems, 6 pp., Mumbai, India, 12-14 Jan. 2012.
[25] M. Defoort, A. Polyakov, G. Demesure, M. Djemai, and K. Veluvolu, "Leader-follower fixed-time consensus for multi-agent systems with unknown non-linear inherent dynamics," IET Control Theory and Applications, vol. 9, no. 4, pp. 2165-2170, Sept. 2015.
[26] Z. Zuo, B. Tian, M. Defoort, and Z. Ding, "Fixed-time consensus tracking for multi-agent systems with high-order integrator dynamics," IEEE Trans. on Automatic Control, vol. 63, no. 2, pp. 563-570, Feb. 2017.
[27] H. Du, G. Wen, D. Wu, Y. Cheng, and J. Lü, "Distributed fixed-time consensus for nonlinear heterogeneous multi-agent systems," Automatica, vol. 113, Article ID: 108986, Mar. 2020.
[28] L. Wang and J. Dong, "Event-based distributed adaptive fuzzy consensus for nonlinear fractional-order multiagent systems," IEEE Trans. on Systems, Man, and Cybernetics: Systems, vol. 52, no. 9, pp. 5901-5912, Sept. 2022.
[29] C. Wang, H. Tnunay, Z. Zuo, B. Lennox, and Z. Ding, H. Liu, L. Cheng, M. Tan, and Z. G. Hou, "Fixed-Time formation control of multirobot systems: design and experiments," IEEE Trans. on Industrial Electronics, vol. 66, pp. 6292-6301, Aug. 2019.
[30] H. Zamani, V. J. Majd, and K. Khandani, "Formation tracking control of fractional-order multi-agent systems with fixed-time convergence," Proc. of the Institution of Mechanical Engineers, Part I: J. of Systems and Control Engineering, vol. 236, no. 9, pp. 1618-1629, Jul. 2022.
[31] E. Semsar-Kazerooni and K. Khorasani, "Switching control of a modified leader-follower team of agents under the leader and network topological changes," IET Control Theory and Applications, vol. 5, no. 12, pp. 1369-1377, Aug. 2011.
[32] K. B. Oldham and J. Spanier, The Fractional Calculus, Mathematics in Science and Engineering, Academic Press, Inc. 1974.
[33] S. P. Bhat and D. S. Bernstein, "Finite-time stability of continuous autonomous systems," SIAM J. on Control and Optimization,
vol. 38, no. 3, pp. 751-766, 2000.
[34] N. Junkang, L. Ling, L. Chongxin, H. Xiaoyu, and L. Shilei, "Further improvement of fixed-time protocol for average consensus of multi-agent systems," IFAC-PapersOnLine, vol. 50, no. 1, pp. 2523-2529, Jul. 2017.
[35] Y. Li, Y. Q. Chen, and I. Podlubny, "Mittag-Leffler stability of fractional order nonlinear dynamic systems," Automatica, vol. 45, no. 8, pp. 1965-1969, Aug 2009.
[36] M. A. Duarte-Mermoud, N. Aguila-Camacho, J. A. Gallegos, and R. Castro-Linares, "Using general quadratic Lyapunov functions to prove Lyapunov uniform stability for fractional order systems," Commun. Nonlinear Sci., vol. 22, no. 1-3, pp. 650-659, May. 2015.
[37] F. L. Sun, J. C. Chen, Z. H. Guan, D. Li, and T. Li, "Leader-following finite-time consensus for multi-agent sys-tems with jointly-reachable leader," Nonlinear Anal.: Real World Appl., vol. 13, no. 5, pp. 2271-2284, Oct. 2012.
[38] G. Hardy, J. Littlewood, and G. Polya, Inequalities, London: Cambridge Univ. Press, 1951.
[39] Z. Yaghoubi, "Robust cluster consensus of general fractional-order nonlinear multi agent systems via adaptive sliding mode controller," Mathematics and Computers in Simulation, vol. 172, pp. 15-32, Jun. 2020.
حسین زمانی هماکنون در حال تحصیل در دوره دکتری رشته مهندسی برق- کنترل در دانشگاه تربیت مدرس است. علاقهمنديهاي پژوهشي وی، كنترل مشارکتی سیستمهای چندعاملی، سيستمهاي مرتبه كسري و سيستمهاي هوشمند میباشد.
وحيد جوهري مجد در سال 1374 دكتراي تخصصي خود را از دانشگاه پيتسبرگ آمريكا دريافت نمود. وي هماكنون به عنوان دانشيار دانشگاه تربيت مدرس مشغول فعاليت است. زمينههاي پژوهشي مورد علاقه او شناسایی و کنترل هوشمند، یادگیری عمیق، رباتهای بلعیدنی، رباتهاي نرم، سامانههای چندکارگزاره یادگیر، کنترل مشارکتی، کنترل آرایش و کنترل عصبی فازی هستند.
خسرو خانداني مدرك دكتراي خود را در سال 1395 در رشته مهندسي برق- كنترل از دانشگاه تربيت مدرس دريافت نمود. وي هماكنون به عنوان عضو هيأت علمي دانشگاه اراك فعاليت ميكند. زمينههاي پژوهشي مورد علاقه او سيستمهاي چندعاملي، كنترل مرتبه كسري و اتوماسيون صنعتي هستند.