Composability and controllability of structural linear time-invariant systems: Distributed verification

با توسل به توسعه و استفاده از سیستم های دینامیکی در مقیاس بزرگ، که اغلب شامل زیر سیستم های خرده فروشی توزیع جغرافیایی می شود، ما با مشکل مواجهه کنترل قابلیت کنترل خود با روش توزیع مواجه هستیم. به طور خاص، ما کنترل پذیری را در حوزه نظریه ساختاری سیستم، کنترل کننده ساختاری بررسی می کنیم که در آن به جای تمرکز بر تحقق سیستم عددی خاص، تضمین هایی برای کلاس های هم ارزانی سیستم های غیر خطی خطی براساس الگوهای پارامترهای ساختاری آنها ارائه می شود، یعنی محل ورودی صفر / غیر صفر در ماتریس گیاه. برای رسیدن به این هدف، ابتدا چندین شرایط لازم و یا کافی را ارائه می دهیم تا اطمینان حاصل شود که سیستم کلی بر اساس الگوی ساختار زیرسیستم و ارتباطات آنها کنترل ساختاری است. معیارهای تأیید پیشنهادی نشان داده شده است که به طور مؤثر (به عنوان مثال، با پیچیدگی زمان چندجملهای در تعداد متغیرهای وضعیت و ورودی ها) در دو زیرمجموعه مهم از سیستم های دینامیکی متصل، نشان داده شده است: مشابه (که هر زیرسیستم یک ساختار مشابه دارد) و سریال جایی که هر زیرسیستم خروجی را به حداکثر یک زیر سیستم دیگر منتقل می کند). دوم، ما الگوریتم تکراری توزیع شده را برای بررسی کنترل ساختاری برای سیستم دینامیکی متصل شده به طور کلی ارائه می دهیم، یعنی براساس ارتباط بین زیر سیستم های متصل شده (جسمی)، و فقط نیاز به دانش محلی و ارتباط متقابل در هر زیر سیستم است.