Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895557151> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2895557151 endingPage "2484" @default.
- W2895557151 startingPage "2474" @default.
- W2895557151 abstract "In current practice a formal analysis of hybrid system models is assertion-based. The work presented here is based on features that look beyond functional correctness toward a quantitative evaluation of behavioral attributes. A feature defines a real-valued evaluation function over a specific set of traces. This paper describes an improved method for the interpretation of features over hybrid automata models. It further demonstrates how satisfiability modulo theory solvers can be used for extracting behavioral traces corresponding to corner cases of a feature. Results are demonstrated on examples from the control and circuit domains." @default.
- W2895557151 created "2018-10-12" @default.
- W2895557151 creator A5033329960 @default.
- W2895557151 creator A5037758878 @default.
- W2895557151 creator A5039488370 @default.
- W2895557151 date "2018-11-01" @default.
- W2895557151 modified "2023-10-10" @default.
- W2895557151 title "Formal Feature Interpretation of Hybrid Systems" @default.
- W2895557151 cites W1977363041 @default.
- W2895557151 cites W2004463571 @default.
- W2895557151 cites W2124778357 @default.
- W2895557151 cites W2131441094 @default.
- W2895557151 cites W2154679417 @default.
- W2895557151 cites W2161425891 @default.
- W2895557151 cites W2336971804 @default.
- W2895557151 cites W2343845377 @default.
- W2895557151 cites W2567580527 @default.
- W2895557151 cites W2603189004 @default.
- W2895557151 cites W2617250276 @default.
- W2895557151 cites W2752563773 @default.
- W2895557151 doi "https://doi.org/10.1109/tcad.2018.2857361" @default.
- W2895557151 hasPublicationYear "2018" @default.
- W2895557151 type Work @default.
- W2895557151 sameAs 2895557151 @default.
- W2895557151 citedByCount "5" @default.
- W2895557151 countsByYear W28955571512020 @default.
- W2895557151 countsByYear W28955571512021 @default.
- W2895557151 countsByYear W28955571512022 @default.
- W2895557151 crossrefType "journal-article" @default.
- W2895557151 hasAuthorship W2895557151A5033329960 @default.
- W2895557151 hasAuthorship W2895557151A5037758878 @default.
- W2895557151 hasAuthorship W2895557151A5039488370 @default.
- W2895557151 hasBestOaLocation W28955571512 @default.
- W2895557151 hasConcept C111498074 @default.
- W2895557151 hasConcept C112505250 @default.
- W2895557151 hasConcept C11413529 @default.
- W2895557151 hasConcept C118615104 @default.
- W2895557151 hasConcept C138885662 @default.
- W2895557151 hasConcept C154945302 @default.
- W2895557151 hasConcept C164155591 @default.
- W2895557151 hasConcept C168773769 @default.
- W2895557151 hasConcept C177264268 @default.
- W2895557151 hasConcept C199360897 @default.
- W2895557151 hasConcept C2776401178 @default.
- W2895557151 hasConcept C2780654840 @default.
- W2895557151 hasConcept C33923547 @default.
- W2895557151 hasConcept C40422974 @default.
- W2895557151 hasConcept C41008148 @default.
- W2895557151 hasConcept C41895202 @default.
- W2895557151 hasConcept C527412718 @default.
- W2895557151 hasConcept C54732982 @default.
- W2895557151 hasConcept C55439883 @default.
- W2895557151 hasConcept C80444323 @default.
- W2895557151 hasConceptScore W2895557151C111498074 @default.
- W2895557151 hasConceptScore W2895557151C112505250 @default.
- W2895557151 hasConceptScore W2895557151C11413529 @default.
- W2895557151 hasConceptScore W2895557151C118615104 @default.
- W2895557151 hasConceptScore W2895557151C138885662 @default.
- W2895557151 hasConceptScore W2895557151C154945302 @default.
- W2895557151 hasConceptScore W2895557151C164155591 @default.
- W2895557151 hasConceptScore W2895557151C168773769 @default.
- W2895557151 hasConceptScore W2895557151C177264268 @default.
- W2895557151 hasConceptScore W2895557151C199360897 @default.
- W2895557151 hasConceptScore W2895557151C2776401178 @default.
- W2895557151 hasConceptScore W2895557151C2780654840 @default.
- W2895557151 hasConceptScore W2895557151C33923547 @default.
- W2895557151 hasConceptScore W2895557151C40422974 @default.
- W2895557151 hasConceptScore W2895557151C41008148 @default.
- W2895557151 hasConceptScore W2895557151C41895202 @default.
- W2895557151 hasConceptScore W2895557151C527412718 @default.
- W2895557151 hasConceptScore W2895557151C54732982 @default.
- W2895557151 hasConceptScore W2895557151C55439883 @default.
- W2895557151 hasConceptScore W2895557151C80444323 @default.
- W2895557151 hasFunder F4320306087 @default.
- W2895557151 hasIssue "11" @default.
- W2895557151 hasLocation W28955571511 @default.
- W2895557151 hasLocation W28955571512 @default.
- W2895557151 hasOpenAccess W2895557151 @default.
- W2895557151 hasPrimaryLocation W28955571511 @default.
- W2895557151 hasRelatedWork W1513749810 @default.
- W2895557151 hasRelatedWork W1689388462 @default.
- W2895557151 hasRelatedWork W1965965053 @default.
- W2895557151 hasRelatedWork W2040258684 @default.
- W2895557151 hasRelatedWork W2155162307 @default.
- W2895557151 hasRelatedWork W2210642749 @default.
- W2895557151 hasRelatedWork W2400691703 @default.
- W2895557151 hasRelatedWork W2401269204 @default.
- W2895557151 hasRelatedWork W2895557151 @default.
- W2895557151 hasRelatedWork W3098531965 @default.
- W2895557151 hasVolume "37" @default.
- W2895557151 isParatext "false" @default.
- W2895557151 isRetracted "false" @default.
- W2895557151 magId "2895557151" @default.
- W2895557151 workType "article" @default.