Matches in SemOpenAlex for { <https://semopenalex.org/work/W2361313718> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2361313718 abstract "The safety properties of Cyber-Physical Systems have characteristics of both time and spatial attributes. Although various hybrid logic languages have been proposed to represent and reason both time and spatial attribute, most of them are not concerned on the quantitative problem which is important for mission-critical CPSs to specify and verify safety properties. In this paper, we propose a language named metric temporal-spatial logic (MTSL) to solve the problem. MTSL is the combination result of the metric temporal logic (MTL) and the spatial logic S4u. It can represent and reason CPS safety properties with both temporal and spatial attributes in a time quantitative manner. Based on different expressivity requirements, we define two kinds of MTSL languages named MTSLtPC and MTSLtOC. Their computational complexity of satisfiability problem are analysed. Moreover, in order to construct a decidable metric temporalspatial logic which can be used to define safety properties, we also point out that one may use safety metric temporal logic (SMTL) as the temporal language. The application of MTSLs are illustrated by case studies coming from transportation domain." @default.
- W2361313718 created "2016-06-24" @default.
- W2361313718 creator A5014788258 @default.
- W2361313718 creator A5029102429 @default.
- W2361313718 creator A5061754187 @default.
- W2361313718 creator A5089205282 @default.
- W2361313718 date "2015-12-01" @default.
- W2361313718 modified "2023-10-18" @default.
- W2361313718 title "Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic" @default.
- W2361313718 cites W1494173831 @default.
- W2361313718 cites W1498203978 @default.
- W2361313718 cites W1542921761 @default.
- W2361313718 cites W1879819495 @default.
- W2361313718 cites W1981208316 @default.
- W2361313718 cites W2017661088 @default.
- W2361313718 cites W2022782983 @default.
- W2361313718 cites W2026629052 @default.
- W2361313718 cites W2049696538 @default.
- W2361313718 cites W2070496765 @default.
- W2361313718 cites W2072962073 @default.
- W2361313718 cites W2107605643 @default.
- W2361313718 cites W2133039566 @default.
- W2361313718 cites W2138436353 @default.
- W2361313718 cites W2139891885 @default.
- W2361313718 cites W2153173530 @default.
- W2361313718 cites W3096276665 @default.
- W2361313718 doi "https://doi.org/10.1109/apsec.2015.58" @default.
- W2361313718 hasPublicationYear "2015" @default.
- W2361313718 type Work @default.
- W2361313718 sameAs 2361313718 @default.
- W2361313718 citedByCount "11" @default.
- W2361313718 countsByYear W23613137182018 @default.
- W2361313718 countsByYear W23613137182019 @default.
- W2361313718 countsByYear W23613137182020 @default.
- W2361313718 countsByYear W23613137182021 @default.
- W2361313718 crossrefType "proceedings-article" @default.
- W2361313718 hasAuthorship W2361313718A5014788258 @default.
- W2361313718 hasAuthorship W2361313718A5029102429 @default.
- W2361313718 hasAuthorship W2361313718A5061754187 @default.
- W2361313718 hasAuthorship W2361313718A5089205282 @default.
- W2361313718 hasConcept C111919701 @default.
- W2361313718 hasConcept C127413603 @default.
- W2361313718 hasConcept C176217482 @default.
- W2361313718 hasConcept C179768478 @default.
- W2361313718 hasConcept C21547014 @default.
- W2361313718 hasConcept C25016198 @default.
- W2361313718 hasConcept C41008148 @default.
- W2361313718 hasConcept C4777664 @default.
- W2361313718 hasConcept C80444323 @default.
- W2361313718 hasConceptScore W2361313718C111919701 @default.
- W2361313718 hasConceptScore W2361313718C127413603 @default.
- W2361313718 hasConceptScore W2361313718C176217482 @default.
- W2361313718 hasConceptScore W2361313718C179768478 @default.
- W2361313718 hasConceptScore W2361313718C21547014 @default.
- W2361313718 hasConceptScore W2361313718C25016198 @default.
- W2361313718 hasConceptScore W2361313718C41008148 @default.
- W2361313718 hasConceptScore W2361313718C4777664 @default.
- W2361313718 hasConceptScore W2361313718C80444323 @default.
- W2361313718 hasLocation W23613137181 @default.
- W2361313718 hasOpenAccess W2361313718 @default.
- W2361313718 hasPrimaryLocation W23613137181 @default.
- W2361313718 hasRelatedWork W1031601050 @default.
- W2361313718 hasRelatedWork W2013878945 @default.
- W2361313718 hasRelatedWork W2031188261 @default.
- W2361313718 hasRelatedWork W2099776859 @default.
- W2361313718 hasRelatedWork W2110468917 @default.
- W2361313718 hasRelatedWork W2560930356 @default.
- W2361313718 hasRelatedWork W2574526943 @default.
- W2361313718 hasRelatedWork W2753781312 @default.
- W2361313718 hasRelatedWork W2995068468 @default.
- W2361313718 hasRelatedWork W3165590793 @default.
- W2361313718 isParatext "false" @default.
- W2361313718 isRetracted "false" @default.
- W2361313718 magId "2361313718" @default.
- W2361313718 workType "article" @default.