FRINK Linked Data Fragments server

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

• W2011979623 endingPage "798" @default.
• W2011979623 startingPage "782" @default.
• W2011979623 abstract "Established system relationships for discrete systems, such as language inclusion, simulation, and bisimulation, require system observations to be identical. When interacting with the physical world, modeled by continuous or hybrid systems, exact relationships are restrictive and not robust. In this paper, we develop the first framework of system approximation that applies to both discrete and continuous systems by developing notions of approximate language inclusion, approximate simulation, and approximate bisimulation relations. We define a hierarchy of approximation pseudo-metrics between two systems that quantify the quality of the approximation, and capture the established exact relationships as zero sections. Our approximation framework is compositional for a synchronous composition operator. Algorithms are developed for computing the proposed pseudo-metrics, both exactly and approximately. The exact algorithms require the generalization of the fixed point algorithms for computing simulation and bisimulation relations, or dually, the solution of a static game whose cost is the so-called branching distance between the systems. Approximations for the pseudo-metrics can be obtained by considering Lyapunov-like functions called simulation and bisimulation functions. We illustrate our approximation framework in reducing the complexity of safety verification problems for both deterministic and nondeterministic continuous systems" @default.
• W2011979623 created "2016-06-24" @default.
• W2011979623 creator A5018058427 @default.
• W2011979623 creator A5081751699 @default.
• W2011979623 date "2007-05-01" @default.
• W2011979623 modified "2023-10-16" @default.
• W2011979623 title "Approximation Metrics for Discrete and Continuous Systems" @default.
• W2011979623 cites W1488872683 @default.
• W2011979623 cites W1546768510 @default.
• W2011979623 cites W1565007974 @default.
• W2011979623 cites W1590943005 @default.
• W2011979623 cites W2015172530 @default.
• W2011979623 cites W2021473546 @default.
• W2011979623 cites W2061438988 @default.
• W2011979623 cites W2090771707 @default.
• W2011979623 cites W2090847457 @default.
• W2011979623 cites W2091316349 @default.
• W2011979623 cites W2108670836 @default.
• W2011979623 cites W2109080678 @default.
• W2011979623 cites W2113256684 @default.
• W2011979623 cites W2117218135 @default.
• W2011979623 cites W2137777756 @default.
• W2011979623 cites W2140907939 @default.
• W2011979623 cites W2157202548 @default.
• W2011979623 cites W2163870459 @default.
• W2011979623 doi "https://doi.org/10.1109/tac.2007.895849" @default.
• W2011979623 hasPublicationYear "2007" @default.
• W2011979623 type Work @default.
• W2011979623 sameAs 2011979623 @default.
• W2011979623 citedByCount "429" @default.
• W2011979623 countsByYear W20119796232012 @default.
• W2011979623 countsByYear W20119796232013 @default.
• W2011979623 countsByYear W20119796232014 @default.
• W2011979623 countsByYear W20119796232015 @default.
• W2011979623 countsByYear W20119796232016 @default.
• W2011979623 countsByYear W20119796232017 @default.
• W2011979623 countsByYear W20119796232018 @default.
• W2011979623 countsByYear W20119796232019 @default.
• W2011979623 countsByYear W20119796232020 @default.
• W2011979623 countsByYear W20119796232021 @default.
• W2011979623 countsByYear W20119796232022 @default.
• W2011979623 countsByYear W20119796232023 @default.
• W2011979623 crossrefType "journal-article" @default.
• W2011979623 hasAuthorship W2011979623A5018058427 @default.
• W2011979623 hasAuthorship W2011979623A5081751699 @default.
• W2011979623 hasBestOaLocation W20119796236 @default.
• W2011979623 hasConcept C104317684 @default.
• W2011979623 hasConcept C11413529 @default.
• W2011979623 hasConcept C126255220 @default.
• W2011979623 hasConcept C134306372 @default.
• W2011979623 hasConcept C135315306 @default.
• W2011979623 hasConcept C158448853 @default.
• W2011979623 hasConcept C17020691 @default.
• W2011979623 hasConcept C176181172 @default.
• W2011979623 hasConcept C177148314 @default.
• W2011979623 hasConcept C185592680 @default.
• W2011979623 hasConcept C33923547 @default.
• W2011979623 hasConcept C41008148 @default.
• W2011979623 hasConcept C55493867 @default.
• W2011979623 hasConcept C80444323 @default.
• W2011979623 hasConcept C86339819 @default.
• W2011979623 hasConceptScore W2011979623C104317684 @default.
• W2011979623 hasConceptScore W2011979623C11413529 @default.
• W2011979623 hasConceptScore W2011979623C126255220 @default.
• W2011979623 hasConceptScore W2011979623C134306372 @default.
• W2011979623 hasConceptScore W2011979623C135315306 @default.
• W2011979623 hasConceptScore W2011979623C158448853 @default.
• W2011979623 hasConceptScore W2011979623C17020691 @default.
• W2011979623 hasConceptScore W2011979623C176181172 @default.
• W2011979623 hasConceptScore W2011979623C177148314 @default.
• W2011979623 hasConceptScore W2011979623C185592680 @default.
• W2011979623 hasConceptScore W2011979623C33923547 @default.
• W2011979623 hasConceptScore W2011979623C41008148 @default.
• W2011979623 hasConceptScore W2011979623C55493867 @default.
• W2011979623 hasConceptScore W2011979623C80444323 @default.
• W2011979623 hasConceptScore W2011979623C86339819 @default.
• W2011979623 hasIssue "5" @default.
• W2011979623 hasLocation W20119796231 @default.
• W2011979623 hasLocation W20119796232 @default.
• W2011979623 hasLocation W20119796233 @default.
• W2011979623 hasLocation W20119796234 @default.
• W2011979623 hasLocation W20119796235 @default.
• W2011979623 hasLocation W20119796236 @default.
• W2011979623 hasLocation W20119796237 @default.
• W2011979623 hasLocation W20119796238 @default.
• W2011979623 hasOpenAccess W2011979623 @default.
• W2011979623 hasPrimaryLocation W20119796231 @default.
• W2011979623 hasRelatedWork W1518436864 @default.
• W2011979623 hasRelatedWork W1597181838 @default.
• W2011979623 hasRelatedWork W1601878028 @default.
• W2011979623 hasRelatedWork W1934456451 @default.
• W2011979623 hasRelatedWork W2021320977 @default.
• W2011979623 hasRelatedWork W2114998520 @default.
• W2011979623 hasRelatedWork W2894682923 @default.
• W2011979623 hasRelatedWork W2996270380 @default.
• W2011979623 hasRelatedWork W4232009464 @default.
• W2011979623 hasRelatedWork W2116206854 @default.
• W2011979623 hasVolume "52" @default.

• next