Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912176331> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2912176331 abstract "This paper presents an application of specification based runtime verification techniques to control mobile robots in a reactive manner. In our case study, we develop a layered control architecture where runtime monitors constructed from formal specifications are embedded into the navigation stack. We use temporal logic and regular expressions to describe safety requirements and mission specifications, respectively. An immediate benefit of our approach is that it leverages simple requirements and objectives of traditional control applications to more complex specifications in a non-intrusive and compositional way. Finally, we demonstrate a simulation of robots controlled by the proposed architecture and we discuss further extensions of our approach." @default.
- W2912176331 created "2019-02-21" @default.
- W2912176331 creator A5054455487 @default.
- W2912176331 creator A5086742095 @default.
- W2912176331 date "2019-02-11" @default.
- W2912176331 modified "2023-09-27" @default.
- W2912176331 title "Reactive Control Meets Runtime Verification: A Case Study of Navigation" @default.
- W2912176331 cites W2004620590 @default.
- W2912176331 cites W2011282943 @default.
- W2912176331 cites W2051493878 @default.
- W2912176331 cites W2117211893 @default.
- W2912176331 cites W2129226651 @default.
- W2912176331 cites W2381901500 @default.
- W2912176331 cites W2569270512 @default.
- W2912176331 cites W2737617799 @default.
- W2912176331 cites W2767816403 @default.
- W2912176331 cites W2784743256 @default.
- W2912176331 cites W2787029449 @default.
- W2912176331 cites W2792185122 @default.
- W2912176331 cites W2963872397 @default.
- W2912176331 cites W2967277443 @default.
- W2912176331 hasPublicationYear "2019" @default.
- W2912176331 type Work @default.
- W2912176331 sameAs 2912176331 @default.
- W2912176331 citedByCount "0" @default.
- W2912176331 crossrefType "posted-content" @default.
- W2912176331 hasAuthorship W2912176331A5054455487 @default.
- W2912176331 hasAuthorship W2912176331A5086742095 @default.
- W2912176331 hasConcept C111472728 @default.
- W2912176331 hasConcept C111498074 @default.
- W2912176331 hasConcept C120314980 @default.
- W2912176331 hasConcept C123657996 @default.
- W2912176331 hasConcept C138885662 @default.
- W2912176331 hasConcept C142362112 @default.
- W2912176331 hasConcept C149635348 @default.
- W2912176331 hasConcept C153349607 @default.
- W2912176331 hasConcept C154945302 @default.
- W2912176331 hasConcept C199360897 @default.
- W2912176331 hasConcept C202973057 @default.
- W2912176331 hasConcept C25016198 @default.
- W2912176331 hasConcept C2775924081 @default.
- W2912176331 hasConcept C2776350369 @default.
- W2912176331 hasConcept C2780586882 @default.
- W2912176331 hasConcept C41008148 @default.
- W2912176331 hasConcept C79403827 @default.
- W2912176331 hasConceptScore W2912176331C111472728 @default.
- W2912176331 hasConceptScore W2912176331C111498074 @default.
- W2912176331 hasConceptScore W2912176331C120314980 @default.
- W2912176331 hasConceptScore W2912176331C123657996 @default.
- W2912176331 hasConceptScore W2912176331C138885662 @default.
- W2912176331 hasConceptScore W2912176331C142362112 @default.
- W2912176331 hasConceptScore W2912176331C149635348 @default.
- W2912176331 hasConceptScore W2912176331C153349607 @default.
- W2912176331 hasConceptScore W2912176331C154945302 @default.
- W2912176331 hasConceptScore W2912176331C199360897 @default.
- W2912176331 hasConceptScore W2912176331C202973057 @default.
- W2912176331 hasConceptScore W2912176331C25016198 @default.
- W2912176331 hasConceptScore W2912176331C2775924081 @default.
- W2912176331 hasConceptScore W2912176331C2776350369 @default.
- W2912176331 hasConceptScore W2912176331C2780586882 @default.
- W2912176331 hasConceptScore W2912176331C41008148 @default.
- W2912176331 hasConceptScore W2912176331C79403827 @default.
- W2912176331 hasLocation W29121763311 @default.
- W2912176331 hasOpenAccess W2912176331 @default.
- W2912176331 hasPrimaryLocation W29121763311 @default.
- W2912176331 hasRelatedWork W1525203797 @default.
- W2912176331 hasRelatedWork W1575982869 @default.
- W2912176331 hasRelatedWork W2005543914 @default.
- W2912176331 hasRelatedWork W2022950120 @default.
- W2912176331 hasRelatedWork W2084463489 @default.
- W2912176331 hasRelatedWork W2091292637 @default.
- W2912176331 hasRelatedWork W2107303531 @default.
- W2912176331 hasRelatedWork W2108343033 @default.
- W2912176331 hasRelatedWork W2160997270 @default.
- W2912176331 hasRelatedWork W2189516265 @default.
- W2912176331 hasRelatedWork W2286801672 @default.
- W2912176331 hasRelatedWork W2295198103 @default.
- W2912176331 hasRelatedWork W2339118913 @default.
- W2912176331 hasRelatedWork W2408468855 @default.
- W2912176331 hasRelatedWork W2593935159 @default.
- W2912176331 hasRelatedWork W2977426637 @default.
- W2912176331 hasRelatedWork W2996770247 @default.
- W2912176331 hasRelatedWork W3091145535 @default.
- W2912176331 hasRelatedWork W74814843 @default.
- W2912176331 hasRelatedWork W91635382 @default.
- W2912176331 isParatext "false" @default.
- W2912176331 isRetracted "false" @default.
- W2912176331 magId "2912176331" @default.
- W2912176331 workType "article" @default.