Matches in SemOpenAlex for { <https://semopenalex.org/work/W2786468265> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2786468265 endingPage "422" @default.
- W2786468265 startingPage "406" @default.
- W2786468265 abstract "Unmanned aerial vehicles (UAVs), a.k.a. drones, are becoming increasingly popular due to great advancements in their control mechanisms and price reduction. UAVs are being used in applications such as package delivery, plantation and railroad track monitoring, where UAVs carry out tasks in an automated fashion. Devising how UAVs achieve a task is challenging as the environment where UAVs are deployed is normally unpredictable, for example, due to winds. Formal methods can help engineers to specify flight strategies and to evaluate how well UAVs are going to perform to achieve a task. This paper proposes a formal framework where engineers can raise the confidence in their UAV specification by using symbolic, simulation and statistical and model checking methods. Our framework is constructed over three main components: the behavior of UAVs and the environment are specified in a formal executable language; the UAV’s physical model is specified by a simulator; and statistical model checking algorithms are used for the analysis of system behaviors. We demonstrate the effectiveness of our framework by means of several scenarios involving multiple drones." @default.
- W2786468265 created "2018-02-23" @default.
- W2786468265 creator A5043568419 @default.
- W2786468265 creator A5080152569 @default.
- W2786468265 creator A5081680179 @default.
- W2786468265 creator A5090498111 @default.
- W2786468265 date "2018-01-01" @default.
- W2786468265 modified "2023-10-18" @default.
- W2786468265 title "A Framework for Analyzing Adaptive Autonomous Aerial Vehicles" @default.
- W2786468265 cites W107710200 @default.
- W2786468265 cites W1555012181 @default.
- W2786468265 cites W1584415452 @default.
- W2786468265 cites W1659349535 @default.
- W2786468265 cites W1786452676 @default.
- W2786468265 cites W2006340882 @default.
- W2786468265 cites W2009040830 @default.
- W2786468265 cites W2019810307 @default.
- W2786468265 cites W2052524124 @default.
- W2786468265 cites W2092752793 @default.
- W2786468265 cites W2098851201 @default.
- W2786468265 cites W2105554102 @default.
- W2786468265 cites W2114158268 @default.
- W2786468265 cites W2156525231 @default.
- W2786468265 cites W2158280958 @default.
- W2786468265 cites W2395334218 @default.
- W2786468265 cites W2460389227 @default.
- W2786468265 cites W2470154314 @default.
- W2786468265 cites W2471389158 @default.
- W2786468265 cites W2512007574 @default.
- W2786468265 cites W2577270842 @default.
- W2786468265 cites W4234315090 @default.
- W2786468265 cites W71507039 @default.
- W2786468265 doi "https://doi.org/10.1007/978-3-319-74781-1_28" @default.
- W2786468265 hasPublicationYear "2018" @default.
- W2786468265 type Work @default.
- W2786468265 sameAs 2786468265 @default.
- W2786468265 citedByCount "16" @default.
- W2786468265 countsByYear W27864682652017 @default.
- W2786468265 countsByYear W27864682652018 @default.
- W2786468265 countsByYear W27864682652019 @default.
- W2786468265 countsByYear W27864682652021 @default.
- W2786468265 countsByYear W27864682652022 @default.
- W2786468265 countsByYear W27864682652023 @default.
- W2786468265 crossrefType "book-chapter" @default.
- W2786468265 hasAuthorship W2786468265A5043568419 @default.
- W2786468265 hasAuthorship W2786468265A5080152569 @default.
- W2786468265 hasAuthorship W2786468265A5081680179 @default.
- W2786468265 hasAuthorship W2786468265A5090498111 @default.
- W2786468265 hasConcept C110251889 @default.
- W2786468265 hasConcept C111498074 @default.
- W2786468265 hasConcept C115903868 @default.
- W2786468265 hasConcept C127413603 @default.
- W2786468265 hasConcept C160145156 @default.
- W2786468265 hasConcept C199360897 @default.
- W2786468265 hasConcept C201995342 @default.
- W2786468265 hasConcept C2780451532 @default.
- W2786468265 hasConcept C41008148 @default.
- W2786468265 hasConcept C44154836 @default.
- W2786468265 hasConcept C54355233 @default.
- W2786468265 hasConcept C59519942 @default.
- W2786468265 hasConcept C75606506 @default.
- W2786468265 hasConcept C79403827 @default.
- W2786468265 hasConcept C86803240 @default.
- W2786468265 hasConceptScore W2786468265C110251889 @default.
- W2786468265 hasConceptScore W2786468265C111498074 @default.
- W2786468265 hasConceptScore W2786468265C115903868 @default.
- W2786468265 hasConceptScore W2786468265C127413603 @default.
- W2786468265 hasConceptScore W2786468265C160145156 @default.
- W2786468265 hasConceptScore W2786468265C199360897 @default.
- W2786468265 hasConceptScore W2786468265C201995342 @default.
- W2786468265 hasConceptScore W2786468265C2780451532 @default.
- W2786468265 hasConceptScore W2786468265C41008148 @default.
- W2786468265 hasConceptScore W2786468265C44154836 @default.
- W2786468265 hasConceptScore W2786468265C54355233 @default.
- W2786468265 hasConceptScore W2786468265C59519942 @default.
- W2786468265 hasConceptScore W2786468265C75606506 @default.
- W2786468265 hasConceptScore W2786468265C79403827 @default.
- W2786468265 hasConceptScore W2786468265C86803240 @default.
- W2786468265 hasLocation W27864682651 @default.
- W2786468265 hasOpenAccess W2786468265 @default.
- W2786468265 hasPrimaryLocation W27864682651 @default.
- W2786468265 hasRelatedWork W1547140629 @default.
- W2786468265 hasRelatedWork W1614816533 @default.
- W2786468265 hasRelatedWork W178421615 @default.
- W2786468265 hasRelatedWork W1947340688 @default.
- W2786468265 hasRelatedWork W2117798332 @default.
- W2786468265 hasRelatedWork W2128218709 @default.
- W2786468265 hasRelatedWork W2202657245 @default.
- W2786468265 hasRelatedWork W2370841479 @default.
- W2786468265 hasRelatedWork W952263751 @default.
- W2786468265 hasRelatedWork W2098549968 @default.
- W2786468265 isParatext "false" @default.
- W2786468265 isRetracted "false" @default.
- W2786468265 magId "2786468265" @default.
- W2786468265 workType "book-chapter" @default.