Matches in SemOpenAlex for { <https://semopenalex.org/work/W101657356> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W101657356 endingPage "45" @default.
- W101657356 startingPage "40" @default.
- W101657356 abstract "The performance of a heterogeneous (gain scheduling) controller is verified, for the control of a CSTR with a reversible exothermic reaction, in the face of sizable disturbances and under uncertainty. A qualitative reasoning technique. NSIM, is used to build and simulate semi-quantitative models with both parametric and non-parametric uncertainty. Bounds on the state variables are determined that are guaranteed to include all of the solutions to the uncertain model, and hence, this technique can be used for automatic proof construction." @default.
- W101657356 created "2016-06-24" @default.
- W101657356 creator A5044944954 @default.
- W101657356 creator A5053380932 @default.
- W101657356 creator A5070671270 @default.
- W101657356 date "1994-08-01" @default.
- W101657356 modified "2023-09-23" @default.
- W101657356 title "Controller Verification using Qualitative Reasoning" @default.
- W101657356 cites W1575656093 @default.
- W101657356 cites W1604822211 @default.
- W101657356 cites W1973233303 @default.
- W101657356 cites W2000591741 @default.
- W101657356 cites W2028061029 @default.
- W101657356 cites W2029415078 @default.
- W101657356 cites W2050123972 @default.
- W101657356 cites W2053190303 @default.
- W101657356 cites W2094238924 @default.
- W101657356 cites W2912848477 @default.
- W101657356 cites W69716614 @default.
- W101657356 cites W98810456 @default.
- W101657356 cites W2513112545 @default.
- W101657356 doi "https://doi.org/10.1016/s1474-6670(17)45844-7" @default.
- W101657356 hasPublicationYear "1994" @default.
- W101657356 type Work @default.
- W101657356 sameAs 101657356 @default.
- W101657356 citedByCount "2" @default.
- W101657356 crossrefType "journal-article" @default.
- W101657356 hasAuthorship W101657356A5044944954 @default.
- W101657356 hasAuthorship W101657356A5053380932 @default.
- W101657356 hasAuthorship W101657356A5070671270 @default.
- W101657356 hasConcept C127413603 @default.
- W101657356 hasConcept C133731056 @default.
- W101657356 hasConcept C154945302 @default.
- W101657356 hasConcept C203479927 @default.
- W101657356 hasConcept C2775924081 @default.
- W101657356 hasConcept C41008148 @default.
- W101657356 hasConcept C47446073 @default.
- W101657356 hasConcept C6557445 @default.
- W101657356 hasConcept C83725634 @default.
- W101657356 hasConcept C86803240 @default.
- W101657356 hasConceptScore W101657356C127413603 @default.
- W101657356 hasConceptScore W101657356C133731056 @default.
- W101657356 hasConceptScore W101657356C154945302 @default.
- W101657356 hasConceptScore W101657356C203479927 @default.
- W101657356 hasConceptScore W101657356C2775924081 @default.
- W101657356 hasConceptScore W101657356C41008148 @default.
- W101657356 hasConceptScore W101657356C47446073 @default.
- W101657356 hasConceptScore W101657356C6557445 @default.
- W101657356 hasConceptScore W101657356C83725634 @default.
- W101657356 hasConceptScore W101657356C86803240 @default.
- W101657356 hasIssue "10" @default.
- W101657356 hasLocation W1016573561 @default.
- W101657356 hasOpenAccess W101657356 @default.
- W101657356 hasPrimaryLocation W1016573561 @default.
- W101657356 hasRelatedWork W1543892378 @default.
- W101657356 hasRelatedWork W1968045209 @default.
- W101657356 hasRelatedWork W2032904427 @default.
- W101657356 hasRelatedWork W2041694361 @default.
- W101657356 hasRelatedWork W2247155938 @default.
- W101657356 hasRelatedWork W2365785480 @default.
- W101657356 hasRelatedWork W2393509435 @default.
- W101657356 hasRelatedWork W2470215186 @default.
- W101657356 hasRelatedWork W2142250755 @default.
- W101657356 hasRelatedWork W2182011417 @default.
- W101657356 hasVolume "27" @default.
- W101657356 isParatext "false" @default.
- W101657356 isRetracted "false" @default.
- W101657356 magId "101657356" @default.
- W101657356 workType "article" @default.