Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912076238> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2912076238 abstract "Complex embedded real time systems used in autonomous guided automotive and aerospace vehicles depend on validated control system software for meeting safety and mission critical objectives. The code implementation of these control laws presents a validation challenge due to the complexity of converting mathematical control equations, feed forward and feedback loops into validated software. This paper outlines an approach for defining specifications of a control law using focus framework. A discrete time synchronous control law consisting of gain scheduler, feedback, adder, integrator and derivative is defined in focus specifications. A methodology is presented wherein the top-level architecture is defined using composite graphical, constraint and operator styles. Sub components are specified in elementary equational and relational styles. These theoretical specifications are implemented and verified using Autofocus tool." @default.
- W2912076238 created "2019-02-21" @default.
- W2912076238 creator A5021518992 @default.
- W2912076238 creator A5035618077 @default.
- W2912076238 creator A5088752741 @default.
- W2912076238 date "2018-11-01" @default.
- W2912076238 modified "2023-09-24" @default.
- W2912076238 title "An Approach to Specify and Test the Control Algorithm in Focus Framework" @default.
- W2912076238 cites W1496209395 @default.
- W2912076238 cites W1576865620 @default.
- W2912076238 cites W1887764439 @default.
- W2912076238 cites W2074069316 @default.
- W2912076238 cites W2111718887 @default.
- W2912076238 cites W2146867228 @default.
- W2912076238 cites W233122475 @default.
- W2912076238 cites W2400377686 @default.
- W2912076238 cites W2518462874 @default.
- W2912076238 cites W2556057931 @default.
- W2912076238 cites W2754666196 @default.
- W2912076238 cites W2768017175 @default.
- W2912076238 cites W2770540259 @default.
- W2912076238 cites W2782963959 @default.
- W2912076238 cites W820752735 @default.
- W2912076238 doi "https://doi.org/10.1109/icos.2018.8632807" @default.
- W2912076238 hasPublicationYear "2018" @default.
- W2912076238 type Work @default.
- W2912076238 sameAs 2912076238 @default.
- W2912076238 citedByCount "3" @default.
- W2912076238 countsByYear W29120762382019 @default.
- W2912076238 countsByYear W29120762382021 @default.
- W2912076238 countsByYear W29120762382022 @default.
- W2912076238 crossrefType "proceedings-article" @default.
- W2912076238 hasAuthorship W2912076238A5021518992 @default.
- W2912076238 hasAuthorship W2912076238A5035618077 @default.
- W2912076238 hasAuthorship W2912076238A5088752741 @default.
- W2912076238 hasConcept C103764139 @default.
- W2912076238 hasConcept C104317684 @default.
- W2912076238 hasConcept C11413529 @default.
- W2912076238 hasConcept C120665830 @default.
- W2912076238 hasConcept C121332964 @default.
- W2912076238 hasConcept C127413603 @default.
- W2912076238 hasConcept C133731056 @default.
- W2912076238 hasConcept C146978453 @default.
- W2912076238 hasConcept C158448853 @default.
- W2912076238 hasConcept C167740415 @default.
- W2912076238 hasConcept C17020691 @default.
- W2912076238 hasConcept C185592680 @default.
- W2912076238 hasConcept C192209626 @default.
- W2912076238 hasConcept C199360897 @default.
- W2912076238 hasConcept C2776257435 @default.
- W2912076238 hasConcept C2777904410 @default.
- W2912076238 hasConcept C31258907 @default.
- W2912076238 hasConcept C41008148 @default.
- W2912076238 hasConcept C526921623 @default.
- W2912076238 hasConcept C55493867 @default.
- W2912076238 hasConcept C79518650 @default.
- W2912076238 hasConcept C86339819 @default.
- W2912076238 hasConceptScore W2912076238C103764139 @default.
- W2912076238 hasConceptScore W2912076238C104317684 @default.
- W2912076238 hasConceptScore W2912076238C11413529 @default.
- W2912076238 hasConceptScore W2912076238C120665830 @default.
- W2912076238 hasConceptScore W2912076238C121332964 @default.
- W2912076238 hasConceptScore W2912076238C127413603 @default.
- W2912076238 hasConceptScore W2912076238C133731056 @default.
- W2912076238 hasConceptScore W2912076238C146978453 @default.
- W2912076238 hasConceptScore W2912076238C158448853 @default.
- W2912076238 hasConceptScore W2912076238C167740415 @default.
- W2912076238 hasConceptScore W2912076238C17020691 @default.
- W2912076238 hasConceptScore W2912076238C185592680 @default.
- W2912076238 hasConceptScore W2912076238C192209626 @default.
- W2912076238 hasConceptScore W2912076238C199360897 @default.
- W2912076238 hasConceptScore W2912076238C2776257435 @default.
- W2912076238 hasConceptScore W2912076238C2777904410 @default.
- W2912076238 hasConceptScore W2912076238C31258907 @default.
- W2912076238 hasConceptScore W2912076238C41008148 @default.
- W2912076238 hasConceptScore W2912076238C526921623 @default.
- W2912076238 hasConceptScore W2912076238C55493867 @default.
- W2912076238 hasConceptScore W2912076238C79518650 @default.
- W2912076238 hasConceptScore W2912076238C86339819 @default.
- W2912076238 hasLocation W29120762381 @default.
- W2912076238 hasOpenAccess W2912076238 @default.
- W2912076238 hasPrimaryLocation W29120762381 @default.
- W2912076238 hasRelatedWork W1483954629 @default.
- W2912076238 hasRelatedWork W1513194152 @default.
- W2912076238 hasRelatedWork W1515995895 @default.
- W2912076238 hasRelatedWork W1564837046 @default.
- W2912076238 hasRelatedWork W2328308966 @default.
- W2912076238 hasRelatedWork W2588166047 @default.
- W2912076238 hasRelatedWork W2748952813 @default.
- W2912076238 hasRelatedWork W2801529272 @default.
- W2912076238 hasRelatedWork W4249271267 @default.
- W2912076238 hasRelatedWork W563404 @default.
- W2912076238 isParatext "false" @default.
- W2912076238 isRetracted "false" @default.
- W2912076238 magId "2912076238" @default.
- W2912076238 workType "article" @default.