Co-Design of Cryptographic Parameters and Delay-Aware Feedback Gain for Encrypted Control Systems

إليك ملخص تقني مفصل للورقة البحثية بعنوان "التصميم المشترك للمعلمات التشفيرية والربح التغذوي الراجع المدرك للتأخير للأنظمة التحكمية المشفرة" للباحث يونغجون جانغ.

1. بيان المشكلة

السياق: غالبًا ما تقوم أنظمة التحكم الشبكية (NCS) بتفويض العمليات الحسابية إلى خوادم بعيدة، مما يخلق مخاطر تتعلق بالخصوصية حيث يمكن اعتراض أو استنتاج بيانات الحالة الحساسة أو قوانين التحكم من قبل خوادم "شبه أمينة". ويعد التشفير المتماثل (Homomorphic Encryption - HE) حلاً واعدًا، حيث يسمح بإجراء العمليات الحسابية على البيانات المشفرة دون الحاجة لفك تشفيرها.

التحدي: تتبع النهج الحالية عادةً أسلوب تصميم المتحكم في نطاق النص الصريح أولاً، ثم تنفيذه باستخدام التشفير المتماثل. هذا النهج "ما بعد التصميم" معيب لأن التشفير المتماثل يسبب تأخيرات غير مهملة ناتجة عن:

1. الاتصال: النصوص المشفرة أكبر بكثير من النصوص الصريحة، مما يزيد من وقت الإرسال.
2. الحوسبة: عمليات التشفير، وفك التشفير، والتقييم المتماثل هي عمليات مكثفة حاسوبيًا.

هذه التأخيرات هي دوال لـ المعلمات التشفيرية (مثل حجم المفتاح، والمقياس/modulus). إذا كان التأخير كبيرًا جدًا، فقد يؤدي ذلك إلى تدهور أداء التحكم أو زعزعة استقرار النظام ذو الحلقة المغلقة. وغالبًا ما تتجاهل الطرق الحالية الارتباط بين معلمات الأمان واستقرار التحكم.

الهدف: اقتراح إطار عمل للتصميم المشترك يحدد بشكل مشترك المعلمات التشفيرية ($\theta$) وربح التغذية الراجعة ($K$) لتلبية ثلاثة متطلبات متزامنة:

• الأمان: تلبية مستوى الأمان المطلوب ($\lambda^*$).
• قيد التأخير: ضمان أن يكون إجمالي التأخير ($\tau_\theta$) أقل من زمن أخذ العينات ($T_s$).
• الاستقرار: ضمان استقرار نظام الحلقة المغلقة تحت تأثير التأخير المستحث.

---

2. المنهجية

تستخدم الورقة نظام تشفير يعتمد على LWE (التعلم مع الأخطاء) (تحديدًا نسخة BGV) وتتبع نهجًا رياضيًا مهيكلًا:

أ. تقدير التأخير (Delay Quantification)

يصيغ المؤلفون إجمالي التأخير $\tau_\theta$ كدالة للمعلمات التشفيرية $\theta = (N, q, \sigma)$، حيث $N$ هو بُعد المفتاح، و$q$ هو المقياس، و$\sigma$ هو الانحراف المعياري للخطأ.
يتم تفكيك إجمالي التأخير إلى:
$$\tau_\theta = \tau_{Comm} + \tau_{Enc} + \tau_{Dec} + \tau_{\otimes}$$

• تأخير الاتصال: مشتق بناءً على حجم الرسالة (أبعاد النص المشفر) ومعدل الإرسال $R$.
• تأخير الحوسبة: مشتق من التعقيد التقاربي لعمليات التشفير، وفك التشفير، وعمليات الضرب المتماثل (الملخصة في الجدول 1 من الورقة).

ينتج عن ذلك حد علوي صريح $\bar{\tau}_\theta$ (المعادلة 11) يعتمد على $N$ و $q$.

ب. نمذجة النظام مع التأخير

يتم التحكم في المحرك (plant) ذي الزمن المستمر $\dot{x} = Ax + Bu$ عبر تغذية راجعة للحالة ثابتة في الزمن المنفصل $u[k] = Kx[k]$.
بسبب التأخير $\tau_\theta$، يتم تحديث مدخل "الاحتفاظ بالترتيب الصفري" (ZOH) مع وجود فجوة زمنية (lag). يتم تحويل النظام إلى زمن منفصل عند لحظات أخذ العينات، مما ينتج عنه نموذج حالة فضاء مدمج:
$$\xi[k+1] = \bar{A}(\tau_\theta, K)\xi[k]$$
حيث $\xi[k] = [x[k]^\top, x[k-1]^\top]^\top$. تعتمد المصفوفة $\bar{A}$ على التأخير $\tau_\theta$.

ج. تحليل الاستقرار عبر متباينات LMI

لضمان الاستقرار لأي تأخير ضمن الحد $[\bar{0}, \bar{\tau}_\theta]$، قام المؤلفون بـ:

1. التعبير عن مصفوفة التأخير المعتمدة على الزمن $\bar{A}(\tau_\theta, K)$ كتركيبة محدبة لمصفوفات الرؤوس (vertex matrices) باستخدام صيغة جوردان للمصفوفة $A$.
2. اشتقاق شرط كافٍ لاستقرار شور (Schur stability) باستخدام دالة ليابونوف تربيعية مشتركة.
3. صياغة هذا الشرط في شكل مجموعة محدودة من المتباينات الخطية المصفوفية (LMIs) (المعادلة 19). إذا وُجدت مصفوفة $P$ موجبة التحديد تحقق هذه المتباينات للرؤوس، فإن النظام يكون مستقرًا لجميع التأخيرات في النطاق.

