FRINK Linked Data Fragments server

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

• W2887757675 abstract "In this paper, we provide a toolchain that facilitates the integration of formal verification techniques into model-based design. Applying verification tools to industrially relevant models requires three main ingredients: a formal model, a formal verification method, and a set of formal specifications. Our focus is on hybrid automata as the model and on reachability analysis as the method. Much progress has been made towards developing efficient and scalable reachability algorithms tailored to hybrid automata. However, it is not easy to encode rich formal specifications such that they can be interpreted by existing tools for reachability. Herein, we consider specifications expressed in pattern templates which are predefined properties with placeholders for state predicates. Pattern templates are close to the natural language and can be easily understood by both expert and non-expert users. We provide (i) formal definitions for selected patterns in the formalism of hybrid automata and (ii) monitors which encode the properties as the reachability of an error state. By composing these monitors with the formal model under study, the property can be checked by off-the-shelf fully automated verification tools. We illustrate the workflow on an electro-mechanical brake use case." @default.
• W2887757675 created "2018-08-22" @default.
• W2887757675 creator A5036103144 @default.
• W2887757675 creator A5039488370 @default.
• W2887757675 creator A5048861762 @default.
• W2887757675 creator A5052399473 @default.
• W2887757675 creator A5059639117 @default.
• W2887757675 creator A5074163346 @default.
• W2887757675 creator A5083608653 @default.
• W2887757675 date "2018-06-01" @default.
• W2887757675 modified "2023-09-27" @default.
• W2887757675 title "A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates" @default.
• W2887757675 cites W1025423628 @default.
• W2887757675 cites W1990350596 @default.
• W2887757675 cites W1996832037 @default.
• W2887757675 cites W2004463571 @default.
• W2887757675 cites W2023808162 @default.
• W2887757675 cites W2033455284 @default.
• W2887757675 cites W2064316219 @default.
• W2887757675 cites W2085838366 @default.
• W2887757675 cites W2101493333 @default.
• W2887757675 cites W2110910849 @default.
• W2887757675 cites W2115802893 @default.
• W2887757675 cites W2145835888 @default.
• W2887757675 cites W2149713648 @default.
• W2887757675 cites W2152863619 @default.
• W2887757675 cites W2158381251 @default.
• W2887757675 cites W2166802518 @default.
• W2887757675 cites W2187020956 @default.
• W2887757675 cites W2221585980 @default.
• W2887757675 cites W2338852180 @default.
• W2887757675 cites W2605819566 @default.
• W2887757675 cites W2741510978 @default.
• W2887757675 cites W2956034981 @default.
• W2887757675 cites W4292318939 @default.
• W2887757675 doi "https://doi.org/10.23919/acc.2018.8431324" @default.
• W2887757675 hasPublicationYear "2018" @default.
• W2887757675 type Work @default.
• W2887757675 sameAs 2887757675 @default.
• W2887757675 citedByCount "7" @default.
• W2887757675 countsByYear W28877576752017 @default.
• W2887757675 countsByYear W28877576752019 @default.
• W2887757675 countsByYear W28877576752020 @default.
• W2887757675 countsByYear W28877576752021 @default.
• W2887757675 countsByYear W28877576752022 @default.
• W2887757675 countsByYear W28877576752023 @default.
• W2887757675 crossrefType "proceedings-article" @default.
• W2887757675 hasAuthorship W2887757675A5036103144 @default.
• W2887757675 hasAuthorship W2887757675A5039488370 @default.
• W2887757675 hasAuthorship W2887757675A5048861762 @default.
• W2887757675 hasAuthorship W2887757675A5052399473 @default.
• W2887757675 hasAuthorship W2887757675A5059639117 @default.
• W2887757675 hasAuthorship W2887757675A5074163346 @default.
• W2887757675 hasAuthorship W2887757675A5083608653 @default.
• W2887757675 hasConcept C104317684 @default.
• W2887757675 hasConcept C110251889 @default.
• W2887757675 hasConcept C111498074 @default.
• W2887757675 hasConcept C112505250 @default.
• W2887757675 hasConcept C116253237 @default.
• W2887757675 hasConcept C136643341 @default.
• W2887757675 hasConcept C167822520 @default.
• W2887757675 hasConcept C185592680 @default.
• W2887757675 hasConcept C199360897 @default.
• W2887757675 hasConcept C2777062904 @default.
• W2887757675 hasConcept C2777904410 @default.
• W2887757675 hasConcept C41008148 @default.
• W2887757675 hasConcept C48044578 @default.
• W2887757675 hasConcept C55493867 @default.
• W2887757675 hasConcept C66746571 @default.
• W2887757675 hasConcept C75606506 @default.
• W2887757675 hasConcept C77088390 @default.
• W2887757675 hasConcept C80444323 @default.
• W2887757675 hasConcept C82714645 @default.
• W2887757675 hasConceptScore W2887757675C104317684 @default.
• W2887757675 hasConceptScore W2887757675C110251889 @default.
• W2887757675 hasConceptScore W2887757675C111498074 @default.
• W2887757675 hasConceptScore W2887757675C112505250 @default.
• W2887757675 hasConceptScore W2887757675C116253237 @default.
• W2887757675 hasConceptScore W2887757675C136643341 @default.
• W2887757675 hasConceptScore W2887757675C167822520 @default.
• W2887757675 hasConceptScore W2887757675C185592680 @default.
• W2887757675 hasConceptScore W2887757675C199360897 @default.
• W2887757675 hasConceptScore W2887757675C2777062904 @default.
• W2887757675 hasConceptScore W2887757675C2777904410 @default.
• W2887757675 hasConceptScore W2887757675C41008148 @default.
• W2887757675 hasConceptScore W2887757675C48044578 @default.
• W2887757675 hasConceptScore W2887757675C55493867 @default.
• W2887757675 hasConceptScore W2887757675C66746571 @default.
• W2887757675 hasConceptScore W2887757675C75606506 @default.
• W2887757675 hasConceptScore W2887757675C77088390 @default.
• W2887757675 hasConceptScore W2887757675C80444323 @default.
• W2887757675 hasConceptScore W2887757675C82714645 @default.
• W2887757675 hasLocation W28877576751 @default.
• W2887757675 hasOpenAccess W2887757675 @default.
• W2887757675 hasPrimaryLocation W28877576751 @default.
• W2887757675 hasRelatedWork W1518566078 @default.
• W2887757675 hasRelatedWork W1526719226 @default.
• W2887757675 hasRelatedWork W1854878948 @default.
• W2887757675 hasRelatedWork W2073200103 @default.
• W2887757675 hasRelatedWork W2139930485 @default.

• next