Matches in SemOpenAlex for { <https://semopenalex.org/work/W2425104583> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2425104583 abstract "Although supervisory control synthesis has been around for many years, adoption is still low. A weak point of synthesis is the absence of a reporting mechanism. When an empty or unexpected supervisor is returned, it is very difficult to explain why this is the case. It is desired to return an explanation for a question, like, “Why is my supervisor empty?”. In general, the information needed to provide such an explanation is not present in the synthesized result. In this paper, causes (explanations) are generated for questions regarding the absence of behavior in the synthesized system. To this end, it is first investigated what information is needed and how it should be stored. Based on these findings, information of the influence of each requirement is encoded in the supervisor. This is done by annotating colors. The resulting so-called colored predicates can be used after synthesis to derive a cause for a given question." @default.
- W2425104583 created "2016-06-24" @default.
- W2425104583 creator A5017870274 @default.
- W2425104583 creator A5040487816 @default.
- W2425104583 creator A5044984276 @default.
- W2425104583 creator A5078610814 @default.
- W2425104583 date "2016-05-01" @default.
- W2425104583 modified "2023-09-27" @default.
- W2425104583 title "Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors" @default.
- W2425104583 cites W1511405608 @default.
- W2425104583 cites W1971353392 @default.
- W2425104583 cites W1979349468 @default.
- W2425104583 cites W1995862561 @default.
- W2425104583 cites W2079550554 @default.
- W2425104583 cites W2099551858 @default.
- W2425104583 cites W2122259599 @default.
- W2425104583 cites W2136138373 @default.
- W2425104583 cites W2140197499 @default.
- W2425104583 cites W2150336837 @default.
- W2425104583 cites W2158870716 @default.
- W2425104583 cites W2159300058 @default.
- W2425104583 cites W2172083724 @default.
- W2425104583 cites W83902219 @default.
- W2425104583 cites W278158007 @default.
- W2425104583 doi "https://doi.org/10.1109/wodes.2016.7497820" @default.
- W2425104583 hasPublicationYear "2016" @default.
- W2425104583 type Work @default.
- W2425104583 sameAs 2425104583 @default.
- W2425104583 citedByCount "2" @default.
- W2425104583 countsByYear W24251045832016 @default.
- W2425104583 countsByYear W24251045832019 @default.
- W2425104583 crossrefType "proceedings-article" @default.
- W2425104583 hasAuthorship W2425104583A5017870274 @default.
- W2425104583 hasAuthorship W2425104583A5040487816 @default.
- W2425104583 hasAuthorship W2425104583A5044984276 @default.
- W2425104583 hasAuthorship W2425104583A5078610814 @default.
- W2425104583 hasConcept C107457646 @default.
- W2425104583 hasConcept C111472728 @default.
- W2425104583 hasConcept C138885662 @default.
- W2425104583 hasConcept C154945302 @default.
- W2425104583 hasConcept C15744967 @default.
- W2425104583 hasConcept C162324750 @default.
- W2425104583 hasConcept C187736073 @default.
- W2425104583 hasConcept C2524010 @default.
- W2425104583 hasConcept C2775924081 @default.
- W2425104583 hasConcept C2779110517 @default.
- W2425104583 hasConcept C28719098 @default.
- W2425104583 hasConcept C33923547 @default.
- W2425104583 hasConcept C41008148 @default.
- W2425104583 hasConcept C56739046 @default.
- W2425104583 hasConcept C89611455 @default.
- W2425104583 hasConcept C92991967 @default.
- W2425104583 hasConceptScore W2425104583C107457646 @default.
- W2425104583 hasConceptScore W2425104583C111472728 @default.
- W2425104583 hasConceptScore W2425104583C138885662 @default.
- W2425104583 hasConceptScore W2425104583C154945302 @default.
- W2425104583 hasConceptScore W2425104583C15744967 @default.
- W2425104583 hasConceptScore W2425104583C162324750 @default.
- W2425104583 hasConceptScore W2425104583C187736073 @default.
- W2425104583 hasConceptScore W2425104583C2524010 @default.
- W2425104583 hasConceptScore W2425104583C2775924081 @default.
- W2425104583 hasConceptScore W2425104583C2779110517 @default.
- W2425104583 hasConceptScore W2425104583C28719098 @default.
- W2425104583 hasConceptScore W2425104583C33923547 @default.
- W2425104583 hasConceptScore W2425104583C41008148 @default.
- W2425104583 hasConceptScore W2425104583C56739046 @default.
- W2425104583 hasConceptScore W2425104583C89611455 @default.
- W2425104583 hasConceptScore W2425104583C92991967 @default.
- W2425104583 hasLocation W24251045831 @default.
- W2425104583 hasOpenAccess W2425104583 @default.
- W2425104583 hasPrimaryLocation W24251045831 @default.
- W2425104583 hasRelatedWork W1970606176 @default.
- W2425104583 hasRelatedWork W1974748137 @default.
- W2425104583 hasRelatedWork W2010988222 @default.
- W2425104583 hasRelatedWork W2047265301 @default.
- W2425104583 hasRelatedWork W2061681386 @default.
- W2425104583 hasRelatedWork W2069527837 @default.
- W2425104583 hasRelatedWork W2092719950 @default.
- W2425104583 hasRelatedWork W2104937193 @default.
- W2425104583 hasRelatedWork W2115345384 @default.
- W2425104583 hasRelatedWork W226926194 @default.
- W2425104583 hasRelatedWork W2313784331 @default.
- W2425104583 hasRelatedWork W236751250 @default.
- W2425104583 hasRelatedWork W2415799712 @default.
- W2425104583 hasRelatedWork W2477579696 @default.
- W2425104583 hasRelatedWork W2484157023 @default.
- W2425104583 hasRelatedWork W2900498652 @default.
- W2425104583 hasRelatedWork W41694682 @default.
- W2425104583 hasRelatedWork W851358979 @default.
- W2425104583 hasRelatedWork W957052765 @default.
- W2425104583 hasRelatedWork W2149573497 @default.
- W2425104583 isParatext "false" @default.
- W2425104583 isRetracted "false" @default.
- W2425104583 magId "2425104583" @default.
- W2425104583 workType "article" @default.