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

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