@article { author = {Ahangarani Farahani, Alireza and Dideban, Abbas}, title = {Logical modeling of flight computer to detect faulty functional of servo electromechanical actuator in UAVs via Petri Nets}, journal = {Aerospace Knowledge and Technology Journal}, volume = {8}, number = {1}, pages = {95-107}, year = {2019}, publisher = {Malek ashtar University of Technology}, issn = {2322-1070}, eissn = {2645-3622}, doi = {}, abstract = {In this paper, Petri Nets tool is used to model logical operations, faults detection, controller designed and consequently significant growth in reliability for electromechanical actuator subsystem of UAV. In UAVs, actuators are used to control surfaces, therefore introducing a new way that can simulate the logical behavior and subsystem fault and control the system’s probable errors, is beneficial. To design a controller based on Petri Nets, three stages have to be done; in the first stage, different sections and main features are modeled using Petri Nets. In the second stage, synchronization is done among resulted models, then using supervisory control in the third stage, in order to ensure the unsafe situation occurrence in the system, the all control procedure is guaranteed. In this research, analytical redundancy is used to prevent entering into unsafe conditions and process control. Results show that by using this method, the probability of fault detection increases and consequently the reliability has the same faith.}, keywords = {Petri Nets,supervisory control,UAV,servo electromechanical actuator,fault detection}, title_fa = {مدلسازی منطقی کامپیوتر پرواز برای تشخیص عملکرد ناصحیح عملگرهای برقی – مکانیکی پرنده‌های بدون سرنشین با استفاده از شبکه‌های پتری}, abstract_fa = {در این مقاله با استفاده از ابزار شبکه‌های پتری روشی برای مدلسازی عملیات منطقی، کشف خطا، طراحی کنترل‌کنندة نظارتی و در نتیجه افزایش قابلیت اطمینان برای زیرسیستم عملگر برقی - مکانیکی پرنده‌های بدون سرنشین ارائه شده ‌است. در پرنده‌های بدون سرنشین عملگرها برای کنترل سطوح کنترلی استفاده می‌شود، لذا ایجاد روشی که بتواند رفتار منطقی و خطاهای زیرسیستم­ها را مدل کند و رفتار مناسبی در مقابل خطاهای احتمالی سیستم داشته باشد، بسیار مفید خواهد بود. در روش ارائه‌شده در این مقاله، جهت طراحی کنترل‌کنندة نظارتی برمبنای شبکه‌های پتری سه گام اصلی برداشته شده است: در اولین گام، ضوابط و خصوصیات اصلی بخش‌های مختلف با استفاده از شبکة پتری به‌صورت جداگانه مدل شده ‌است، در گام دوم سنکرون‌سازی بین مدل‌ها انجام شده و در گام آخر با استفاده از کنترل نظارتی، کل رویة کنترل جهت حصول اطمینان از بروز وضعیت ناامن در سیستم ضمانت می‌گردد. در این پژوهش جهت جلوگیری از ورود در شرایط ناامن و همچنین کنترل فرایند از روش افزونگی تحلیلی استفاده شده ‌است. نتایج نشان می‌دهد که با استفاده از این روش احتمال خرابی کاهش و قابلیت اطمینان سیستم افزایش خواهد یافت.}, keywords_fa = {شبکه‌های پتری,کنترل نظارتی,هواپیمای بدون سرنشین,عملگرهای برقی - مکانیکی,تشخیص خطا}, url = {https://www.astjournal.ir/article_34291.html}, eprint = {https://www.astjournal.ir/article_34291_a65b1160bc543928f063170fa238124a.pdf} }