Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116673421> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2116673421 abstract "Starting with our work on the characterization of the imprecision error in programs using floating-point-numbers, by abstract interpretation, this paper shows that there are numerous perspectives, if one wants to fully qualify the numerical quality of control systems, as found in the aeronautical and automotive industry, for instance. Some very common functions (e.g. integrators) are hard to statically analyse, because their numerical correctness depend on a fine- grained specification of the classes of input signals they handle. This gets even more complex in the case of e.g. PID controllers, which interact in closed loop with an external environment, since their input signals are in part the consequence of their own computation, similarly for the imprecision errors. We show examples of non-trivial bad and good numerical behaviours, discuss the results of our methods, and present our current research directions, that should hopefully help characterize the imprecision error of such control systems." @default.
- W2116673421 created "2016-06-24" @default.
- W2116673421 creator A5031488505 @default.
- W2116673421 creator A5042626840 @default.
- W2116673421 creator A5057608137 @default.
- W2116673421 date "2006-01-25" @default.
- W2116673421 modified "2023-10-05" @default.
- W2116673421 title "Some future challenges in the validation of control systems" @default.
- W2116673421 cites W1531068736 @default.
- W2116673421 cites W1552628726 @default.
- W2116673421 cites W1607353007 @default.
- W2116673421 cites W1755257908 @default.
- W2116673421 cites W1822341686 @default.
- W2116673421 cites W2004463571 @default.
- W2116673421 cites W2033118636 @default.
- W2116673421 cites W2043100293 @default.
- W2116673421 cites W2166191142 @default.
- W2116673421 cites W2168206590 @default.
- W2116673421 cites W2169004268 @default.
- W2116673421 hasPublicationYear "2006" @default.
- W2116673421 type Work @default.
- W2116673421 sameAs 2116673421 @default.
- W2116673421 citedByCount "9" @default.
- W2116673421 countsByYear W21166734212013 @default.
- W2116673421 countsByYear W21166734212014 @default.
- W2116673421 countsByYear W21166734212015 @default.
- W2116673421 countsByYear W21166734212018 @default.
- W2116673421 crossrefType "proceedings-article" @default.
- W2116673421 hasAuthorship W2116673421A5031488505 @default.
- W2116673421 hasAuthorship W2116673421A5042626840 @default.
- W2116673421 hasAuthorship W2116673421A5057608137 @default.
- W2116673421 hasBestOaLocation W21166734211 @default.
- W2116673421 hasConcept C154945302 @default.
- W2116673421 hasConcept C2775924081 @default.
- W2116673421 hasConcept C41008148 @default.
- W2116673421 hasConceptScore W2116673421C154945302 @default.
- W2116673421 hasConceptScore W2116673421C2775924081 @default.
- W2116673421 hasConceptScore W2116673421C41008148 @default.
- W2116673421 hasLocation W21166734211 @default.
- W2116673421 hasLocation W21166734212 @default.
- W2116673421 hasOpenAccess W2116673421 @default.
- W2116673421 hasPrimaryLocation W21166734211 @default.
- W2116673421 hasRelatedWork W1596801655 @default.
- W2116673421 hasRelatedWork W2130043461 @default.
- W2116673421 hasRelatedWork W2350741829 @default.
- W2116673421 hasRelatedWork W2358668433 @default.
- W2116673421 hasRelatedWork W2376932109 @default.
- W2116673421 hasRelatedWork W2382290278 @default.
- W2116673421 hasRelatedWork W2390279801 @default.
- W2116673421 hasRelatedWork W2748952813 @default.
- W2116673421 hasRelatedWork W2899084033 @default.
- W2116673421 hasRelatedWork W2530322880 @default.
- W2116673421 isParatext "false" @default.
- W2116673421 isRetracted "false" @default.
- W2116673421 magId "2116673421" @default.
- W2116673421 workType "article" @default.