FRINK Linked Data Fragments server

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

• W2110158097 abstract "Tolerating the value failures of sensors is an important problem in automated control processes and plants. In this paper, we address this problem in a theoretical framework in order to demonstrate the feasibility of an automatic method based on discrete controller synthesis. We consider a fault-intolerant program whose job is to control an automated process, here a liquid tank equipped with level sensors that can be subject to value faults. This fault-intolerant program is modeled as a finite labeled transition system. We then specify formally a fault hypothesis, i.e., how many sensors can fail simultaneously. We use discrete controller synthesis to obtain automatically a program, having the same behavior as the initial fault-intolerant one, and satisfying the fault tolerance requirements under the fault hypothesis. We advocate that, thanks to the use of discrete controller synthesis, our method offers flexibility, reliability, separation of concern, and it is automatic." @default.
• W2110158097 created "2016-06-24" @default.
• W2110158097 creator A5024261384 @default.
• W2110158097 creator A5039050781 @default.
• W2110158097 date "2006-09-01" @default.
• W2110158097 modified "2023-09-25" @default.
• W2110158097 title "A flexible method to tolerate value sensor failures" @default.
• W2110158097 cites W1492925000 @default.
• W2110158097 cites W1495119494 @default.
• W2110158097 cites W1565432667 @default.
• W2110158097 cites W1591643794 @default.
• W2110158097 cites W1979349468 @default.
• W2110158097 cites W2010945517 @default.
• W2110158097 cites W2020263005 @default.
• W2110158097 cites W2043100293 @default.
• W2110158097 cites W2080267935 @default.
• W2110158097 cites W2081756744 @default.
• W2110158097 cites W2084555692 @default.
• W2110158097 cites W2091559615 @default.
• W2110158097 cites W2128278617 @default.
• W2110158097 cites W2140140019 @default.
• W2110158097 cites W2145071552 @default.
• W2110158097 cites W2166904088 @default.
• W2110158097 cites W2169132374 @default.
• W2110158097 cites W2612683070 @default.
• W2110158097 doi "https://doi.org/10.1109/etfa.2006.355435" @default.
• W2110158097 hasPublicationYear "2006" @default.
• W2110158097 type Work @default.
• W2110158097 sameAs 2110158097 @default.
• W2110158097 citedByCount "2" @default.
• W2110158097 crossrefType "proceedings-article" @default.
• W2110158097 hasAuthorship W2110158097A5024261384 @default.
• W2110158097 hasAuthorship W2110158097A5039050781 @default.
• W2110158097 hasConcept C105795698 @default.
• W2110158097 hasConcept C119599485 @default.
• W2110158097 hasConcept C120314980 @default.
• W2110158097 hasConcept C121332964 @default.
• W2110158097 hasConcept C126953365 @default.
• W2110158097 hasConcept C127313418 @default.
• W2110158097 hasConcept C127413603 @default.
• W2110158097 hasConcept C133731056 @default.
• W2110158097 hasConcept C134146338 @default.
• W2110158097 hasConcept C152745839 @default.
• W2110158097 hasConcept C154945302 @default.
• W2110158097 hasConcept C163258240 @default.
• W2110158097 hasConcept C165205528 @default.
• W2110158097 hasConcept C172707124 @default.
• W2110158097 hasConcept C175551986 @default.
• W2110158097 hasConcept C199360897 @default.
• W2110158097 hasConcept C200601418 @default.
• W2110158097 hasConcept C203479927 @default.
• W2110158097 hasConcept C2775924081 @default.
• W2110158097 hasConcept C2780598303 @default.
• W2110158097 hasConcept C33923547 @default.
• W2110158097 hasConcept C41008148 @default.
• W2110158097 hasConcept C43214815 @default.
• W2110158097 hasConcept C47446073 @default.
• W2110158097 hasConcept C50712370 @default.
• W2110158097 hasConcept C62520636 @default.
• W2110158097 hasConcept C63540848 @default.
• W2110158097 hasConcept C6557445 @default.
• W2110158097 hasConcept C86803240 @default.
• W2110158097 hasConcept C98045186 @default.
• W2110158097 hasConceptScore W2110158097C105795698 @default.
• W2110158097 hasConceptScore W2110158097C119599485 @default.
• W2110158097 hasConceptScore W2110158097C120314980 @default.
• W2110158097 hasConceptScore W2110158097C121332964 @default.
• W2110158097 hasConceptScore W2110158097C126953365 @default.
• W2110158097 hasConceptScore W2110158097C127313418 @default.
• W2110158097 hasConceptScore W2110158097C127413603 @default.
• W2110158097 hasConceptScore W2110158097C133731056 @default.
• W2110158097 hasConceptScore W2110158097C134146338 @default.
• W2110158097 hasConceptScore W2110158097C152745839 @default.
• W2110158097 hasConceptScore W2110158097C154945302 @default.
• W2110158097 hasConceptScore W2110158097C163258240 @default.
• W2110158097 hasConceptScore W2110158097C165205528 @default.
• W2110158097 hasConceptScore W2110158097C172707124 @default.
• W2110158097 hasConceptScore W2110158097C175551986 @default.
• W2110158097 hasConceptScore W2110158097C199360897 @default.
• W2110158097 hasConceptScore W2110158097C200601418 @default.
• W2110158097 hasConceptScore W2110158097C203479927 @default.
• W2110158097 hasConceptScore W2110158097C2775924081 @default.
• W2110158097 hasConceptScore W2110158097C2780598303 @default.
• W2110158097 hasConceptScore W2110158097C33923547 @default.
• W2110158097 hasConceptScore W2110158097C41008148 @default.
• W2110158097 hasConceptScore W2110158097C43214815 @default.
• W2110158097 hasConceptScore W2110158097C47446073 @default.
• W2110158097 hasConceptScore W2110158097C50712370 @default.
• W2110158097 hasConceptScore W2110158097C62520636 @default.
• W2110158097 hasConceptScore W2110158097C63540848 @default.
• W2110158097 hasConceptScore W2110158097C6557445 @default.
• W2110158097 hasConceptScore W2110158097C86803240 @default.
• W2110158097 hasConceptScore W2110158097C98045186 @default.
• W2110158097 hasLocation W21101580971 @default.
• W2110158097 hasOpenAccess W2110158097 @default.
• W2110158097 hasPrimaryLocation W21101580971 @default.
• W2110158097 hasRelatedWork W1828556342 @default.
• W2110158097 hasRelatedWork W2015492859 @default.
• W2110158097 hasRelatedWork W2089451342 @default.
• W2110158097 hasRelatedWork W2119599601 @default.

• next