FRINK Linked Data Fragments server

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

• W1503757580 abstract "Diagnosability property and fault detection schemes have been widely addressed on centralized approaches using the global model of the Discrete Event System (DES). Roughly speaking, diagnosability is the property of determining if using the system model is possible to detect and locate the faulty states in a finite number of steps. In the works (Sampath, et al., 1995) and (Sampath, et al., 1996), a method for modeling a DES using finite automata is proposed; based on this model, a diagnoser is derived. The cycles in the diagnoser are used to determine when the DES is diagnosable. Recently, fault diagnosis of DES has been addressed through a distributed approach allowing breaking down the complexity when dealing with large and complex systems (Benveniste, et al., 2003; O. Contant, et al., 2004; Debouk, et al., 2000; Genc & Lafortune, 2003; Jiroveanu & Boel, 2003; Pencole, 2004; Aramburo-Lizarraga, et al., 2005). In (Debouk, et al., 2000) it is proposed a decentralized and modular approach to perform failure diagnosis based on Sampath's results (Sampath, et al., 1995). In (Contant, et al., 2004) and (Pencole, 2004) the authors presented incremental algorithms to perform diagnosability analysis based on (Sampath, et al., 1995) in a distributed way; they consider systems whose components evolve by the occurrence of events; the parallel composition leads to a complete system model intractable. In (Genc & Lafortune, 2003) it is proposed a method that handles the reachability graph of the PN model in order to perform the analysis similarly to (Sampath, et al., 1995); based on design considerations the model is partitioned into two labelled PN and it is proven that the distributed diagnosis is equivalent to the centralized diagnosis; later, (Genc & Lafortune, 2005) extend the results to systems modeled by several labelled PN that share places, and present an algorithm to determine distributed diagnosis. In (Qiu & Kumar, 2005) it is studied the codiagnosability property, this property guarantees that any faults occurred in the system must be detected by at least one local diagnoser in a finite number of steps using the local information, besides, a notion of safe-codiagnosability is mentioned to capture the fact that the system has a safe specification while the system performance is tolerable. (Aramburo-Lizarraga, et al., 2005) proposes a methodology for designing reduced diagnosers and presents an algorithm to split a global model into a set of communicating sub-models for building distributed diagnosers. The diagnosers handle a system sub-model and every diagnoser has a set of communication events for detecting and O pe n A cc es s D at ab as e w w w .ite ch on lin e. co m" @default.
• W1503757580 created "2016-06-24" @default.
• W1503757580 creator A5007026686 @default.
• W1503757580 creator A5021408366 @default.
• W1503757580 creator A5071018359 @default.
• W1503757580 creator A5075799644 @default.
• W1503757580 creator A5078632639 @default.
• W1503757580 date "2008-10-01" @default.
• W1503757580 modified "2023-10-14" @default.
• W1503757580 title "Fault Diagnosis in Discrete Event Systems Using Interpreted Petri Nets" @default.
• W1503757580 cites W1535266875 @default.
• W1503757580 cites W1536441515 @default.
• W1503757580 cites W1549145142 @default.
• W1503757580 cites W1551214605 @default.
• W1503757580 cites W1573515738 @default.
• W1503757580 cites W1976967611 @default.
• W1503757580 cites W1985787415 @default.
• W1503757580 cites W1990841058 @default.
• W1503757580 cites W2007965987 @default.
• W1503757580 cites W201978047 @default.
• W1503757580 cites W2038099453 @default.
• W1503757580 cites W2044892885 @default.
• W1503757580 cites W2047055270 @default.
• W1503757580 cites W2077497534 @default.
• W1503757580 cites W2099395647 @default.
• W1503757580 cites W2099817296 @default.
• W1503757580 cites W2110143382 @default.
• W1503757580 cites W2146826840 @default.
• W1503757580 cites W2150891638 @default.
• W1503757580 cites W2168097987 @default.
• W1503757580 cites W3015129727 @default.
• W1503757580 cites W3102160464 @default.
• W1503757580 cites W70794976 @default.
• W1503757580 cites W2734756299 @default.
• W1503757580 doi "https://doi.org/10.5772/5534" @default.
• W1503757580 hasPublicationYear "2008" @default.
• W1503757580 type Work @default.
• W1503757580 sameAs 1503757580 @default.
• W1503757580 citedByCount "7" @default.
• W1503757580 countsByYear W15037575802014 @default.
• W1503757580 countsByYear W15037575802015 @default.
• W1503757580 countsByYear W15037575802018 @default.
• W1503757580 countsByYear W15037575802022 @default.
• W1503757580 countsByYear W15037575802023 @default.
• W1503757580 crossrefType "book-chapter" @default.
• W1503757580 hasAuthorship W1503757580A5007026686 @default.
• W1503757580 hasAuthorship W1503757580A5021408366 @default.
• W1503757580 hasAuthorship W1503757580A5071018359 @default.
• W1503757580 hasAuthorship W1503757580A5075799644 @default.
• W1503757580 hasAuthorship W1503757580A5078632639 @default.
• W1503757580 hasBestOaLocation W15037575801 @default.
• W1503757580 hasConcept C120314980 @default.
• W1503757580 hasConcept C121332964 @default.
• W1503757580 hasConcept C127313418 @default.
• W1503757580 hasConcept C127413603 @default.
• W1503757580 hasConcept C165205528 @default.
• W1503757580 hasConcept C175551986 @default.
• W1503757580 hasConcept C200601418 @default.
• W1503757580 hasConcept C2779662365 @default.
• W1503757580 hasConcept C38677869 @default.
• W1503757580 hasConcept C41008148 @default.
• W1503757580 hasConcept C62520636 @default.
• W1503757580 hasConcept C79403827 @default.
• W1503757580 hasConceptScore W1503757580C120314980 @default.
• W1503757580 hasConceptScore W1503757580C121332964 @default.
• W1503757580 hasConceptScore W1503757580C127313418 @default.
• W1503757580 hasConceptScore W1503757580C127413603 @default.
• W1503757580 hasConceptScore W1503757580C165205528 @default.
• W1503757580 hasConceptScore W1503757580C175551986 @default.
• W1503757580 hasConceptScore W1503757580C200601418 @default.
• W1503757580 hasConceptScore W1503757580C2779662365 @default.
• W1503757580 hasConceptScore W1503757580C38677869 @default.
• W1503757580 hasConceptScore W1503757580C41008148 @default.
• W1503757580 hasConceptScore W1503757580C62520636 @default.
• W1503757580 hasConceptScore W1503757580C79403827 @default.
• W1503757580 hasLocation W15037575801 @default.
• W1503757580 hasLocation W15037575802 @default.
• W1503757580 hasOpenAccess W1503757580 @default.
• W1503757580 hasPrimaryLocation W15037575801 @default.
• W1503757580 hasRelatedWork W1535266875 @default.
• W1503757580 hasRelatedWork W1555256964 @default.
• W1503757580 hasRelatedWork W1964568918 @default.
• W1503757580 hasRelatedWork W2101052162 @default.
• W1503757580 hasRelatedWork W2150529903 @default.
• W1503757580 hasRelatedWork W2547394461 @default.
• W1503757580 hasRelatedWork W2787746936 @default.
• W1503757580 hasRelatedWork W2951629286 @default.
• W1503757580 hasRelatedWork W4214795769 @default.
• W1503757580 hasRelatedWork W897812608 @default.
• W1503757580 isParatext "false" @default.
• W1503757580 isRetracted "false" @default.
• W1503757580 magId "1503757580" @default.
• W1503757580 workType "book-chapter" @default.