Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387225257> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4387225257 endingPage "230" @default.
- W4387225257 startingPage "213" @default.
- W4387225257 abstract "We present the first decentralized algorithm for detecting predicates over continuous-time signals under partial synchrony. A distributed cyber-physical system (CPS) consists of a network of agents, each of which measures (or computes) a continuous-time signal. Examples include distributed industrial controllers connected over wireless networks and connected vehicles in traffic. The safety requirements of such CPS, expressed as logical predicates, must be monitored at runtime. This monitoring faces three challenges: first, every agent only knows its own signal, whereas the safety requirement is global and carries over multiple signals. Second, the agents’ local clocks drift from each other, so they do not even agree on the time. Thus, it is not clear which signal values are actually synchronous to evaluate the safety predicate. Third, CPS signals are continuous-time so there are potentially uncountably many safety violations to be reported. In this paper, we present the first decentralized algorithm for detecting conjunctive predicates in this setup. Our algorithm returns all possible violations of the predicate, which is important for eliminating bugs from distributed systems regardless of actual clock drift. We prove that this detection algorithm is in the same complexity class as the detector for discrete systems. We implement our detector and validate it experimentally." @default.
- W4387225257 created "2023-10-01" @default.
- W4387225257 creator A5008486466 @default.
- W4387225257 creator A5021880681 @default.
- W4387225257 creator A5024852225 @default.
- W4387225257 creator A5091602982 @default.
- W4387225257 date "2023-01-01" @default.
- W4387225257 modified "2023-10-01" @default.
- W4387225257 title "Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals" @default.
- W4387225257 cites W1508046772 @default.
- W4387225257 cites W1512223106 @default.
- W4387225257 cites W1519460009 @default.
- W4387225257 cites W2004269400 @default.
- W4387225257 cites W2166842511 @default.
- W4387225257 cites W2288632536 @default.
- W4387225257 cites W2621540998 @default.
- W4387225257 cites W2979679948 @default.
- W4387225257 cites W3001896159 @default.
- W4387225257 cites W3041066081 @default.
- W4387225257 cites W3137220996 @default.
- W4387225257 cites W3204850180 @default.
- W4387225257 cites W4368362605 @default.
- W4387225257 doi "https://doi.org/10.1007/978-3-031-44267-4_11" @default.
- W4387225257 hasPublicationYear "2023" @default.
- W4387225257 type Work @default.
- W4387225257 citedByCount "0" @default.
- W4387225257 crossrefType "book-chapter" @default.
- W4387225257 hasAuthorship W4387225257A5008486466 @default.
- W4387225257 hasAuthorship W4387225257A5021880681 @default.
- W4387225257 hasAuthorship W4387225257A5024852225 @default.
- W4387225257 hasAuthorship W4387225257A5091602982 @default.
- W4387225257 hasConcept C11413529 @default.
- W4387225257 hasConcept C120314980 @default.
- W4387225257 hasConcept C140146324 @default.
- W4387225257 hasConcept C199360897 @default.
- W4387225257 hasConcept C41008148 @default.
- W4387225257 hasConcept C76155785 @default.
- W4387225257 hasConcept C79403827 @default.
- W4387225257 hasConcept C94915269 @default.
- W4387225257 hasConceptScore W4387225257C11413529 @default.
- W4387225257 hasConceptScore W4387225257C120314980 @default.
- W4387225257 hasConceptScore W4387225257C140146324 @default.
- W4387225257 hasConceptScore W4387225257C199360897 @default.
- W4387225257 hasConceptScore W4387225257C41008148 @default.
- W4387225257 hasConceptScore W4387225257C76155785 @default.
- W4387225257 hasConceptScore W4387225257C79403827 @default.
- W4387225257 hasConceptScore W4387225257C94915269 @default.
- W4387225257 hasLocation W43872252571 @default.
- W4387225257 hasOpenAccess W4387225257 @default.
- W4387225257 hasPrimaryLocation W43872252571 @default.
- W4387225257 hasRelatedWork W1485627940 @default.
- W4387225257 hasRelatedWork W1596201972 @default.
- W4387225257 hasRelatedWork W1598943142 @default.
- W4387225257 hasRelatedWork W1986253068 @default.
- W4387225257 hasRelatedWork W2125617559 @default.
- W4387225257 hasRelatedWork W2152433827 @default.
- W4387225257 hasRelatedWork W2160425906 @default.
- W4387225257 hasRelatedWork W2385146268 @default.
- W4387225257 hasRelatedWork W2389082469 @default.
- W4387225257 hasRelatedWork W4313054100 @default.
- W4387225257 isParatext "false" @default.
- W4387225257 isRetracted "false" @default.
- W4387225257 workType "book-chapter" @default.