Matches in SemOpenAlex for { <https://semopenalex.org/work/W779484546> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W779484546 abstract "We use state-based supervisory control theory to synthesize control software for highly complex machines. We translate intuitive, informal state-based requirements into formal state-based requirement expressions. We have identified three formal forms of expressions, which naturally follow from the informal requirements. These forms are not compatible with the current tooling for supervisory controller synthesis. A conversion algorithm is derived and implemented in a tool. The tool is a preprocessing step for the existing tooling for supervisory controller synthesis. We applied the tool in a case study regarding complex printing systems for Oc´e Technologies B.V. The proposed 50 state-based requirement expressions in our framework translated to 200+ input expressions for the existing state-based supervisory controller tooling." @default.
- W779484546 created "2016-06-24" @default.
- W779484546 creator A5017870274 @default.
- W779484546 creator A5054574154 @default.
- W779484546 creator A5055540408 @default.
- W779484546 creator A5078018557 @default.
- W779484546 creator A5084096043 @default.
- W779484546 date "2009-01-01" @default.
- W779484546 modified "2023-09-24" @default.
- W779484546 title "Specifying state-based supervisory control requirements" @default.
- W779484546 hasPublicationYear "2009" @default.
- W779484546 type Work @default.
- W779484546 sameAs 779484546 @default.
- W779484546 citedByCount "1" @default.
- W779484546 countsByYear W7794845462020 @default.
- W779484546 crossrefType "journal-article" @default.
- W779484546 hasAuthorship W779484546A5017870274 @default.
- W779484546 hasAuthorship W779484546A5054574154 @default.
- W779484546 hasAuthorship W779484546A5055540408 @default.
- W779484546 hasAuthorship W779484546A5078018557 @default.
- W779484546 hasAuthorship W779484546A5084096043 @default.
- W779484546 hasConcept C115903868 @default.
- W779484546 hasConcept C116253237 @default.
- W779484546 hasConcept C127413603 @default.
- W779484546 hasConcept C133731056 @default.
- W779484546 hasConcept C154945302 @default.
- W779484546 hasConcept C199360897 @default.
- W779484546 hasConcept C203479927 @default.
- W779484546 hasConcept C2775924081 @default.
- W779484546 hasConcept C2777904410 @default.
- W779484546 hasConcept C2778693208 @default.
- W779484546 hasConcept C34736171 @default.
- W779484546 hasConcept C41008148 @default.
- W779484546 hasConcept C48103436 @default.
- W779484546 hasConcept C6557445 @default.
- W779484546 hasConcept C86803240 @default.
- W779484546 hasConcept C92991967 @default.
- W779484546 hasConceptScore W779484546C115903868 @default.
- W779484546 hasConceptScore W779484546C116253237 @default.
- W779484546 hasConceptScore W779484546C127413603 @default.
- W779484546 hasConceptScore W779484546C133731056 @default.
- W779484546 hasConceptScore W779484546C154945302 @default.
- W779484546 hasConceptScore W779484546C199360897 @default.
- W779484546 hasConceptScore W779484546C203479927 @default.
- W779484546 hasConceptScore W779484546C2775924081 @default.
- W779484546 hasConceptScore W779484546C2777904410 @default.
- W779484546 hasConceptScore W779484546C2778693208 @default.
- W779484546 hasConceptScore W779484546C34736171 @default.
- W779484546 hasConceptScore W779484546C41008148 @default.
- W779484546 hasConceptScore W779484546C48103436 @default.
- W779484546 hasConceptScore W779484546C6557445 @default.
- W779484546 hasConceptScore W779484546C86803240 @default.
- W779484546 hasConceptScore W779484546C92991967 @default.
- W779484546 hasLocation W7794845461 @default.
- W779484546 hasOpenAccess W779484546 @default.
- W779484546 hasPrimaryLocation W7794845461 @default.
- W779484546 hasRelatedWork W1507775242 @default.
- W779484546 hasRelatedWork W1988879291 @default.
- W779484546 hasRelatedWork W1990807783 @default.
- W779484546 hasRelatedWork W1992707297 @default.
- W779484546 hasRelatedWork W2020969188 @default.
- W779484546 hasRelatedWork W2056069892 @default.
- W779484546 hasRelatedWork W2081015982 @default.
- W779484546 hasRelatedWork W2108257849 @default.
- W779484546 hasRelatedWork W2131662694 @default.
- W779484546 hasRelatedWork W2165377379 @default.
- W779484546 hasRelatedWork W2390136141 @default.
- W779484546 hasRelatedWork W2477246 @default.
- W779484546 hasRelatedWork W2511584762 @default.
- W779484546 hasRelatedWork W2734349411 @default.
- W779484546 hasRelatedWork W2761004518 @default.
- W779484546 hasRelatedWork W2883995564 @default.
- W779484546 hasRelatedWork W2949562517 @default.
- W779484546 hasRelatedWork W3100536015 @default.
- W779484546 hasRelatedWork W3162785869 @default.
- W779484546 hasRelatedWork W3186894809 @default.
- W779484546 isParatext "false" @default.
- W779484546 isRetracted "false" @default.
- W779484546 magId "779484546" @default.
- W779484546 workType "article" @default.