مدلسازی منطقی کامپیوتر پرواز برای تشخیص عملکرد ناصحیح عملگرهای برقی - مکانیکی پرنده های بدون سرنشین با استفاده از شبکه های پتری

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