{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T13:09:44Z","timestamp":1753880984052,"version":"3.41.2"},"reference-count":22,"publisher":"World Scientific Pub Co Pte Ltd","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Model. Simul. Sci. Comput."],"published-print":{"date-parts":[[2022,6]]},"abstract":"<jats:p> 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. <\/jats:p>","DOI":"10.1142\/s1793962322500155","type":"journal-article","created":{"date-parts":[[2021,9,30]],"date-time":"2021-09-30T15:47:07Z","timestamp":1633016827000},"source":"Crossref","is-referenced-by-count":0,"title":["Modeling unmanned aerial vehicle system for identifying foci of arboviral disease with monitoring system"],"prefix":"10.1142","volume":"13","author":[{"given":"John David S.","family":"Bel\u00e9m","sequence":"first","affiliation":[{"name":"Federal Rural University of the Semiarid, BR-233, s\/n, Cara\u00fabas, Rio Grande do Norte 59780-000, Brazil"}]},{"given":"Hidalyn Theodory C. M.","family":"Souza","sequence":"additional","affiliation":[{"name":"Federal Rural University of the Semiarid, BR-226, s\/n, Pau dos Ferros, Rio Grande do Norte 59900-000, Brazil"}]},{"given":"\u00c1lvaro","family":"Sobrinho","sequence":"additional","affiliation":[{"name":"Federal University of the Agreste of Pernambuco, Avenida Bom Pastor, s\/n, Garanhuns, Pernambuco 55292-270, Brazil"}]},{"given":"Lenardo Chaves E.","family":"Silva","sequence":"additional","affiliation":[{"name":"Federal Rural University of the Semiarid, BR-226, s\/n, Pau dos Ferros, Rio Grande do Norte 59900-000, Brazil"}]},{"given":"Helder Fernando","family":"De Araujo Oliveira","sequence":"additional","affiliation":[{"name":"Federal University of the Agreste of Pernambuco, Avenida Bom Pastor, s\/n, Garanhuns, Pernambuco 55292-270, Brazil"}]}],"member":"219","published-online":{"date-parts":[[2021,9,30]]},"reference":[{"key":"S1793962322500155BIB001","doi-asserted-by":"publisher","DOI":"10.1080\/09692290.2019.1625800"},{"key":"S1793962322500155BIB002","doi-asserted-by":"publisher","DOI":"10.1145\/2663340"},{"key":"S1793962322500155BIB003","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-6736(20)31521-X"},{"key":"S1793962322500155BIB004","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2013.2258678"},{"key":"S1793962322500155BIB005","series-title":"American Institute of Aeronautics and Astronautics","volume-title":"Aircraft Design: A Conceptual Approach","author":"Raymer D. P.","year":"2013"},{"key":"S1793962322500155BIB006","doi-asserted-by":"publisher","DOI":"10.1002\/9781118352700"},{"key":"S1793962322500155BIB007","doi-asserted-by":"publisher","DOI":"10.1145\/3001913.3001917"},{"key":"S1793962322500155BIB008","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0181208"},{"key":"S1793962322500155BIB009","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2016.10.010"},{"key":"S1793962322500155BIB010","doi-asserted-by":"publisher","DOI":"10.1145\/3194658.3194683"},{"key":"S1793962322500155BIB011","doi-asserted-by":"publisher","DOI":"10.1145\/3357729.3357738"},{"key":"S1793962322500155BIB012","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2994466"},{"key":"S1793962322500155BIB013","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2020.2972827"},{"key":"S1793962322500155BIB014","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2894468"},{"key":"S1793962322500155BIB015","doi-asserted-by":"publisher","DOI":"10.4293\/JSLS.2018.00018"},{"key":"S1793962322500155BIB016","doi-asserted-by":"publisher","DOI":"10.1016\/j.geomorph.2020.107306"},{"key":"S1793962322500155BIB017","doi-asserted-by":"publisher","DOI":"10.1016\/j.isprsjprs.2020.08.002"},{"key":"S1793962322500155BIB018","first-page":"28","volume":"93","author":"Zhi-Huia M.","year":"2020","journal-title":"Int. J. Appl. Earth Obs. Geoinf."},{"key":"S1793962322500155BIB019","first-page":"1","volume":"92","author":"Shendryka Y.","year":"2020","journal-title":"Int. J. Appl. Earth Obs. Geoinf."},{"key":"S1793962322500155BIB020","first-page":"1","volume":"92","author":"Libr\u00e1n-Embid F.","year":"2020","journal-title":"Sci. Total Environ."},{"volume-title":"Theory of Wing Sections: Including a Summary of Airfoil Data","year":"1981","author":"Abbott I. H.","key":"S1793962322500155BIB021"},{"volume-title":"Fundamentals of Aerodynamics","year":"2010","author":"Anderson J. D.","key":"S1793962322500155BIB022"}],"container-title":["International Journal of Modeling, Simulation, and Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S1793962322500155","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,10]],"date-time":"2022-06-10T01:10:24Z","timestamp":1654823424000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S1793962322500155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,30]]},"references-count":22,"journal-issue":{"issue":"03","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["10.1142\/S1793962322500155"],"URL":"https:\/\/doi.org\/10.1142\/s1793962322500155","relation":{},"ISSN":["1793-9623","1793-9615"],"issn-type":[{"type":"print","value":"1793-9623"},{"type":"electronic","value":"1793-9615"}],"subject":[],"published":{"date-parts":[[2021,9,30]]},"article-number":"2250015"}}