Modeling unmanned aerial vehicle system for identifying foci of arboviral disease with monitoring system  

作　　者：John David S.Belem Hidalyn Theodory C.M.Souza Alvaro Sobrinho Lenardo Chaves E.Silva Helder Fernando De Araujo Oliveira 

机构地区：[1]Federal Rural University of the Semiarid,BR-233,s/n Cara´ubas,Rio Grande do Norte 59780-000,Brazil [2]Federal Rural University of the Semiarid,BR-226,s/n Pau dos Ferros,Rio Grande do Norte 59900-000,Brazil [3]Federal University of the Agreste of Pernambuco Avenida Bom Pastor,s/n,Garanhuns Pernambuco 55292-270,Brazil

出　　处：《International Journal of Modeling, Simulation, and Scientific Computing》2022年第3期98-120,共23页建模、仿真和科学计算国际期刊（英文）

摘　　要：People who live in low-income and hard-to-reach regions are usually the most affected ones by high incidences of arboviral diseases,increasing morbidity and mortality rates,and public health costs.We present the modeling of hardware and software components of an unmanned aerial vehicle(UAV)system by mathematical tools,focusing on monitoring foci of arboviral diseases transmitted by Aedes aegypti mosquito,e.g.,Zika,Chikungunya,and Dengue.We used restriction equations and the colored Petri nets formal modeling language to represent the flight dynamics and the software components of the system,respectively.We evaluated the specification of desired behaviors of the monitoring system using simulations and the model checking technique.The results showed the completeness and correctness of the specification.The design of such a system is challenging due to the potential risks to people and the environment.Therefore,this study provides insights into the development of an UAV system for such an application scenario.The monitoring system has the potential of improving the efficiency in identifying foci of arboviral diseases.

关 键 词：System modeling unmanned aerial vehicle colored Petri nets flight dynamics arboviral diseases 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]