Matches in SemOpenAlex for { <https://semopenalex.org/work/W4225515613> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4225515613 endingPage "5895" @default.
- W4225515613 startingPage "5888" @default.
- W4225515613 abstract "Temporal logic is becoming increasingly popular for its application in the analysis and control of dynamic systems. Time window temporal logic (TWTL) is a rich expressive language for specifying time-bounded serial tasks in a compact manner that is common in many control applications, such as robotics. Typically, TWTL specifications are verified using an automata-based model checking algorithm. However, verification of important properties of a given system using model checking in design time does not guarantee that the system will behave as expected during the runtime operation which falls under the scope of runtime verification. In this letter, we present a rewriting-based algorithm for runtime monitoring of safety requirements expressed in TWTL. The feasibility and efficiency of our proposed approach is demonstrated using two case studies related to unmanned aerial vehicle (UAV) surveillance and industrial robotics for manufacturing." @default.
- W4225515613 created "2022-05-05" @default.
- W4225515613 creator A5006415431 @default.
- W4225515613 creator A5069684684 @default.
- W4225515613 date "2022-07-01" @default.
- W4225515613 modified "2023-09-27" @default.
- W4225515613 title "Runtime Monitoring of Time Window Temporal Logic" @default.
- W4225515613 cites W1547304883 @default.
- W4225515613 cites W1965024948 @default.
- W4225515613 cites W1975255760 @default.
- W4225515613 cites W2023808162 @default.
- W4225515613 cites W2027769154 @default.
- W4225515613 cites W2101623441 @default.
- W4225515613 cites W2153385696 @default.
- W4225515613 cites W2167340365 @default.
- W4225515613 cites W2189285614 @default.
- W4225515613 cites W2757858194 @default.
- W4225515613 cites W2785700716 @default.
- W4225515613 cites W2947746812 @default.
- W4225515613 cites W2964219844 @default.
- W4225515613 cites W2967277443 @default.
- W4225515613 cites W2994583186 @default.
- W4225515613 cites W2998208410 @default.
- W4225515613 cites W3049105182 @default.
- W4225515613 cites W3131957051 @default.
- W4225515613 cites W3189280709 @default.
- W4225515613 cites W3195923140 @default.
- W4225515613 cites W3206283835 @default.
- W4225515613 cites W3207033324 @default.
- W4225515613 cites W828139470 @default.
- W4225515613 doi "https://doi.org/10.1109/lra.2022.3160592" @default.
- W4225515613 hasPublicationYear "2022" @default.
- W4225515613 type Work @default.
- W4225515613 citedByCount "2" @default.
- W4225515613 countsByYear W42255156132023 @default.
- W4225515613 crossrefType "journal-article" @default.
- W4225515613 hasAuthorship W4225515613A5006415431 @default.
- W4225515613 hasAuthorship W4225515613A5069684684 @default.
- W4225515613 hasConcept C110251889 @default.
- W4225515613 hasConcept C111498074 @default.
- W4225515613 hasConcept C111919701 @default.
- W4225515613 hasConcept C112505250 @default.
- W4225515613 hasConcept C134306372 @default.
- W4225515613 hasConcept C149635348 @default.
- W4225515613 hasConcept C154690210 @default.
- W4225515613 hasConcept C154945302 @default.
- W4225515613 hasConcept C199360897 @default.
- W4225515613 hasConcept C202973057 @default.
- W4225515613 hasConcept C25016198 @default.
- W4225515613 hasConcept C2778012447 @default.
- W4225515613 hasConcept C2778751112 @default.
- W4225515613 hasConcept C33923547 @default.
- W4225515613 hasConcept C34388435 @default.
- W4225515613 hasConcept C34413123 @default.
- W4225515613 hasConcept C41008148 @default.
- W4225515613 hasConcept C4777664 @default.
- W4225515613 hasConcept C79403827 @default.
- W4225515613 hasConcept C90509273 @default.
- W4225515613 hasConceptScore W4225515613C110251889 @default.
- W4225515613 hasConceptScore W4225515613C111498074 @default.
- W4225515613 hasConceptScore W4225515613C111919701 @default.
- W4225515613 hasConceptScore W4225515613C112505250 @default.
- W4225515613 hasConceptScore W4225515613C134306372 @default.
- W4225515613 hasConceptScore W4225515613C149635348 @default.
- W4225515613 hasConceptScore W4225515613C154690210 @default.
- W4225515613 hasConceptScore W4225515613C154945302 @default.
- W4225515613 hasConceptScore W4225515613C199360897 @default.
- W4225515613 hasConceptScore W4225515613C202973057 @default.
- W4225515613 hasConceptScore W4225515613C25016198 @default.
- W4225515613 hasConceptScore W4225515613C2778012447 @default.
- W4225515613 hasConceptScore W4225515613C2778751112 @default.
- W4225515613 hasConceptScore W4225515613C33923547 @default.
- W4225515613 hasConceptScore W4225515613C34388435 @default.
- W4225515613 hasConceptScore W4225515613C34413123 @default.
- W4225515613 hasConceptScore W4225515613C41008148 @default.
- W4225515613 hasConceptScore W4225515613C4777664 @default.
- W4225515613 hasConceptScore W4225515613C79403827 @default.
- W4225515613 hasConceptScore W4225515613C90509273 @default.
- W4225515613 hasIssue "3" @default.
- W4225515613 hasLocation W42255156131 @default.
- W4225515613 hasOpenAccess W4225515613 @default.
- W4225515613 hasPrimaryLocation W42255156131 @default.
- W4225515613 hasRelatedWork W1967076997 @default.
- W4225515613 hasRelatedWork W1988050447 @default.
- W4225515613 hasRelatedWork W2090677007 @default.
- W4225515613 hasRelatedWork W2106383176 @default.
- W4225515613 hasRelatedWork W2274258207 @default.
- W4225515613 hasRelatedWork W2359102888 @default.
- W4225515613 hasRelatedWork W2364697302 @default.
- W4225515613 hasRelatedWork W2783278179 @default.
- W4225515613 hasRelatedWork W4225515613 @default.
- W4225515613 hasRelatedWork W2185599028 @default.
- W4225515613 hasVolume "7" @default.
- W4225515613 isParatext "false" @default.
- W4225515613 isRetracted "false" @default.
- W4225515613 workType "article" @default.