FRINK Linked Data Fragments server

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

• W2114540411 endingPage "1267" @default.
• W2114540411 startingPage "1259" @default.
• W2114540411 abstract "In this paper we introduce the problem of reachability analysis of hybrid automata to decide safety properties. Then we describe ARIADNE, an in-progress open environment to design algorithms for computing with hybrid automata. We show that ARIADNE relies on a rigorous computable analysis theory to represent geometric objects, in order to achieve provable approximation bounds along the computations. The proposed tool differs from existing ones because it relies on a sound theoretical basis for the semantics of operators in continuous space and time, making available exact and approximate, but error-bounded operations on geometric points and sets. Currently the geometry module is substantially completed, and work is in progress on the evaluation module. As a first application, we will use ARIADNE to compute the reachable sets of a challenging collection of benchmarks whose safety properties have practical interest." @default.
• W2114540411 created "2016-06-24" @default.
• W2114540411 creator A5004398137 @default.
• W2114540411 creator A5019902087 @default.
• W2114540411 creator A5052391923 @default.
• W2114540411 creator A5077164435 @default.
• W2114540411 creator A5084281460 @default.
• W2114540411 creator A5088660554 @default.
• W2114540411 date "2006-01-01" @default.
• W2114540411 modified "2023-10-06" @default.
• W2114540411 title "Ariadne: a Framework for Reachability Analysis of Hybrid Automata" @default.
• W2114540411 cites W132366648 @default.
• W2114540411 cites W1489150842 @default.
• W2114540411 cites W1498285565 @default.
• W2114540411 cites W1499853177 @default.
• W2114540411 cites W1500068351 @default.
• W2114540411 cites W1575974143 @default.
• W2114540411 cites W1585526574 @default.
• W2114540411 cites W1726255445 @default.
• W2114540411 cites W1823037702 @default.
• W2114540411 cites W1874725288 @default.
• W2114540411 cites W1995691455 @default.
• W2114540411 cites W2000947342 @default.
• W2114540411 cites W2023384404 @default.
• W2114540411 cites W2023499821 @default.
• W2114540411 cites W2042021490 @default.
• W2114540411 cites W2055960145 @default.
• W2114540411 cites W2060095702 @default.
• W2114540411 cites W2069394813 @default.
• W2114540411 cites W2074429597 @default.
• W2114540411 cites W2099165995 @default.
• W2114540411 cites W2107164313 @default.
• W2114540411 cites W2113700085 @default.
• W2114540411 cites W2137951255 @default.
• W2114540411 cites W2162196264 @default.
• W2114540411 cites W2163590987 @default.
• W2114540411 cites W3182252275 @default.
• W2114540411 hasPublicationYear "2006" @default.
• W2114540411 type Work @default.
• W2114540411 sameAs 2114540411 @default.
• W2114540411 citedByCount "18" @default.
• W2114540411 countsByYear W21145404112012 @default.
• W2114540411 countsByYear W21145404112013 @default.
• W2114540411 countsByYear W21145404112014 @default.
• W2114540411 countsByYear W21145404112016 @default.
• W2114540411 countsByYear W21145404112017 @default.
• W2114540411 countsByYear W21145404112019 @default.
• W2114540411 countsByYear W21145404112021 @default.
• W2114540411 crossrefType "journal-article" @default.
• W2114540411 hasAuthorship W2114540411A5004398137 @default.
• W2114540411 hasAuthorship W2114540411A5019902087 @default.
• W2114540411 hasAuthorship W2114540411A5052391923 @default.
• W2114540411 hasAuthorship W2114540411A5077164435 @default.
• W2114540411 hasAuthorship W2114540411A5084281460 @default.
• W2114540411 hasAuthorship W2114540411A5088660554 @default.
• W2114540411 hasConcept C112505250 @default.
• W2114540411 hasConcept C11413529 @default.
• W2114540411 hasConcept C119857082 @default.
• W2114540411 hasConcept C134306372 @default.
• W2114540411 hasConcept C136643341 @default.
• W2114540411 hasConcept C152062344 @default.
• W2114540411 hasConcept C184337299 @default.
• W2114540411 hasConcept C199360897 @default.
• W2114540411 hasConcept C27318111 @default.
• W2114540411 hasConcept C2777669093 @default.
• W2114540411 hasConcept C33923547 @default.
• W2114540411 hasConcept C34388435 @default.
• W2114540411 hasConcept C41008148 @default.
• W2114540411 hasConcept C45374587 @default.
• W2114540411 hasConcept C50897621 @default.
• W2114540411 hasConcept C80444323 @default.
• W2114540411 hasConceptScore W2114540411C112505250 @default.
• W2114540411 hasConceptScore W2114540411C11413529 @default.
• W2114540411 hasConceptScore W2114540411C119857082 @default.
• W2114540411 hasConceptScore W2114540411C134306372 @default.
• W2114540411 hasConceptScore W2114540411C136643341 @default.
• W2114540411 hasConceptScore W2114540411C152062344 @default.
• W2114540411 hasConceptScore W2114540411C184337299 @default.
• W2114540411 hasConceptScore W2114540411C199360897 @default.
• W2114540411 hasConceptScore W2114540411C27318111 @default.
• W2114540411 hasConceptScore W2114540411C2777669093 @default.
• W2114540411 hasConceptScore W2114540411C33923547 @default.
• W2114540411 hasConceptScore W2114540411C34388435 @default.
• W2114540411 hasConceptScore W2114540411C41008148 @default.
• W2114540411 hasConceptScore W2114540411C45374587 @default.
• W2114540411 hasConceptScore W2114540411C50897621 @default.
• W2114540411 hasConceptScore W2114540411C80444323 @default.
• W2114540411 hasLocation W21145404111 @default.
• W2114540411 hasOpenAccess W2114540411 @default.
• W2114540411 hasPrimaryLocation W21145404111 @default.
• W2114540411 hasRelatedWork W1499853177 @default.
• W2114540411 hasRelatedWork W1509579779 @default.
• W2114540411 hasRelatedWork W1522694098 @default.
• W2114540411 hasRelatedWork W1571820784 @default.
• W2114540411 hasRelatedWork W1585526574 @default.
• W2114540411 hasRelatedWork W172589331 @default.
• W2114540411 hasRelatedWork W1986759818 @default.
• W2114540411 hasRelatedWork W1999629321 @default.

• next