FRINK Linked Data Fragments server

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

• W2100081537 endingPage "8965" @default.
• W2100081537 startingPage "8960" @default.
• W2100081537 abstract "Ariadne is an in-progress open environment to design algorithms for computing with hybrid automata, that relies on a rigorous computable analysis theory to represent geometric objects, in order to achieve provable approximation bounds along the computations. In this paper we discuss the problem of reachability analysis of hybrid automata to decide safety properties. We describe in details the algorithm used in Ariadne to compute over-approximations of reachable sets. Then we show how it works on a simple example. Finally, we discuss the lower-approximation approach to the reachability problem and how to extend Ariadne to support it." @default.
• W2100081537 created "2016-06-24" @default.
• W2100081537 creator A5004398137 @default.
• W2100081537 creator A5019902087 @default.
• W2100081537 creator A5037880909 @default.
• W2100081537 creator A5052391923 @default.
• W2100081537 creator A5076225221 @default.
• W2100081537 creator A5084281460 @default.
• W2100081537 creator A5087985917 @default.
• W2100081537 creator A5088660554 @default.
• W2100081537 date "2008-01-01" @default.
• W2100081537 modified "2023-10-15" @default.
• W2100081537 title "Reachability computation for hybrid systems with Ariadne" @default.
• W2100081537 cites W1498285565 @default.
• W2100081537 cites W1499853177 @default.
• W2100081537 cites W1500068351 @default.
• W2100081537 cites W1585526574 @default.
• W2100081537 cites W1726255445 @default.
• W2100081537 cites W1874725288 @default.
• W2100081537 cites W1974537499 @default.
• W2100081537 cites W1994348879 @default.
• W2100081537 cites W1999629321 @default.
• W2100081537 cites W2000947342 @default.
• W2100081537 cites W2023384404 @default.
• W2100081537 cites W2023499821 @default.
• W2100081537 cites W2055960145 @default.
• W2100081537 cites W2060095702 @default.
• W2100081537 cites W2060369194 @default.
• W2100081537 cites W2099354898 @default.
• W2100081537 cites W2113700085 @default.
• W2100081537 cites W2137951255 @default.
• W2100081537 cites W2162196264 @default.
• W2100081537 cites W2163590987 @default.
• W2100081537 doi "https://doi.org/10.3182/20080706-5-kr-1001.01513" @default.
• W2100081537 hasPublicationYear "2008" @default.
• W2100081537 type Work @default.
• W2100081537 sameAs 2100081537 @default.
• W2100081537 citedByCount "24" @default.
• W2100081537 countsByYear W21000815372012 @default.
• W2100081537 countsByYear W21000815372013 @default.
• W2100081537 countsByYear W21000815372014 @default.
• W2100081537 countsByYear W21000815372015 @default.
• W2100081537 countsByYear W21000815372016 @default.
• W2100081537 countsByYear W21000815372017 @default.
• W2100081537 countsByYear W21000815372018 @default.
• W2100081537 countsByYear W21000815372019 @default.
• W2100081537 countsByYear W21000815372020 @default.
• W2100081537 countsByYear W21000815372021 @default.
• W2100081537 countsByYear W21000815372022 @default.
• W2100081537 countsByYear W21000815372023 @default.
• W2100081537 crossrefType "journal-article" @default.
• W2100081537 hasAuthorship W2100081537A5004398137 @default.
• W2100081537 hasAuthorship W2100081537A5019902087 @default.
• W2100081537 hasAuthorship W2100081537A5037880909 @default.
• W2100081537 hasAuthorship W2100081537A5052391923 @default.
• W2100081537 hasAuthorship W2100081537A5076225221 @default.
• W2100081537 hasAuthorship W2100081537A5084281460 @default.
• W2100081537 hasAuthorship W2100081537A5087985917 @default.
• W2100081537 hasAuthorship W2100081537A5088660554 @default.
• W2100081537 hasBestOaLocation W21000815372 @default.
• W2100081537 hasConcept C111472728 @default.
• W2100081537 hasConcept C112505250 @default.
• W2100081537 hasConcept C11413529 @default.
• W2100081537 hasConcept C119857082 @default.
• W2100081537 hasConcept C136643341 @default.
• W2100081537 hasConcept C138885662 @default.
• W2100081537 hasConcept C152062344 @default.
• W2100081537 hasConcept C27318111 @default.
• W2100081537 hasConcept C2777669093 @default.
• W2100081537 hasConcept C2780586882 @default.
• W2100081537 hasConcept C41008148 @default.
• W2100081537 hasConcept C45374587 @default.
• W2100081537 hasConcept C50897621 @default.
• W2100081537 hasConcept C80444323 @default.
• W2100081537 hasConceptScore W2100081537C111472728 @default.
• W2100081537 hasConceptScore W2100081537C112505250 @default.
• W2100081537 hasConceptScore W2100081537C11413529 @default.
• W2100081537 hasConceptScore W2100081537C119857082 @default.
• W2100081537 hasConceptScore W2100081537C136643341 @default.
• W2100081537 hasConceptScore W2100081537C138885662 @default.
• W2100081537 hasConceptScore W2100081537C152062344 @default.
• W2100081537 hasConceptScore W2100081537C27318111 @default.
• W2100081537 hasConceptScore W2100081537C2777669093 @default.
• W2100081537 hasConceptScore W2100081537C2780586882 @default.
• W2100081537 hasConceptScore W2100081537C41008148 @default.
• W2100081537 hasConceptScore W2100081537C45374587 @default.
• W2100081537 hasConceptScore W2100081537C50897621 @default.
• W2100081537 hasConceptScore W2100081537C80444323 @default.
• W2100081537 hasIssue "2" @default.
• W2100081537 hasLocation W21000815371 @default.
• W2100081537 hasLocation W21000815372 @default.
• W2100081537 hasOpenAccess W2100081537 @default.
• W2100081537 hasPrimaryLocation W21000815371 @default.
• W2100081537 hasRelatedWork W1554767603 @default.
• W2100081537 hasRelatedWork W2099490078 @default.
• W2100081537 hasRelatedWork W2100081537 @default.
• W2100081537 hasRelatedWork W2102105946 @default.
• W2100081537 hasRelatedWork W2130664212 @default.

• next