Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569688832> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1569688832 abstract "The specification matching problem in embedded systems is to determine whether an existing component may be adapted suitably to match the requirements of a new specification. Recently, a refinement called forced simulation has been introduced to formally address this problem. It has been established that when a forced similarity relation exists between a component and its specification, an adapter process can be constructed so that the composition of the adapter and the component fulfil the specification. This looks very similar to synthesis methods in supervisory control theory, where a controller is constructed to make a plant satisfy a desired specification. However, due to the need for state-based hiding in specification matching, supervisory control theory is not directly applicable. This paper develops a supervisory control based solution to the specification matching problem by modifying the problem representation. Subsequently, a comparison of the forced simulation and supervisory control based specification matching methods is made." @default.
- W1569688832 created "2016-06-24" @default.
- W1569688832 creator A5009427975 @default.
- W1569688832 creator A5076621370 @default.
- W1569688832 date "2005-01-01" @default.
- W1569688832 modified "2023-09-23" @default.
- W1569688832 title "Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study" @default.
- W1569688832 cites W1497487247 @default.
- W1569688832 cites W1607643745 @default.
- W1569688832 cites W1756287061 @default.
- W1569688832 cites W1975255815 @default.
- W1569688832 cites W1986909802 @default.
- W1569688832 cites W2027167791 @default.
- W1569688832 cites W2035939251 @default.
- W1569688832 cites W2059057465 @default.
- W1569688832 cites W2059228207 @default.
- W1569688832 cites W2088321462 @default.
- W1569688832 cites W2115350349 @default.
- W1569688832 cites W2132107743 @default.
- W1569688832 cites W2163008980 @default.
- W1569688832 cites W2205337852 @default.
- W1569688832 cites W2328819335 @default.
- W1569688832 cites W2490203607 @default.
- W1569688832 cites W2135482679 @default.
- W1569688832 doi "https://doi.org/10.1007/11589976_4" @default.
- W1569688832 hasPublicationYear "2005" @default.
- W1569688832 type Work @default.
- W1569688832 sameAs 1569688832 @default.
- W1569688832 citedByCount "0" @default.
- W1569688832 crossrefType "book-chapter" @default.
- W1569688832 hasAuthorship W1569688832A5009427975 @default.
- W1569688832 hasAuthorship W1569688832A5076621370 @default.
- W1569688832 hasConcept C115903868 @default.
- W1569688832 hasConcept C116253237 @default.
- W1569688832 hasConcept C121332964 @default.
- W1569688832 hasConcept C154945302 @default.
- W1569688832 hasConcept C168167062 @default.
- W1569688832 hasConcept C177284502 @default.
- W1569688832 hasConcept C186846655 @default.
- W1569688832 hasConcept C199360897 @default.
- W1569688832 hasConcept C201677973 @default.
- W1569688832 hasConcept C2775924081 @default.
- W1569688832 hasConcept C2777904410 @default.
- W1569688832 hasConcept C2778693208 @default.
- W1569688832 hasConcept C41008148 @default.
- W1569688832 hasConcept C529173508 @default.
- W1569688832 hasConcept C57371142 @default.
- W1569688832 hasConcept C75606506 @default.
- W1569688832 hasConcept C80444323 @default.
- W1569688832 hasConcept C84651959 @default.
- W1569688832 hasConcept C92991967 @default.
- W1569688832 hasConcept C9390403 @default.
- W1569688832 hasConcept C97355855 @default.
- W1569688832 hasConceptScore W1569688832C115903868 @default.
- W1569688832 hasConceptScore W1569688832C116253237 @default.
- W1569688832 hasConceptScore W1569688832C121332964 @default.
- W1569688832 hasConceptScore W1569688832C154945302 @default.
- W1569688832 hasConceptScore W1569688832C168167062 @default.
- W1569688832 hasConceptScore W1569688832C177284502 @default.
- W1569688832 hasConceptScore W1569688832C186846655 @default.
- W1569688832 hasConceptScore W1569688832C199360897 @default.
- W1569688832 hasConceptScore W1569688832C201677973 @default.
- W1569688832 hasConceptScore W1569688832C2775924081 @default.
- W1569688832 hasConceptScore W1569688832C2777904410 @default.
- W1569688832 hasConceptScore W1569688832C2778693208 @default.
- W1569688832 hasConceptScore W1569688832C41008148 @default.
- W1569688832 hasConceptScore W1569688832C529173508 @default.
- W1569688832 hasConceptScore W1569688832C57371142 @default.
- W1569688832 hasConceptScore W1569688832C75606506 @default.
- W1569688832 hasConceptScore W1569688832C80444323 @default.
- W1569688832 hasConceptScore W1569688832C84651959 @default.
- W1569688832 hasConceptScore W1569688832C92991967 @default.
- W1569688832 hasConceptScore W1569688832C9390403 @default.
- W1569688832 hasConceptScore W1569688832C97355855 @default.
- W1569688832 hasLocation W15696888321 @default.
- W1569688832 hasOpenAccess W1569688832 @default.
- W1569688832 hasPrimaryLocation W15696888321 @default.
- W1569688832 hasRelatedWork W1532058475 @default.
- W1569688832 hasRelatedWork W1652311832 @default.
- W1569688832 hasRelatedWork W2118300983 @default.
- W1569688832 hasRelatedWork W2135396778 @default.
- W1569688832 hasRelatedWork W2166247150 @default.
- W1569688832 hasRelatedWork W2243428364 @default.
- W1569688832 hasRelatedWork W2462453872 @default.
- W1569688832 hasRelatedWork W3207171446 @default.
- W1569688832 hasRelatedWork W4243252198 @default.
- W1569688832 hasRelatedWork W4245713008 @default.
- W1569688832 isParatext "false" @default.
- W1569688832 isRetracted "false" @default.
- W1569688832 magId "1569688832" @default.
- W1569688832 workType "book-chapter" @default.