Matches in SemOpenAlex for { <https://semopenalex.org/work/W2207396401> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2207396401 endingPage "57" @default.
- W2207396401 startingPage "50" @default.
- W2207396401 abstract "We propose a theory of abstraction of discrete-event systems (DES) formulated at the semantic level, i.e., as a function that maps event traces at the original (ground) level to traces at the abstract level. We study how diagnosis of DES can be performed using an abstract model, and under which conditions this process leads to a correct solution (i.e., a set of alternative diagnoses that include the real status of the system). Finally, we study how the use of an abstract model can affect the precision of diagnosis, i.e., the presence of spurious system states in the solution. To this end, we introduce the notion of diagnosability with abstract models, which ensures the precision of abstract diagnoses, and we discuss a practical way to test it." @default.
- W2207396401 created "2016-06-24" @default.
- W2207396401 creator A5000852884 @default.
- W2207396401 creator A5067843040 @default.
- W2207396401 date "2011-12-14" @default.
- W2207396401 modified "2023-09-26" @default.
- W2207396401 title "A Theory of Abstraction for Diagnosis of Discrete-Event Systems" @default.
- W2207396401 cites W12601726 @default.
- W2207396401 cites W1575514089 @default.
- W2207396401 cites W1587663028 @default.
- W2207396401 cites W192320951 @default.
- W2207396401 cites W1985787415 @default.
- W2207396401 cites W2057434766 @default.
- W2207396401 cites W2075123090 @default.
- W2207396401 cites W2078727257 @default.
- W2207396401 cites W2147774669 @default.
- W2207396401 cites W2209251751 @default.
- W2207396401 cites W2217974774 @default.
- W2207396401 cites W2993343280 @default.
- W2207396401 hasPublicationYear "2011" @default.
- W2207396401 type Work @default.
- W2207396401 sameAs 2207396401 @default.
- W2207396401 citedByCount "3" @default.
- W2207396401 countsByYear W22073964012013 @default.
- W2207396401 countsByYear W22073964012014 @default.
- W2207396401 crossrefType "proceedings-article" @default.
- W2207396401 hasAuthorship W2207396401A5000852884 @default.
- W2207396401 hasAuthorship W2207396401A5067843040 @default.
- W2207396401 hasConcept C111472728 @default.
- W2207396401 hasConcept C11413529 @default.
- W2207396401 hasConcept C119857082 @default.
- W2207396401 hasConcept C121332964 @default.
- W2207396401 hasConcept C124304363 @default.
- W2207396401 hasConcept C138885662 @default.
- W2207396401 hasConcept C142724271 @default.
- W2207396401 hasConcept C147358964 @default.
- W2207396401 hasConcept C177264268 @default.
- W2207396401 hasConcept C199360897 @default.
- W2207396401 hasConcept C2777904410 @default.
- W2207396401 hasConcept C2779662365 @default.
- W2207396401 hasConcept C41008148 @default.
- W2207396401 hasConcept C534262118 @default.
- W2207396401 hasConcept C62520636 @default.
- W2207396401 hasConcept C71924100 @default.
- W2207396401 hasConcept C80444323 @default.
- W2207396401 hasConcept C97256817 @default.
- W2207396401 hasConcept C98045186 @default.
- W2207396401 hasConceptScore W2207396401C111472728 @default.
- W2207396401 hasConceptScore W2207396401C11413529 @default.
- W2207396401 hasConceptScore W2207396401C119857082 @default.
- W2207396401 hasConceptScore W2207396401C121332964 @default.
- W2207396401 hasConceptScore W2207396401C124304363 @default.
- W2207396401 hasConceptScore W2207396401C138885662 @default.
- W2207396401 hasConceptScore W2207396401C142724271 @default.
- W2207396401 hasConceptScore W2207396401C147358964 @default.
- W2207396401 hasConceptScore W2207396401C177264268 @default.
- W2207396401 hasConceptScore W2207396401C199360897 @default.
- W2207396401 hasConceptScore W2207396401C2777904410 @default.
- W2207396401 hasConceptScore W2207396401C2779662365 @default.
- W2207396401 hasConceptScore W2207396401C41008148 @default.
- W2207396401 hasConceptScore W2207396401C534262118 @default.
- W2207396401 hasConceptScore W2207396401C62520636 @default.
- W2207396401 hasConceptScore W2207396401C71924100 @default.
- W2207396401 hasConceptScore W2207396401C80444323 @default.
- W2207396401 hasConceptScore W2207396401C97256817 @default.
- W2207396401 hasConceptScore W2207396401C98045186 @default.
- W2207396401 hasLocation W22073964011 @default.
- W2207396401 hasOpenAccess W2207396401 @default.
- W2207396401 hasPrimaryLocation W22073964011 @default.
- W2207396401 hasRelatedWork W1001225149 @default.
- W2207396401 hasRelatedWork W1494554614 @default.
- W2207396401 hasRelatedWork W1497586193 @default.
- W2207396401 hasRelatedWork W1497869663 @default.
- W2207396401 hasRelatedWork W1686804760 @default.
- W2207396401 hasRelatedWork W178744699 @default.
- W2207396401 hasRelatedWork W2022871873 @default.
- W2207396401 hasRelatedWork W2110629113 @default.
- W2207396401 hasRelatedWork W2208996298 @default.
- W2207396401 hasRelatedWork W2550473174 @default.
- W2207396401 hasRelatedWork W2765557016 @default.
- W2207396401 hasRelatedWork W2781695650 @default.
- W2207396401 hasRelatedWork W2904993839 @default.
- W2207396401 hasRelatedWork W3014981526 @default.
- W2207396401 hasRelatedWork W3036026499 @default.
- W2207396401 hasRelatedWork W3142852463 @default.
- W2207396401 hasRelatedWork W3152881122 @default.
- W2207396401 hasRelatedWork W3181593973 @default.
- W2207396401 hasRelatedWork W3197823126 @default.
- W2207396401 hasRelatedWork W2184061207 @default.
- W2207396401 isParatext "false" @default.
- W2207396401 isRetracted "false" @default.
- W2207396401 magId "2207396401" @default.
- W2207396401 workType "article" @default.