FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102952452> ?p ?o ?g. }

• W3102952452 abstract "We address a fundamental mismatch between the combinations of dynamics that occur in cyber-physical systems and the limited kinds of dynamics supported in analysis. Modern applications combine communication, computation, and control. They may even form dynamic distributed networks, where neither structure nor dimension stay the same while the system follows hybrid dynamics, i.e., mixed discrete and continuous dynamics. We provide the logical foundations for closing this analytic gap. We develop a formal model for distributed hybrid systems. It combines quantified differential equations with quantified assignments and dynamic dimensionality-changes. We introduce a dynamic logic for verifying distributed hybrid systems and present a proof calculus for this logic. This is the first formal verification approach for distributed hybrid systems. We prove that our calculus is a sound and complete axiomatization of the behavior of distributed hybrid systems relative to quantified differential equations. In our calculus we have proven collision freedom in distributed car control even when an unbounded number of new cars may appear dynamically on the road." @default.
• W3102952452 created "2020-11-23" @default.
• W3102952452 creator A5080481427 @default.
• W3102952452 date "2012-11-26" @default.
• W3102952452 modified "2023-10-10" @default.
• W3102952452 title "A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems" @default.
• W3102952452 cites W1490966766 @default.
• W3102952452 cites W1496789346 @default.
• W3102952452 cites W1510918931 @default.
• W3102952452 cites W1512712729 @default.
• W3102952452 cites W1513964429 @default.
• W3102952452 cites W1539608978 @default.
• W3102952452 cites W1553142094 @default.
• W3102952452 cites W1554618854 @default.
• W3102952452 cites W1574129634 @default.
• W3102952452 cites W1590730808 @default.
• W3102952452 cites W1598846073 @default.
• W3102952452 cites W1600564515 @default.
• W3102952452 cites W1913005683 @default.
• W3102952452 cites W1968813561 @default.
• W3102952452 cites W1977444293 @default.
• W3102952452 cites W1991650963 @default.
• W3102952452 cites W1993434661 @default.
• W3102952452 cites W1998368317 @default.
• W3102952452 cites W2007074311 @default.
• W3102952452 cites W2025025900 @default.
• W3102952452 cites W2047701313 @default.
• W3102952452 cites W2056549180 @default.
• W3102952452 cites W2060284851 @default.
• W3102952452 cites W2075350371 @default.
• W3102952452 cites W2107872611 @default.
• W3102952452 cites W2114804254 @default.
• W3102952452 cites W2125614702 @default.
• W3102952452 cites W2126489030 @default.
• W3102952452 cites W2130705439 @default.
• W3102952452 cites W2147340401 @default.
• W3102952452 cites W2152185829 @default.
• W3102952452 cites W2156461803 @default.
• W3102952452 cites W2161081924 @default.
• W3102952452 cites W2170741341 @default.
• W3102952452 cites W2252436646 @default.
• W3102952452 cites W2336123333 @default.
• W3102952452 cites W2611515161 @default.
• W3102952452 cites W3122394798 @default.
• W3102952452 cites W3146075203 @default.
• W3102952452 cites W1581792297 @default.
• W3102952452 cites W2583565909 @default.
• W3102952452 doi "https://doi.org/10.2168/lmcs-8(4:17)2012" @default.
• W3102952452 hasPublicationYear "2012" @default.
• W3102952452 type Work @default.
• W3102952452 sameAs 3102952452 @default.
• W3102952452 citedByCount "26" @default.
• W3102952452 countsByYear W31029524522012 @default.
• W3102952452 countsByYear W31029524522013 @default.
• W3102952452 countsByYear W31029524522014 @default.
• W3102952452 countsByYear W31029524522015 @default.
• W3102952452 countsByYear W31029524522016 @default.
• W3102952452 countsByYear W31029524522017 @default.
• W3102952452 countsByYear W31029524522018 @default.
• W3102952452 countsByYear W31029524522019 @default.
• W3102952452 countsByYear W31029524522020 @default.
• W3102952452 countsByYear W31029524522023 @default.
• W3102952452 crossrefType "journal-article" @default.
• W3102952452 hasAuthorship W3102952452A5080481427 @default.
• W3102952452 hasBestOaLocation W31029524521 @default.
• W3102952452 hasConcept C111030470 @default.
• W3102952452 hasConcept C112714845 @default.
• W3102952452 hasConcept C119857082 @default.
• W3102952452 hasConcept C120314980 @default.
• W3102952452 hasConcept C127413603 @default.
• W3102952452 hasConcept C134306372 @default.
• W3102952452 hasConcept C146978453 @default.
• W3102952452 hasConcept C154945302 @default.
• W3102952452 hasConcept C202444582 @default.
• W3102952452 hasConcept C25016198 @default.
• W3102952452 hasConcept C33676613 @default.
• W3102952452 hasConcept C33923547 @default.
• W3102952452 hasConcept C41008148 @default.
• W3102952452 hasConcept C50897621 @default.
• W3102952452 hasConcept C78045399 @default.
• W3102952452 hasConcept C80444323 @default.
• W3102952452 hasConcept C93226319 @default.
• W3102952452 hasConceptScore W3102952452C111030470 @default.
• W3102952452 hasConceptScore W3102952452C112714845 @default.
• W3102952452 hasConceptScore W3102952452C119857082 @default.
• W3102952452 hasConceptScore W3102952452C120314980 @default.
• W3102952452 hasConceptScore W3102952452C127413603 @default.
• W3102952452 hasConceptScore W3102952452C134306372 @default.
• W3102952452 hasConceptScore W3102952452C146978453 @default.
• W3102952452 hasConceptScore W3102952452C154945302 @default.
• W3102952452 hasConceptScore W3102952452C202444582 @default.
• W3102952452 hasConceptScore W3102952452C25016198 @default.
• W3102952452 hasConceptScore W3102952452C33676613 @default.
• W3102952452 hasConceptScore W3102952452C33923547 @default.
• W3102952452 hasConceptScore W3102952452C41008148 @default.
• W3102952452 hasConceptScore W3102952452C50897621 @default.
• W3102952452 hasConceptScore W3102952452C78045399 @default.
• W3102952452 hasConceptScore W3102952452C80444323 @default.
• W3102952452 hasConceptScore W3102952452C93226319 @default.
• W3102952452 hasIssue "4" @default.

• next