مدلسازي منطقي كامپيوتر پرواز براي تشخيص عملكرد ناصحيح عملگرهاي برقي – مكانيكي پرنده‌هاي بدون سرنشين با استفاده از شبكه‌هاي پتري

در اين مقاله با استفاده از ابزار شبكه‌هاي پتري روشي براي مدلسازي عمليات منطقي، كشف خطا، طراحي كنترل‌كننده نظارتي و در نتيجه افزايش قابليت اطمينان براي زيرسيستم عملگر برقي مكانيكي پرنده‌هاي بدون سرنشين ارائه شده ‌است. در پرنده‌هاي بدون سرنشين عملگرها براي كنترل سطوح كنترلي استفاده مي‌شود، لذا ايجاد روشي كه بتواند رفتار منطقي و خطاهاي زيرسيستم ها را مدل كند و رفتار مناسبي در مقابل خطاهاي احتمالي سيستم داشته باشد، بسيار مفيد خواهد بود. در روش ارائه‌شده در اين مقاله، جهت طراحي كنترل‌كننده نظارتي برمبناي شبكه‌هاي پتري سه گام اصلي برداشته شده است: در اولين گام، ضوابط و خصوصيات اصلي بخش‌هاي مختلف با استفاده از شبكه پتري به‌صورت جداگانه مدل شده ‌است، در گام دوم سنكرون‌سازي بين مدل‌ها انجام شده و در گام آخر با استفاده از كنترل نظارتي، كل رويه كنترل جهت حصول اطمينان از بروز وضعيت ناامن در سيستم ضمانت مي‌گردد. در اين پژوهش جهت جلوگيري از ورود در شرايط ناامن و همچنين كنترل فرايند از روش افزونگي تحليلي استفاده شده ‌است. نتايج نشان مي‌دهد كه با استفاده از اين روش احتمال خرابي كاهش و قابليت اطمينان سيستم افزايش خواهد يافت.