Reliability Analysis of Petri Nets For Unmanned Aerial Vehicles

Simple item page
dc.contributor.authorKumari, L.
dc.contributor.authorNandini, A.C.
dc.contributor.authorBhavitha, N.
dc.contributor.authorNaik, S.M.
dc.contributor.authorDas, M.
dc.contributor.authorMohan, B.R.
dc.date.accessioned2026-02-06T06:34:08Z
dc.date.issued2024
dc.description.abstractIn this project, we theoretically analyse the reliability of an Unmanned Aerial Vehicle system. We do this using Risk Assessment and Mitigation Analysis(RAMA) and Stochastic Petri Net(SPN) analysis. The RAMA describes the various ways in which a system can fail and the factors which cause them along with any possible actions that can correct them. It helps in identifying the critical factors that affect the flight of the vehicle. The Petri Net model is built by identifying four major components crucial for the successful flight of the vehicle. It helps us to identify the flow of events that lead to a particular final state. We also do the reachability analysis of the Petri Net model and analyse its liveness theoretically. This study is aimed to help identify the various fault points in UAVs which in turn can help in future improvements. © 2024 IEEE.
dc.identifier.citation2024 IEEE International Conference on Interdisciplinary Approaches in Technology and Management for Social Innovation, IATMSI 2024, 2024, Vol., , p. -
dc.identifier.urihttps://doi.org/10.1109/IATMSI60426.2024.10503471
dc.identifier.urihttps://idr.nitk.ac.in/handle/123456789/29078
dc.publisherInstitute of Electrical and Electronics Engineers Inc.
dc.subjectLiveness
dc.subjectQuadcopter
dc.subjectReachability
dc.subjectRisk Assessment and Mitigation Analysis(RAMA)
dc.subjectStochastic Petri Net(SPN)
dc.subjectUnmanned Aerial Vehicles(UAV)
dc.titleReliability Analysis of Petri Nets For Unmanned Aerial Vehicles

Files

Collections

Conference Papers