Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079165952> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2079165952 abstract "This paper studies the failure diagnosis of discrete-time stochastic systems with linear-time temporal logic (LTL) as correctness requirement—A fault is a violation of the LTL specification. The detection problem is first reduced to stochastic reachability estimation problem for an input-output stochastic hybrid automaton (I/O-SHA) introduced in this paper, based on which the likelihood of no-fault is recursively computed for issuing a detection decision. The performance of the detection scheme is measured in terms of false alarm (FA) and missed detection (MD) rates, and the condition for the existence of a detector to achieve any desired rates of FA and MD is captured in form of Stochastic-Diagnosability. The proposed method of fault detection is illustrated by a practical example." @default.
- W2079165952 created "2016-06-24" @default.
- W2079165952 creator A5044031773 @default.
- W2079165952 creator A5063604106 @default.
- W2079165952 date "2014-04-01" @default.
- W2079165952 modified "2023-09-25" @default.
- W2079165952 title "Failure diagnosis of discrete-time stochastic systems subject to temporal logic correctness requirements" @default.
- W2079165952 cites W1498432697 @default.
- W2079165952 cites W1521939022 @default.
- W2079165952 cites W1824914642 @default.
- W2079165952 cites W1973895519 @default.
- W2079165952 cites W2007588592 @default.
- W2079165952 cites W2027298254 @default.
- W2079165952 cites W2038367777 @default.
- W2079165952 cites W2084772009 @default.
- W2079165952 cites W2095253518 @default.
- W2079165952 cites W2101961364 @default.
- W2079165952 cites W2167978186 @default.
- W2079165952 cites W2179662333 @default.
- W2079165952 doi "https://doi.org/10.1109/icnsc.2014.6819597" @default.
- W2079165952 hasPublicationYear "2014" @default.
- W2079165952 type Work @default.
- W2079165952 sameAs 2079165952 @default.
- W2079165952 citedByCount "4" @default.
- W2079165952 countsByYear W20791659522014 @default.
- W2079165952 countsByYear W20791659522015 @default.
- W2079165952 crossrefType "proceedings-article" @default.
- W2079165952 hasAuthorship W2079165952A5044031773 @default.
- W2079165952 hasAuthorship W2079165952A5063604106 @default.
- W2079165952 hasConcept C105795698 @default.
- W2079165952 hasConcept C110251889 @default.
- W2079165952 hasConcept C112505250 @default.
- W2079165952 hasConcept C11413529 @default.
- W2079165952 hasConcept C127313418 @default.
- W2079165952 hasConcept C136643341 @default.
- W2079165952 hasConcept C152745839 @default.
- W2079165952 hasConcept C154945302 @default.
- W2079165952 hasConcept C165205528 @default.
- W2079165952 hasConcept C172707124 @default.
- W2079165952 hasConcept C175551986 @default.
- W2079165952 hasConcept C25016198 @default.
- W2079165952 hasConcept C2776836416 @default.
- W2079165952 hasConcept C33923547 @default.
- W2079165952 hasConcept C41008148 @default.
- W2079165952 hasConcept C4777664 @default.
- W2079165952 hasConcept C55439883 @default.
- W2079165952 hasConcept C76155785 @default.
- W2079165952 hasConcept C79403827 @default.
- W2079165952 hasConcept C80444323 @default.
- W2079165952 hasConcept C8272713 @default.
- W2079165952 hasConcept C94915269 @default.
- W2079165952 hasConceptScore W2079165952C105795698 @default.
- W2079165952 hasConceptScore W2079165952C110251889 @default.
- W2079165952 hasConceptScore W2079165952C112505250 @default.
- W2079165952 hasConceptScore W2079165952C11413529 @default.
- W2079165952 hasConceptScore W2079165952C127313418 @default.
- W2079165952 hasConceptScore W2079165952C136643341 @default.
- W2079165952 hasConceptScore W2079165952C152745839 @default.
- W2079165952 hasConceptScore W2079165952C154945302 @default.
- W2079165952 hasConceptScore W2079165952C165205528 @default.
- W2079165952 hasConceptScore W2079165952C172707124 @default.
- W2079165952 hasConceptScore W2079165952C175551986 @default.
- W2079165952 hasConceptScore W2079165952C25016198 @default.
- W2079165952 hasConceptScore W2079165952C2776836416 @default.
- W2079165952 hasConceptScore W2079165952C33923547 @default.
- W2079165952 hasConceptScore W2079165952C41008148 @default.
- W2079165952 hasConceptScore W2079165952C4777664 @default.
- W2079165952 hasConceptScore W2079165952C55439883 @default.
- W2079165952 hasConceptScore W2079165952C76155785 @default.
- W2079165952 hasConceptScore W2079165952C79403827 @default.
- W2079165952 hasConceptScore W2079165952C80444323 @default.
- W2079165952 hasConceptScore W2079165952C8272713 @default.
- W2079165952 hasConceptScore W2079165952C94915269 @default.
- W2079165952 hasLocation W20791659521 @default.
- W2079165952 hasOpenAccess W2079165952 @default.
- W2079165952 hasPrimaryLocation W20791659521 @default.
- W2079165952 hasRelatedWork W1538906230 @default.
- W2079165952 hasRelatedWork W1608968763 @default.
- W2079165952 hasRelatedWork W1943826093 @default.
- W2079165952 hasRelatedWork W1973895519 @default.
- W2079165952 hasRelatedWork W2009673899 @default.
- W2079165952 hasRelatedWork W2017676950 @default.
- W2079165952 hasRelatedWork W2053807562 @default.
- W2079165952 hasRelatedWork W2063496519 @default.
- W2079165952 hasRelatedWork W2104406700 @default.
- W2079165952 hasRelatedWork W2117558445 @default.
- W2079165952 hasRelatedWork W2148962689 @default.
- W2079165952 hasRelatedWork W2152899915 @default.
- W2079165952 hasRelatedWork W2293229327 @default.
- W2079165952 hasRelatedWork W2336218051 @default.
- W2079165952 hasRelatedWork W2515305161 @default.
- W2079165952 hasRelatedWork W2528640751 @default.
- W2079165952 hasRelatedWork W2591241597 @default.
- W2079165952 hasRelatedWork W2914702321 @default.
- W2079165952 hasRelatedWork W2963714625 @default.
- W2079165952 hasRelatedWork W3203185400 @default.
- W2079165952 isParatext "false" @default.
- W2079165952 isRetracted "false" @default.
- W2079165952 magId "2079165952" @default.
- W2079165952 workType "article" @default.