DOI: https://doi.org/10.1016/j.automatica.2026.113105
تاريخ النشر: 2026-06-09
المؤلف: Yi‐Ting Chen وآخرون
الموضوع الرئيسي: طرق رسمية في التحقق
نظرة عامة
تتناول هذه القسم أهمية وظائف حواجز التحكم (CBFs) في تطوير وحدات تحكم قائمة على التحسين الآمن للأنظمة القابلة للتحكم. يبرز المؤلفون أنه بينما تعتبر CBFs ضرورية لضمان الثبات الأمامي لمجموعات “آمنة” محددة مسبقًا، يمكن أن تقدم بشكل غير مقصود نقاط توازن غير مرغوب فيها لا تتوافق مع توازنات النظام الأصلي. يتناول البحث تأثير اختيار CBF على ديناميات النظام المغلق، كاشفًا عن ثلاث نتائج رئيسية: (i) اختيار CBF لا يغير العدد أو الموقع أو الاستقرار المحلي للتوازنات داخل المجموعة الآمنة؛ (ii) تظهر التوازنات غير المرغوب فيها فقط على حدود المجموعة الآمنة؛ و (iii) تظل خصائصها غير متأثرة بـ CBF المحدد المختار.
في الختام، يؤكد المؤلفون أن القيود المستندة إلى CBF تحافظ على خصائص الاستقرار والتوازن للنظام المغلق، بغض النظر عن اختيار CBF، طالما أن CBFs تنتمي إلى نفس فئة التكافؤ. يقترحون أبحاثًا مستقبلية لتوسيع نتائج الاستقرار لتشمل تصميمات تحكم أخرى قائمة على CBF واستكشاف العلاقة بين اختيار CBF ومنطقة الجذب للتوازنات.
مقدمة
تسلط مقدمة هذه الورقة البحثية الضوء على الدور الحاسم لوظائف حواجز التحكم (CBFs) في أنظمة التحكم الحديثة، وخاصة للتطبيقات مثل القيادة الذاتية، والروبوتات، والبنى التحتية الحيوية مثل شبكات الطاقة. تعمل CBFs كإطار لتصميم وحدات تحكم تحافظ على سلامة النظام من خلال ضمان الثبات الأمامي للحالات الآمنة المحددة. تسهل صياغة قيود خطية على مدخلات التحكم، والتي يمكن دمجها في برامج تربيعية (QPs) تُعرف باسم مرشحات السلامة. تسمح هذه المرشحات بإجراء تعديلات طفيفة على وحدة التحكم الاسمية للامتثال لقيود CBF، ويمكن أيضًا دمجها مع وظائف ليابونوف التحكم (CLFs) لضمان كل من السلامة والاستقرار.
على الرغم من الفعالية المثبتة لوحدات التحكم المستندة إلى CBF في ضمان السلامة، تحدد الورقة فجوة في فهم كيفية تأثير اختيار CBFs المختلفة على سلوك الأنظمة القابلة للتحكم. تهدف بشكل خاص إلى استكشاف كيفية تأثير خيارات CBF المتنوعة على ظهور التوازنات غير المرغوب فيها – التوازنات الزائفة التي لا توجد في النظام الاسمي ولكن يتم تقديمها من خلال التصميم القائم على CBF – والديناميات المحلية للنظام المغلق. هذه التحقيقات ضرورية لتعزيز تصميم وتنفيذ استراتيجيات التحكم الآمنة في الأنظمة المعقدة.
نقاش
تسلط قسم النقاش في الورقة الضوء على أهمية وظائف حواجز التحكم (CBFs) في ضمان السلامة في أنظمة التحكم دون الحاجة إلى حسابات معقدة لمجموعات الوصول. يمكن دمج CBFs بكفاءة مع وحدات التحكم الاسمية لإنشاء مرشحات السلامة، التي تحافظ على استقرار النظام مع ضمان بقاء الحالة ضمن مجموعة آمنة محددة مسبقًا. يؤكد المؤلفون أنه بينما وضعت الأدبيات الحالية شروطًا لاستقرار الأنظمة المغلقة باستخدام CBFs ثابتة، لا يزال تأثير CBFs المتغيرة على ديناميات النظام والتوازنات غير مستكشف إلى حد كبير. يحددون فجوة بحثية حاسمة بشأن كيفية تأثير اختيار CBF على خصائص الاستقرار للتوازنات المرغوبة وغير المرغوبة.
يقدم المؤلفون مساهماتهم، موضحين أنه لمجموعة آمنة معينة، فإن عدد واستقرار التوازنات غير المرغوب فيها مستقل عن CBF المختار. كما يظهرون أن التوازنات غير المرغوب فيها، عندما توجد، محصورة في حدود المجموعة الآمنة، وتعتمد الديناميات على هذه الحدود على هندستها بدلاً من CBF المحدد المستخدم. علاوة على ذلك، يقدمون تعبيرات صريحة لمصفوفة جاكوب في النظام المغلق عند التوازنات غير المرغوب فيها، موضحين كيف تؤثر الديناميات ومعلمات تصميم التحكم على الاستقرار. تمهد هذه النتائج الطريق لأبحاث مستقبلية تهدف إلى تحسين اختيار CBF لتعزيز سلامة النظام واستقراره.
DOI: https://doi.org/10.1016/j.automatica.2026.113105
Publication Date: 2026-06-09
Author(s): Yi‐Ting Chen et al.
Primary Topic: Formal Methods in Verification
Overview
This section discusses the significance of control barrier functions (CBFs) in the development of safe optimization-based controllers for control-affine systems. The authors highlight that while CBFs are essential for ensuring the forward invariance of predefined “safe” sets, they can inadvertently introduce undesirable equilibrium points that do not correspond to the original system’s equilibria. The paper addresses the influence of CBF selection on the dynamics of the closed-loop system, revealing three key findings: (i) the choice of CBF does not alter the number, location, or local stability of equilibria within the safe set; (ii) undesirable equilibria arise solely on the boundary of the safe set; and (iii) their characteristics remain unaffected by the specific CBF chosen.
In conclusion, the authors emphasize that CBF-based constraints maintain the stability and equilibrium properties of the closed-loop system, regardless of the CBF selection, as long as the CBFs belong to the same equivalence class. They propose future research to broaden the stability findings to other CBF-based control designs and to investigate the relationship between CBF selection and the region of attraction for equilibria.
Introduction
The introduction of this research paper highlights the critical role of control barrier functions (CBFs) in modern control systems, particularly for applications such as autonomous driving, robotics, and critical infrastructures like power grids. CBFs serve as a framework for designing controllers that maintain the safety of a system by ensuring forward-invariance of designated safe states. They facilitate the formulation of affine constraints on control inputs, which can be integrated into quadratic programs (QPs) known as safety filters. These filters allow for minimal adjustments to a nominal controller to comply with CBF constraints, and can also be combined with control Lyapunov functions (CLFs) to ensure both safety and stability.
Despite the established effectiveness of CBF-based controllers in ensuring safety, the paper identifies a gap in understanding how the selection of different CBFs impacts the behavior of control-affine systems. Specifically, it aims to explore how varying CBF choices can influence the emergence of undesirable equilibria—spurious equilibria that do not exist in the nominal system but are introduced through the CBF-based design—and the local dynamics of the closed-loop system. This investigation is crucial for enhancing the design and implementation of safe control strategies in complex systems.
Discussion
The discussion section of the paper highlights the significance of Control Barrier Functions (CBFs) in ensuring safety in control systems without the need for complex computations of reachable sets. CBFs can be efficiently integrated with nominal controllers to create safety filters, which maintain system stability while ensuring that the state remains within a predefined safe set. The authors emphasize that while existing literature has established conditions for the stability of closed-loop systems using fixed CBFs, the impact of varying CBFs on system dynamics and equilibria remains largely unexplored. They identify a critical research gap regarding how the choice of CBF affects the stability properties of desirable and undesirable equilibria.
The authors present their contributions, demonstrating that for a given safe set, the number and stability of undesirable equilibria are independent of the chosen CBF. They also show that undesirable equilibria, when they exist, are confined to the boundary of the safe set, and the dynamics on this boundary depend on its geometry rather than the specific CBF used. Furthermore, they provide explicit expressions for the Jacobian of the closed-loop system at undesirable equilibria, elucidating how the dynamics and control design parameters influence stability. These findings pave the way for future research aimed at optimizing CBF selection to enhance system safety and stability.