FRINK Linked Data Fragments server

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

• W2295694814 endingPage "167" @default.
• W2295694814 startingPage "152" @default.
• W2295694814 abstract "This paper is concerned with model-based testing of hybrid systems. The first result is an algorithm for test generation which enhances the coverage of critical trajectories by using a random walk. The second result is a framework for practical testing that includes a state estimator. When the state of a system under test cannot be directly observed, it is necessary to reconstruct the trajectory of the real system in order to produce a verdict whether the system violates a property. To do so, we integrate in our tester a hybrid observer, the goal of which is to provide an estimate for the current location and the continuous state of the system under test based on the information on the input and the output of the system." @default.
• W2295694814 created "2016-06-24" @default.
• W2295694814 creator A5046777407 @default.
• W2295694814 creator A5052324403 @default.
• W2295694814 date "2012-01-01" @default.
• W2295694814 modified "2023-10-13" @default.
• W2295694814 title "State Estimation and Property-Guided Exploration for Hybrid Systems Testing" @default.
• W2295694814 cites W116204029 @default.
• W2295694814 cites W142679335 @default.
• W2295694814 cites W1508536183 @default.
• W2295694814 cites W1591241081 @default.
• W2295694814 cites W1980467795 @default.
• W2295694814 cites W198091129 @default.
• W2295694814 cites W2004463571 @default.
• W2295694814 cites W2052099679 @default.
• W2295694814 cites W2071225480 @default.
• W2295694814 cites W2080932760 @default.
• W2295694814 cites W2098816895 @default.
• W2295694814 cites W2102318306 @default.
• W2295694814 cites W2120916408 @default.
• W2295694814 cites W2168033597 @default.
• W2295694814 cites W4231916799 @default.
• W2295694814 doi "https://doi.org/10.1007/978-3-642-34691-0_12" @default.
• W2295694814 hasPublicationYear "2012" @default.
• W2295694814 type Work @default.
• W2295694814 sameAs 2295694814 @default.
• W2295694814 citedByCount "3" @default.
• W2295694814 countsByYear W22956948142014 @default.
• W2295694814 countsByYear W22956948142015 @default.
• W2295694814 crossrefType "book-chapter" @default.
• W2295694814 hasAuthorship W2295694814A5046777407 @default.
• W2295694814 hasAuthorship W2295694814A5052324403 @default.
• W2295694814 hasBestOaLocation W22956948141 @default.
• W2295694814 hasConcept C105795698 @default.
• W2295694814 hasConcept C106159264 @default.
• W2295694814 hasConcept C111472728 @default.
• W2295694814 hasConcept C11413529 @default.
• W2295694814 hasConcept C119857082 @default.
• W2295694814 hasConcept C121332964 @default.
• W2295694814 hasConcept C1276947 @default.
• W2295694814 hasConcept C128942645 @default.
• W2295694814 hasConcept C13662910 @default.
• W2295694814 hasConcept C138885662 @default.
• W2295694814 hasConcept C152877465 @default.
• W2295694814 hasConcept C154945302 @default.
• W2295694814 hasConcept C185429906 @default.
• W2295694814 hasConcept C189950617 @default.
• W2295694814 hasConcept C2775924081 @default.
• W2295694814 hasConcept C2780704645 @default.
• W2295694814 hasConcept C2984536560 @default.
• W2295694814 hasConcept C33923547 @default.
• W2295694814 hasConcept C41008148 @default.
• W2295694814 hasConcept C47446073 @default.
• W2295694814 hasConcept C48103436 @default.
• W2295694814 hasConcept C50897621 @default.
• W2295694814 hasConcept C62520636 @default.
• W2295694814 hasConceptScore W2295694814C105795698 @default.
• W2295694814 hasConceptScore W2295694814C106159264 @default.
• W2295694814 hasConceptScore W2295694814C111472728 @default.
• W2295694814 hasConceptScore W2295694814C11413529 @default.
• W2295694814 hasConceptScore W2295694814C119857082 @default.
• W2295694814 hasConceptScore W2295694814C121332964 @default.
• W2295694814 hasConceptScore W2295694814C1276947 @default.
• W2295694814 hasConceptScore W2295694814C128942645 @default.
• W2295694814 hasConceptScore W2295694814C13662910 @default.
• W2295694814 hasConceptScore W2295694814C138885662 @default.
• W2295694814 hasConceptScore W2295694814C152877465 @default.
• W2295694814 hasConceptScore W2295694814C154945302 @default.
• W2295694814 hasConceptScore W2295694814C185429906 @default.
• W2295694814 hasConceptScore W2295694814C189950617 @default.
• W2295694814 hasConceptScore W2295694814C2775924081 @default.
• W2295694814 hasConceptScore W2295694814C2780704645 @default.
• W2295694814 hasConceptScore W2295694814C2984536560 @default.
• W2295694814 hasConceptScore W2295694814C33923547 @default.
• W2295694814 hasConceptScore W2295694814C41008148 @default.
• W2295694814 hasConceptScore W2295694814C47446073 @default.
• W2295694814 hasConceptScore W2295694814C48103436 @default.
• W2295694814 hasConceptScore W2295694814C50897621 @default.
• W2295694814 hasConceptScore W2295694814C62520636 @default.
• W2295694814 hasLocation W22956948141 @default.
• W2295694814 hasLocation W22956948142 @default.
• W2295694814 hasLocation W22956948143 @default.
• W2295694814 hasLocation W22956948144 @default.
• W2295694814 hasOpenAccess W2295694814 @default.
• W2295694814 hasPrimaryLocation W22956948141 @default.
• W2295694814 hasRelatedWork W2024277665 @default.
• W2295694814 hasRelatedWork W2122128531 @default.
• W2295694814 hasRelatedWork W2153411587 @default.
• W2295694814 hasRelatedWork W2153649445 @default.
• W2295694814 hasRelatedWork W2356589535 @default.
• W2295694814 hasRelatedWork W2951733093 @default.
• W2295694814 hasRelatedWork W4206631173 @default.
• W2295694814 hasRelatedWork W4256425792 @default.
• W2295694814 hasRelatedWork W4323768008 @default.
• W2295694814 hasRelatedWork W614198812 @default.
• W2295694814 isParatext "false" @default.
• W2295694814 isRetracted "false" @default.
• W2295694814 magId "2295694814" @default.

• next