د. خوارزمية التصميم المشترك (الحلقة الخارجية-الداخلية)

يتم إيجاد الحل عبر إجراء بحث قابل للتتبع (الخوارزمية 1):

1. الحلقة الخارجية (المعلمات التشفيرية): التكرار عبر مجموعة منفصلة من المعلمات المرشحة $\Theta$ التي تحقق متطلب الأمان ($\lambda(\theta) \ge \lambda^*$).
2. التصفية: استبعاد أي $\theta$ حيث يكون حد التأخير المحسوب $\bar{\tau}_\theta \ge T_s$.
3. الحلقة الداخلية (ربح التغذية الراجعة): بالنسبة لكل $\theta$ صالح، يتم التحقق من جدوى متباينات LMI لمجموعة محدودة من الأرباح المرشحة $\mathcal{K}$ (على سبيل المثال، الأرباح المصممة للحالة الخالية من التأخير).
4. المخرجات: إرجاع أول زوج $(\theta, K)$ يحقق جميع الشروط.

---

3. المساهمات الرئيسية

1. توصيف التأخير: توفر الورقة توصيفًا رياضيًا صارمًا للتأخير الناجم عن التشفير كدالة صريحة للمعلمات التشفيرية ($N, q, \sigma$)، مما يسد الفجوة بين علم التشفير ونظرية التحكم.
2. شرط الاستقرار المدرك للتأخير: اشتقت الورقة شرطًا كافيًا للاستقرار في شكل مجموعة محدودة من متباينات LMI، مع مراعاة عدم اليقين في التأخير الدقيق ضمن حد معروف.
3. إطار التصميم المشترك: على عكس الأعمال السابقة التي تعالج الأمان والتحكم بشكل منفصل، يقوم هذا الإطار بتحسين معلمات الأمان وأرباح التحكم بشكل مشترك. فهو يدرك أن الأمان الأعلى (زيادة $N, q$) يزيد من التأخير، مما قد يتطلب تصميم ربح مختلف للمتحكم للحفاظ على الاستقرار.
4. القابلية للتطبيق الحسابي: من خلال تحويل مشكلة الاستقرار ذات الأبعاد اللانهائية (بسبب التأخير المستمر) إلى مجموعة محدودة من متباينات LMI، تصبح الطريقة قابلة للتنفيذ حاسوبيًا للتطبيق العملي.

---

4. نتائج المحاكاة

تحقق المؤلفون من صحة الطريقة باستخدام مثال عددي لمحرك من نوع "المكامل المزدوج" ($A = [[0,1],[0,0]], B = [0,1]^\top$) وزمن أخذ عينات $T_s = 25$ مللي ثانية.

• الإعداد: مستوى الأمان المستهدف $\lambda^* = 128$ بت. تم اختبار ثلاث مجموعات من المعلمات المرشحة ($\theta_1, \theta_2, \theta_3$).
• تحليل التأخير:
  • $\theta_1$: $\bar{\tau} \approx 19.15$ مللي ثانية (يحقق الشرط $\tau < T_s$).
  • $\theta_2, \theta_3$: $\bar{\tau} > 80$ مللي ثانية (ينتهك الشرط $\tau < T_s$).
• تصميم المتحكم:
  • تم تصميم ربحين ($K_1, K_2$) للحالة الخالية من التأخير باستخدام وضع الأقطاب (pole placement).
  • النتيجة لـ $K_1$: كانت متباينات LMI غير قابلة للحل. أظهرت المحاكاة أن النظام أصبح غير مستقر عندما وصل التأخير الفعلي إلى $3/4$ من الحد.
  • النتيجة لـ $K_2$: كانت متباينات LMI قابلة للحل. أكدت المحاكاة أن $K_2$ يعمل على استقرار النظام لجميع التأخيرات حتى الحد المذكور.
• الاستنتاج: أظهرت المحاكاة أن الربح المصمم دون مراعاة تأخيرات التشفير ($K_1$) يفشل، بينما الربح الذي تم التحقق منه عبر إطار التصميم المشترك المقترح ($K_2$) يضمن الاستقرار.

---

5. الأهمية والأثر

• الجدوى العملية: ينقل هذا العمل التحكم المشفر من المفاهيم النظرية إلى التنفيذ العملي من خلال معالجة مشكلة زمن الاستجابة (latency) الحرجة. فهو يوفر منهجية ملموسة للمهندسين لاختيار معلمات التشفير التي لا تخل باستقرار النظام.
• المفاضلة بين الأمان والاستقرار: يحدد العمل صراحةً عملية المفاضلة: مستويات الأمان الأعلى تتطلب معلمات أكبر، مما يزيد من التأخير، وهو ما قد يفرض على المتحكم أن يكون أكثر تحفظًا أو يتطلب إعادة تصميم الربح.
• الاتجاهات المستقبلية: تضع الورقة حجر الأساس لـ "التحكم المدرك للأمان"، مما يشير إلى أن تصميم أنظمة التحكم في المستقبل يجب أن يتضمن بطبيعته قيود التشفير بدلاً من معاملتها كأمر ثانوي. ويشير المؤلفون إلى أن توسيع هذا ليشمل التأخيرات المتغيرة مع الزمن أو تحسين الربح $K$ في آن واحد مع $P$ (مشكلة غير محدبة) هي مجالات للبحث المستقبلي.