کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8055332 1519814 2018 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Compositional abstraction refinement for control synthesis
ترجمه فارسی عنوان
پالایش انتزاع ترکیبی برای سنتز کنترل
کلمات کلیدی
کنترل نمادین، پالایش انتزاعی، ترکیب ترکیب سیستم های ترکیبی
ترجمه چکیده
این مقاله یک رویکرد ترکیبی برای تکمیل انتزاعی توصیفی هدایت برای سنتز کنترلی سیستم غیر خطی همراه با یک روش برای بیش از حد تقریبی مجموعه های قابل دستیابی ارائه می دهد. با توجه به پارتیشن درشتی اولیه فضای حالت، مشخصات کنترل به عنوان دنباله ای از سلول های این پارتیشن برای بازدید در هر زمان نمونه گیری داده می شود. پویایی ها به زیرسیستم هایی تقسیم می شوند که برخی از آنها در حال مشاهده نیستند و بعضی از آنها مشاهده می شوند اما کنترل نشده اند و تعهدات تضمین پذیری در حالت های کنترل نشده هر زیرسیستم مورد استفاده قرار می گیرند. یک انتزاع محدود برای هر زیرسیستم با استفاده از یک روش پالایش از یک پارتیشن درشت از فضای حالت ایجاد می شود و سپس به دنبال آن در دنباله ی مشخصه، به طور تکراری عناصر پارتیشن را تقسیم می کند که برابری آن از رضایت از مشخصات جلوگیری می کند. هر انتزاع تصفیه شده با کنترل کننده همراه است و ثابت شده است که ترکیب این کنترل کننده های محلی می تواند مشخصات را در سیستم اصلی اجرا کند. کارایی روش پیشنهادی در مقایسه با سایر روشهای انتزاعی در مثال عددی نشان داده شده است.
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی کنترل و سیستم های مهندسی
پیش نمایش مقاله
پالایش انتزاع ترکیبی برای سنتز کنترل
چکیده انگلیسی
This paper presents a compositional approach to specification-guided abstraction refinement for control synthesis of a nonlinear system associated with a method to over-approximate its reachable sets. Given an initial coarse partition of the state space, the control specification is given as a sequence of the cells of this partition to visit at each sampling time. The dynamics are decomposed into subsystems where some states and inputs are not observed, some states are observed but not controlled and where assume-guarantee obligations are used on the uncontrolled states of each subsystem. A finite abstraction is created for each subsystem through a refinement procedure starting from a coarse partition of the state space, then proceeding backwards on the specification sequence to iteratively split the elements of the partition whose coarseness prevents the satisfaction of the specification. Each refined abstraction is associated with a controller and it is proved that combining these local controllers can enforce the specification on the original system. The efficiency of the proposed approach compared to other abstraction methods is illustrated in a numerical example.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Nonlinear Analysis: Hybrid Systems - Volume 27, February 2018, Pages 437-451
نویسندگان
, ,