FRINK Linked Data Fragments server

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

• W1511861967 abstract "Embedded continuous control systems can be thought of as implementing complex (piecewise and pipelined) differential functions. Each 'piece' of the function may be preconditioned with a 'domain of applicability', which prescribes the circumstances the piece was designed to handle. The preconditions often involve rate of change, i.e. differentials, as well as range constraints. In this paper we present an adaptation of the substitution calculus which can be used to reason about such systems. Our approach is based on generalising the traditional view that a component is a fragment of a sequential programme. We consider a component to be an autonomous transformation which is 'clocked' to perform its computation at regular intervals, over and over again. In the case of such a component we can generalise the notion of weakest precondition to traces (sequences of values) of inputs and outputs. In our approach we characterise such traces by 'step' predicates over adjacent elements in the trace. We also generalise our calculus to cover nth order differentials. Since analysis can be performed at a comparable complexity to regular wp, our techniques are a powerful tool in the validation of continuous control systems." @default.
• W1511861967 created "2016-06-24" @default.
• W1511861967 creator A5032765896 @default.
• W1511861967 creator A5061141314 @default.
• W1511861967 date "2002-01-01" @default.
• W1511861967 modified "2023-09-23" @default.
• W1511861967 title "Generalised Substitution Language and Differentials" @default.
• W1511861967 cites W1512427875 @default.
• W1511861967 cites W1512712729 @default.
• W1511861967 cites W2066210260 @default.
• W1511861967 cites W2074236561 @default.
• W1511861967 cites W2620300258 @default.
• W1511861967 cites W4254354208 @default.
• W1511861967 doi "https://doi.org/10.1007/3-540-45648-1_21" @default.
• W1511861967 hasPublicationYear "2002" @default.
• W1511861967 type Work @default.
• W1511861967 sameAs 1511861967 @default.
• W1511861967 citedByCount "7" @default.
• W1511861967 crossrefType "book-chapter" @default.
• W1511861967 hasAuthorship W1511861967A5032765896 @default.
• W1511861967 hasAuthorship W1511861967A5061141314 @default.
• W1511861967 hasConcept C104317684 @default.
• W1511861967 hasConcept C11413529 @default.
• W1511861967 hasConcept C121332964 @default.
• W1511861967 hasConcept C127413603 @default.
• W1511861967 hasConcept C134306372 @default.
• W1511861967 hasConcept C138885662 @default.
• W1511861967 hasConcept C14036430 @default.
• W1511861967 hasConcept C159985019 @default.
• W1511861967 hasConcept C164660894 @default.
• W1511861967 hasConcept C168167062 @default.
• W1511861967 hasConcept C185592680 @default.
• W1511861967 hasConcept C192465680 @default.
• W1511861967 hasConcept C192562407 @default.
• W1511861967 hasConcept C199360897 @default.
• W1511861967 hasConcept C204241405 @default.
• W1511861967 hasConcept C204323151 @default.
• W1511861967 hasConcept C2778220771 @default.
• W1511861967 hasConcept C2780428219 @default.
• W1511861967 hasConcept C33923547 @default.
• W1511861967 hasConcept C41008148 @default.
• W1511861967 hasConcept C41895202 @default.
• W1511861967 hasConcept C45374587 @default.
• W1511861967 hasConcept C55493867 @default.
• W1511861967 hasConcept C75291252 @default.
• W1511861967 hasConcept C78458016 @default.
• W1511861967 hasConcept C78519656 @default.
• W1511861967 hasConcept C80444323 @default.
• W1511861967 hasConcept C86803240 @default.
• W1511861967 hasConcept C97355855 @default.
• W1511861967 hasConceptScore W1511861967C104317684 @default.
• W1511861967 hasConceptScore W1511861967C11413529 @default.
• W1511861967 hasConceptScore W1511861967C121332964 @default.
• W1511861967 hasConceptScore W1511861967C127413603 @default.
• W1511861967 hasConceptScore W1511861967C134306372 @default.
• W1511861967 hasConceptScore W1511861967C138885662 @default.
• W1511861967 hasConceptScore W1511861967C14036430 @default.
• W1511861967 hasConceptScore W1511861967C159985019 @default.
• W1511861967 hasConceptScore W1511861967C164660894 @default.
• W1511861967 hasConceptScore W1511861967C168167062 @default.
• W1511861967 hasConceptScore W1511861967C185592680 @default.
• W1511861967 hasConceptScore W1511861967C192465680 @default.
• W1511861967 hasConceptScore W1511861967C192562407 @default.
• W1511861967 hasConceptScore W1511861967C199360897 @default.
• W1511861967 hasConceptScore W1511861967C204241405 @default.
• W1511861967 hasConceptScore W1511861967C204323151 @default.
• W1511861967 hasConceptScore W1511861967C2778220771 @default.
• W1511861967 hasConceptScore W1511861967C2780428219 @default.
• W1511861967 hasConceptScore W1511861967C33923547 @default.
• W1511861967 hasConceptScore W1511861967C41008148 @default.
• W1511861967 hasConceptScore W1511861967C41895202 @default.
• W1511861967 hasConceptScore W1511861967C45374587 @default.
• W1511861967 hasConceptScore W1511861967C55493867 @default.
• W1511861967 hasConceptScore W1511861967C75291252 @default.
• W1511861967 hasConceptScore W1511861967C78458016 @default.
• W1511861967 hasConceptScore W1511861967C78519656 @default.
• W1511861967 hasConceptScore W1511861967C80444323 @default.
• W1511861967 hasConceptScore W1511861967C86803240 @default.
• W1511861967 hasConceptScore W1511861967C97355855 @default.
• W1511861967 hasLocation W15118619671 @default.
• W1511861967 hasOpenAccess W1511861967 @default.
• W1511861967 hasPrimaryLocation W15118619671 @default.
• W1511861967 hasRelatedWork W100073186 @default.
• W1511861967 hasRelatedWork W1512151485 @default.
• W1511861967 hasRelatedWork W1542298067 @default.
• W1511861967 hasRelatedWork W1706172200 @default.
• W1511861967 hasRelatedWork W1883667652 @default.
• W1511861967 hasRelatedWork W1897595500 @default.
• W1511861967 hasRelatedWork W1944053331 @default.
• W1511861967 hasRelatedWork W1994418588 @default.
• W1511861967 hasRelatedWork W2018420372 @default.
• W1511861967 hasRelatedWork W2030429182 @default.
• W1511861967 hasRelatedWork W2037400252 @default.
• W1511861967 hasRelatedWork W2053905889 @default.
• W1511861967 hasRelatedWork W2072672662 @default.
• W1511861967 hasRelatedWork W2088126145 @default.
• W1511861967 hasRelatedWork W2147704457 @default.
• W1511861967 hasRelatedWork W2204070920 @default.
• W1511861967 hasRelatedWork W2292239402 @default.
• W1511861967 hasRelatedWork W612509057 @default.

• next