نوع مقاله : مقاله مروری
نویسندگان
دانشگاه علم و صنعت ایران
چکیده
به دلیل وجود پدیده‌های مختلف و پیچیده در سیستم‌های دینامیکی هیبرید، امر کنترل این نوع از سیستم‌ها با چالش مواجه شده است. سیستم‌های فضایی نیز به دلیل ماموریت‌ها و حالت‌های عملیاتی مختلف، دارای دینامیک هیبرید هستند. بنابراین، به منظور کارکردن با این سیستم‌ها ابتدا باید با نمونه‌های استانداردی که قبلا مورد مطالعه قرار گرفته‌اند آشنا شویم. در زمینه علم کنترل هیبرید، تاکنون مثال‌های گوناگونی مورد بررسی و تحقیق قرار گرفته است. به منظور بهبود امر مقایسه عملکرد روش‌های کنترلی یا بررسی جامعیت آن‌ها، برخی از این مثال‌ها به عنوان نمونه معیار استفاده می‌شوند. به همین منظور، در این مقاله سعی شده است که نمونه معیارهایی با خصوصیات متفاوت در زمینه کنترل هیبرید گردآوری و با یکدیگر مقایسه شود. لازم به ذکر است که نمونه معیارهای انتخابی، بر اساس تعداد دفعات تکرار و به رسمیت شناخته شدن برگزیده شده‌اند. پس می‌توان عملکرد کنترل‌کننده‌های در حال توسعه را بر روی این مثال‌ها بررسی نمود و با نتایج سایر کنترل‌کننده‌ها مقایسه کرد. در نتیجه، این امر سبب می‌شود که محققان بتوانند با انتخاب دقیق‌تر و آسان‌تر نمونه معیار مورد نظر خود، امر بررسی و طراحی کنترل‌کننده را پیش بگیرند
کلیدواژه‌ها
موضوعات
##Bemporad and M. Morari, "Control of systems integrating logic, dynamics, and constraints," Automatica, vol. 35, no. 3, pp. 407-427, 1999.##
##A. Cuzzola and M. Morari, "An LMI approach for H∞ analysis and control of discrete-time piecewise affine systems," International Journal of Control, Article vol. 75, no. 16, pp. 1293-1301, 2002.##
##Baotić, F. J. Christophersen, and M. Morari, "Constrained optimal control of hybrid systems with a linear performance index," IEEE Transactions on Automatic Control, Article vol. 51, no. 12, pp. 1903-1919, 2006.##
##Chan and S. J. a. p. a. Mitra, "Verifying safety of an autonomous spacecraft rendezvous mission," in 4th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), 2017.##
##Althoff et al., "Arch-comp19 category report: Continuous and hybrid systems with linear continuous dynamics," in 6th International Workshop on Applied Verification for Continuous and Hybrid systems (ARCH), 2019, vol. 61, pp. 14-40.##
##Lagerberg, "A Benchmark on Hybrid Control of an Automotive Powertrain with Backlash," Department of Signals and Systems, Chalmers University of Technology, Göteborg1403266X (ISSN), 2007, Available: http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-6031.##
##Althoff and B. H. Krogh, "Avoiding geometric intersection operations in reachability analysis of hybrid systems," in 15th ACM international conference on Hybrid Systems: Computation and Control, 2012, pp. 45-54##.
##Besselmann, P. Rostalski, M. Baric, A. Lagerberg, and M. Morari, "A Benchmark on Hybrid Control of a Mechanical System with Backlash," Automatic Control Laboratory, ETH, Zürich, 2007, Available: http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-6037.##
##V. Nguyen and T. T. Johnson, "Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)," in 6th International Workshop on Applied Verification for Continuous and Hybrid systems (ARCH), 2014, pp. 19-24.##
##Geyer, G. Papafotiou, R. Frasca, and M. Morari, "Constrained optimal control of the step-down dc-dc converter," IEEE Transactions on Power Electronics, Article vol. 23, no. 5, pp. 2454-2464, 2008.##
##Geyer, G. Papafotiou, and M. Morari, "Hybrid model predictive control of the step-down DC-DC converter," IEEE Transactions on Control Systems Technology, Article vol. 16, no. 6, pp. 1112-1124, 2008.##
##A. F. Theunisse, J. Chai, R. G. Sanfelice, and W. P. M. H. Heemels, "Robust Global Stabilization of the DC-DC Boost Converter via Hybrid Control," IEEE Transactions on Circuits and Systems I: Regular Papers, vol. 62, no. 4, pp. 1052-1061, 2015.##
##A. Beg, A. Davoudi, and T. T. Johnson, "Reachability Analysis of Transformer-Isolated DC-DC Converters (Benchmark Proposal)," in 4th International Workshop on Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), 2017.##
##Fehnker and F. Ivančić, "Benchmarks for hybrid systems verification," in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) vol. 2993, R. Alur and G. J. Pappas, Eds., ed: Springer Verlag, 2004, pp. 326-341.##
##P. Maschuw, G. C. Keßler, and D. Abel, "LMI-based control of vehicle platoons for robust longitudinal guidance," IFAC Proceedings Volumes, vol. 41, no. 2, pp. 12111-12116, 2008.##
##B. Makhlouf, J. P. Maschuw, P. Hänsch, H. Diab, S. Kowalewski, and D. Abel, "Safety Verification of a Cooperative Vehicle Platoon with Uncertain Inputs Using Zonotopes*," IFAC Proceedings Volumes, vol. 44, no. 1, pp. 9769-9774, 2011.##
##B. Makhlouf, H. Diab, and S. Kowalewski, "Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes," IFAC Proceedings Volumes, vol. 45, no. 9, pp. 333-338, 2012.##
##B. Makhlouf and S. Kowalewski, "Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools," in 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH), 2014, pp. 37-42.##
##Corona and B. De Schutter, "Adaptive cruise control for a SMART car: A comparison benchmark for MPC-PWA control methods," IEEE Transactions on Control Systems Technology, vol. 16, no. 2, pp. 365-372, 2008.##
##Corona and B. De Schutter, "ADAPTIVE CRUISE CONTROLLER DESIGN: A COMPARATIVE ASSESSMENT FOR PWA SYSTEMS," IFAC Proceedings Volumes, vol. 39, no. 5, pp. 253-258, 2006.##
##Chen, S. Mitra, and G. Tian, "Motor-Transmission Drive System: a Benchmark Example for Safety Verification," in 1st and 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH), 2014, pp. 9-18.##
##Chen and S. Mitra, "Synthesis and verification of motor-transmission shift controller for electric vehicles," in International Conference on Cyber-Physical Systems (ICCPS), 2014, pp. 25-35.##
##M. Lopez et al., "Arch-comp19 category report: Artificial intelligence / neural network control systems (ainncs) for continuous and hybrid systems plants," in 6th International Workshop on Applied Verification for Continuous and Hybrid systems (ARCH), 2019, vol. 61, pp. 103-119.##
##Rodrigues and J. P. How, "Observer-based control of piecewise-affine systems," International Journal of Control, Article vol. 76, no. 5, pp. 459-477, 2003.##
##Safi and E. Khanmirza, "A Criticism of Position Control of the Inverted Pendulum with Biased Angle Measurements Using Double-Loop PID," in 2020 Advances in Science and Engineering Technology International Conferences (ASET), 2020, pp. 1-5.##
##Girard and S. Martin, "Synthesis for constrained nonlinear systems using hybridization and robust controllers on simplices," IEEE Transactions on Automatic Control, Article vol. 57, no. 4, pp. 1046-1051, 2012, Art. no. 6024442.##
##Takahashi, K. Furuta, S. Hatakeyama, S. Suzuki, and A. Sugiki, "SWING-UP CONTROL OF INVERTED PENDULUM BY PERIODIC INPUT," IFAC Proceedings Volumes, vol. 35, no. 1, pp. 283-286, 2002.##
##Heinz, J. Oehlerking, and M. Woehrle, "Benchmark: Reachability on a model with holes," in 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH), 2015, pp. 31-36.##
##Immler et al., "Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics," in 6th International Workshop on Applied Verification for Continuous and Hybrid systems (ARCH), 2019, vol. 61, pp. 41-61.##
##J. Cruz, M. Oishi, and R. Fierro, "Lift of a cable-suspended load by a quadrotor: A hybrid system approach," in American Control Conference (ACC), 2015, pp. 1887-1892.##
##J. Cruz and R. Fierro, "Cable-suspended load lifting by a quadrotor UAV: hybrid model, trajectory generation, and control," (in English), Autonomous Robots, Article vol. 41, no. 8, pp. 1629-1643, 2017.##
##Parolini, S. Schuler, and A. Anta, "Benchmark problem: an air brake model for trains," in 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH), 2015, pp. 43-48.##
##Hariprasad and S. Bhartiya, "A computationally efficient robust tube based MPC for linear switched systems," Nonlinear Analysis: Hybrid Systems, vol. 19, pp. 60-76, 2016.##
##Heiming and J. Lunze, "Definition of the three-tank benchmark problem for controller reconfiguration," in European Control Conference (ECC), 1999, pp. 4030-4034, 1999.##
##H. Johansson and J. L. R. Nunes, "A multivariable laboratory process with an adjustable zero," in Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207), vol. 4, pp. 2045-2049 vol.4.##
##Schürmann, R. Vignali, M. Prandini, and M. Althoff, "Set-based control for disturbed piecewise affine systems with state and actuation constraints," Nonlinear Analysis: Hybrid Systems, vol. 36, p. 100826, 2020.##
##A. Cengel and M. A. Boles, Thermodynamics: An Engineering Approach 6th Editon (SI Units). The McGraw-Hill Companies, Inc., New York, 2007.##
##F. S. Larsen, R. Izadi-Zamanabadi, and R. Wisniewski, "Supermarket refrigeration system - Benchmark for hybrid system control," in 9th European Control Conference (ECC), 2007, pp. 113-120: Institute of Electrical and Electronics Engineers Inc.##
##Lawrence Ricker, "Predictive hybrid control of the supermarket refrigeration benchmark process," (in English), Control Engineering Practice, Article vol. 18, no. 6, pp. 608-617, 2010.##
##S Sonntag, A. Devanathan, S. Engell, and O. Stursberg, "Hybrid nonlinear model-predictive control of a supermarket refrigeration system," in 2007 IEEE International Conference on Control Applications, 2007, pp. 1432-1437: IEEE.##
##Beg, A. Davoudi, and T. T. J. E. S. i. C. Johnson, "Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis," in 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH), 2017, vol. 43, pp. 27-35.##
##Althoff, S. Yaldiz, A. Rajhans, X. Li, B. H. Krogh, and L. Pileggi, "Formal verification of phase-locked loops using reachability analysis and continuization," in IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2011, pp. 659-666.##
##Balluchi, L. Benvenuti, M. D. Di Benedetto, T. Villa, and A. L. Sangiovanni-Vincentelli, "Idle speed control - a benchmark for hybrid system research," in Analysis and Design of Hybrid Systems 2006: Elsevier Ltd, 2006, pp. 259-264.##
)