Symbolic control design for monotone systems with directed specifications

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