Matches in SemOpenAlex for { <https://semopenalex.org/work/W3046292244> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W3046292244 endingPage "39" @default.
- W3046292244 startingPage "28" @default.
- W3046292244 abstract "The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture, civil engineering, and disaster recovery. We report on the development of a dynamic monitoring framework for the DLR ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems) family of unmanned aircraft based on the formal specification language RTLola. RTLola is a stream-based specification language for real-time properties. An RTLola specification of hazardous situations and system failures is statically analyzed in terms of consistency and resource usage and then automatically translated into an FPGA-based monitor. Our approach leads to highly efficient, parallelized monitors with formal guarantees on the noninterference of the monitor with the normal operation of the autonomous system." @default.
- W3046292244 created "2020-08-07" @default.
- W3046292244 creator A5014234993 @default.
- W3046292244 creator A5044958748 @default.
- W3046292244 creator A5048189898 @default.
- W3046292244 creator A5077768481 @default.
- W3046292244 creator A5080353657 @default.
- W3046292244 date "2020-01-01" @default.
- W3046292244 modified "2023-10-06" @default.
- W3046292244 title "RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft" @default.
- W3046292244 cites W1497515134 @default.
- W3046292244 cites W1533557569 @default.
- W3046292244 cites W1575809242 @default.
- W3046292244 cites W2026629052 @default.
- W3046292244 cites W2056359803 @default.
- W3046292244 cites W2107168574 @default.
- W3046292244 cites W2125415493 @default.
- W3046292244 cites W2140028191 @default.
- W3046292244 cites W2158381251 @default.
- W3046292244 cites W2238768211 @default.
- W3046292244 cites W2567841398 @default.
- W3046292244 cites W2574741688 @default.
- W3046292244 cites W2608274773 @default.
- W3046292244 cites W2740714272 @default.
- W3046292244 cites W2751867703 @default.
- W3046292244 cites W2782227381 @default.
- W3046292244 cites W2961558634 @default.
- W3046292244 cites W2979502960 @default.
- W3046292244 doi "https://doi.org/10.1007/978-3-030-53291-8_3" @default.
- W3046292244 hasPublicationYear "2020" @default.
- W3046292244 type Work @default.
- W3046292244 sameAs 3046292244 @default.
- W3046292244 citedByCount "21" @default.
- W3046292244 countsByYear W30462922442020 @default.
- W3046292244 countsByYear W30462922442021 @default.
- W3046292244 countsByYear W30462922442022 @default.
- W3046292244 countsByYear W30462922442023 @default.
- W3046292244 crossrefType "book-chapter" @default.
- W3046292244 hasAuthorship W3046292244A5014234993 @default.
- W3046292244 hasAuthorship W3046292244A5044958748 @default.
- W3046292244 hasAuthorship W3046292244A5048189898 @default.
- W3046292244 hasAuthorship W3046292244A5077768481 @default.
- W3046292244 hasAuthorship W3046292244A5080353657 @default.
- W3046292244 hasBestOaLocation W30462922441 @default.
- W3046292244 hasConcept C115903868 @default.
- W3046292244 hasConcept C120314980 @default.
- W3046292244 hasConcept C126894567 @default.
- W3046292244 hasConcept C127413603 @default.
- W3046292244 hasConcept C134306372 @default.
- W3046292244 hasConcept C138944611 @default.
- W3046292244 hasConcept C149635348 @default.
- W3046292244 hasConcept C154945302 @default.
- W3046292244 hasConcept C201995342 @default.
- W3046292244 hasConcept C206345919 @default.
- W3046292244 hasConcept C2776436953 @default.
- W3046292244 hasConcept C31258907 @default.
- W3046292244 hasConcept C31395832 @default.
- W3046292244 hasConcept C33923547 @default.
- W3046292244 hasConcept C36503486 @default.
- W3046292244 hasConcept C41008148 @default.
- W3046292244 hasConcept C71924100 @default.
- W3046292244 hasConcept C79403827 @default.
- W3046292244 hasConceptScore W3046292244C115903868 @default.
- W3046292244 hasConceptScore W3046292244C120314980 @default.
- W3046292244 hasConceptScore W3046292244C126894567 @default.
- W3046292244 hasConceptScore W3046292244C127413603 @default.
- W3046292244 hasConceptScore W3046292244C134306372 @default.
- W3046292244 hasConceptScore W3046292244C138944611 @default.
- W3046292244 hasConceptScore W3046292244C149635348 @default.
- W3046292244 hasConceptScore W3046292244C154945302 @default.
- W3046292244 hasConceptScore W3046292244C201995342 @default.
- W3046292244 hasConceptScore W3046292244C206345919 @default.
- W3046292244 hasConceptScore W3046292244C2776436953 @default.
- W3046292244 hasConceptScore W3046292244C31258907 @default.
- W3046292244 hasConceptScore W3046292244C31395832 @default.
- W3046292244 hasConceptScore W3046292244C33923547 @default.
- W3046292244 hasConceptScore W3046292244C36503486 @default.
- W3046292244 hasConceptScore W3046292244C41008148 @default.
- W3046292244 hasConceptScore W3046292244C71924100 @default.
- W3046292244 hasConceptScore W3046292244C79403827 @default.
- W3046292244 hasLocation W30462922441 @default.
- W3046292244 hasLocation W30462922442 @default.
- W3046292244 hasOpenAccess W3046292244 @default.
- W3046292244 hasPrimaryLocation W30462922441 @default.
- W3046292244 hasRelatedWork W108241755 @default.
- W3046292244 hasRelatedWork W1511431810 @default.
- W3046292244 hasRelatedWork W1669499690 @default.
- W3046292244 hasRelatedWork W1972437902 @default.
- W3046292244 hasRelatedWork W2059356130 @default.
- W3046292244 hasRelatedWork W2144956799 @default.
- W3046292244 hasRelatedWork W2162176235 @default.
- W3046292244 hasRelatedWork W2273814841 @default.
- W3046292244 hasRelatedWork W2353865532 @default.
- W3046292244 hasRelatedWork W2584017495 @default.
- W3046292244 isParatext "false" @default.
- W3046292244 isRetracted "false" @default.
- W3046292244 magId "3046292244" @default.
- W3046292244 workType "book-chapter" @default.