Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1998-06

AUTHORS

Armen Aghasaryan, Eric Fabre, Albert Benveniste, Renée Boubour, Claude Jard

ABSTRACT

We address the problem of alarm correlation in large distributed systems. The key idea is to make use of the concurrence of events in order to separate and simplify the state estimation in a faulty system. Petri nets and their causality semantics are used to model concurrency. Special partially stochastic Petri nets are developed, that establish some kind of equivalence between concurrence and independence. The diagnosis problem is defined as the computation of the most likely history of the net given a sequence of observed alarms. Solutions are provided in four contexts, with a gradual complexity on the structure of observations. More... »

PAGES

203-231

Identifiers

URI

http://scigraph.springernature.com/pub.10.1023/a:1008241818642

DOI

http://dx.doi.org/10.1023/a:1008241818642

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1025191082


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "IRISA/INRIA, projet Sigma 2, Campus de Beaulieu, F-35042, Rennes cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Aghasaryan", 
        "givenName": "Armen", 
        "id": "sg:person.014360103215.21", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014360103215.21"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "IRISA/INRIA, projet Sigma 2, Campus de Beaulieu, F-35042, Rennes cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Fabre", 
        "givenName": "Eric", 
        "id": "sg:person.011362250353.22", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011362250353.22"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "IRISA/INRIA, projet Sigma 2, Campus de Beaulieu, F-35042, Rennes cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Benveniste", 
        "givenName": "Albert", 
        "id": "sg:person.011174600625.42", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "Technopole Anticipa, France TELEcom/CNET Lannion - DTL/DLI, 2, av. Pierre Marzin, F-22307, Lannion cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Boubour", 
        "givenName": "Ren\u00e9e", 
        "id": "sg:person.016445720643.48", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016445720643.48"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "IRISA/CNRS, projet Pampa, Campus de Beaulieu, F-35042, Rennes cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Jard", 
        "givenName": "Claude", 
        "id": "sg:person.015533423605.19", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015533423605.19"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/0304-3975(94)00295-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1022040366"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0005-1098(94)90024-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032976813"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0005-1098(94)90024-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032976813"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cdc.1997.650720", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094629410"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cdc.1997.650721", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095258621"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1998-06", 
    "datePublishedReg": "1998-06-01", 
    "description": "We address the problem of alarm correlation in large distributed systems. The key idea is to make use of the concurrence of events in order to separate and simplify the state estimation in a faulty system. Petri nets and their causality semantics are used to model concurrency. Special partially stochastic Petri nets are developed, that establish some kind of equivalence between concurrence and independence. The diagnosis problem is defined as the computation of the most likely history of the net given a sequence of observed alarms. Solutions are provided in four contexts, with a gradual complexity on the structure of observations.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1023/a:1008241818642", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1136419", 
        "issn": [
          "0924-6703", 
          "1573-7594"
        ], 
        "name": "Discrete Event Dynamic Systems", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "2", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "8"
      }
    ], 
    "name": "Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets", 
    "pagination": "203-231", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "780285363bec536484330fe51947f515ab10d243d58b1c031aebebc68a5585bf"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1023/a:1008241818642"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1025191082"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1023/a:1008241818642", 
      "https://app.dimensions.ai/details/publication/pub.1025191082"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T01:04", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8697_00000499.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1023/A:1008241818642"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1023/a:1008241818642'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1023/a:1008241818642'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1023/a:1008241818642'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1023/a:1008241818642'


 

This table displays all metadata directly associated to this object as RDF triples.

104 TRIPLES      21 PREDICATES      31 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1023/a:1008241818642 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author Ndd683927cffb4b699fa195f490a782ce
4 schema:citation https://doi.org/10.1016/0005-1098(94)90024-8
5 https://doi.org/10.1016/0304-3975(94)00295-1
6 https://doi.org/10.1109/cdc.1997.650720
7 https://doi.org/10.1109/cdc.1997.650721
8 schema:datePublished 1998-06
9 schema:datePublishedReg 1998-06-01
10 schema:description We address the problem of alarm correlation in large distributed systems. The key idea is to make use of the concurrence of events in order to separate and simplify the state estimation in a faulty system. Petri nets and their causality semantics are used to model concurrency. Special partially stochastic Petri nets are developed, that establish some kind of equivalence between concurrence and independence. The diagnosis problem is defined as the computation of the most likely history of the net given a sequence of observed alarms. Solutions are provided in four contexts, with a gradual complexity on the structure of observations.
11 schema:genre research_article
12 schema:inLanguage en
13 schema:isAccessibleForFree false
14 schema:isPartOf Ne9ae9a8729e64ddba74a95d75f3ca84c
15 Nffb3dff4364c4ce2b73fcc865c60a179
16 sg:journal.1136419
17 schema:name Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets
18 schema:pagination 203-231
19 schema:productId N048154a3861c4bfd980f268114a8ef54
20 N2c20c09cd7f443ff81910a9be2e3634a
21 Nf6347fab26ba4a0fa0fab81001057f20
22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025191082
23 https://doi.org/10.1023/a:1008241818642
24 schema:sdDatePublished 2019-04-11T01:04
25 schema:sdLicense https://scigraph.springernature.com/explorer/license/
26 schema:sdPublisher N2ef2e8ffd403437082c6e4728ea6efcc
27 schema:url http://link.springer.com/10.1023/A:1008241818642
28 sgo:license sg:explorer/license/
29 sgo:sdDataset articles
30 rdf:type schema:ScholarlyArticle
31 N048154a3861c4bfd980f268114a8ef54 schema:name doi
32 schema:value 10.1023/a:1008241818642
33 rdf:type schema:PropertyValue
34 N119b12bf0b0a477e9f4b043ae0bb4384 rdf:first sg:person.016445720643.48
35 rdf:rest Nd28358701d4e4b60a970bc66e7387695
36 N2c20c09cd7f443ff81910a9be2e3634a schema:name dimensions_id
37 schema:value pub.1025191082
38 rdf:type schema:PropertyValue
39 N2ef2e8ffd403437082c6e4728ea6efcc schema:name Springer Nature - SN SciGraph project
40 rdf:type schema:Organization
41 N8db070af7f3b4897ad14b6df0cdd9dae rdf:first sg:person.011362250353.22
42 rdf:rest Nae4119221eb54d838be4b789ebe28dcb
43 Nae4119221eb54d838be4b789ebe28dcb rdf:first sg:person.011174600625.42
44 rdf:rest N119b12bf0b0a477e9f4b043ae0bb4384
45 Nb4cae789bc394310baa7e6b64c111888 schema:name Technopole Anticipa, France TELEcom/CNET Lannion - DTL/DLI, 2, av. Pierre Marzin, F-22307, Lannion cedex, France
46 rdf:type schema:Organization
47 Nd28358701d4e4b60a970bc66e7387695 rdf:first sg:person.015533423605.19
48 rdf:rest rdf:nil
49 Ndd683927cffb4b699fa195f490a782ce rdf:first sg:person.014360103215.21
50 rdf:rest N8db070af7f3b4897ad14b6df0cdd9dae
51 Ne9ae9a8729e64ddba74a95d75f3ca84c schema:issueNumber 2
52 rdf:type schema:PublicationIssue
53 Nf6347fab26ba4a0fa0fab81001057f20 schema:name readcube_id
54 schema:value 780285363bec536484330fe51947f515ab10d243d58b1c031aebebc68a5585bf
55 rdf:type schema:PropertyValue
56 Nffb3dff4364c4ce2b73fcc865c60a179 schema:volumeNumber 8
57 rdf:type schema:PublicationVolume
58 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
59 schema:name Information and Computing Sciences
60 rdf:type schema:DefinedTerm
61 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
62 schema:name Information Systems
63 rdf:type schema:DefinedTerm
64 sg:journal.1136419 schema:issn 0924-6703
65 1573-7594
66 schema:name Discrete Event Dynamic Systems
67 rdf:type schema:Periodical
68 sg:person.011174600625.42 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
69 schema:familyName Benveniste
70 schema:givenName Albert
71 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
72 rdf:type schema:Person
73 sg:person.011362250353.22 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
74 schema:familyName Fabre
75 schema:givenName Eric
76 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011362250353.22
77 rdf:type schema:Person
78 sg:person.014360103215.21 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
79 schema:familyName Aghasaryan
80 schema:givenName Armen
81 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014360103215.21
82 rdf:type schema:Person
83 sg:person.015533423605.19 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
84 schema:familyName Jard
85 schema:givenName Claude
86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015533423605.19
87 rdf:type schema:Person
88 sg:person.016445720643.48 schema:affiliation Nb4cae789bc394310baa7e6b64c111888
89 schema:familyName Boubour
90 schema:givenName Renée
91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016445720643.48
92 rdf:type schema:Person
93 https://doi.org/10.1016/0005-1098(94)90024-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032976813
94 rdf:type schema:CreativeWork
95 https://doi.org/10.1016/0304-3975(94)00295-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022040366
96 rdf:type schema:CreativeWork
97 https://doi.org/10.1109/cdc.1997.650720 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094629410
98 rdf:type schema:CreativeWork
99 https://doi.org/10.1109/cdc.1997.650721 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095258621
100 rdf:type schema:CreativeWork
101 https://www.grid.ac/institutes/grid.410368.8 schema:alternateName University of Rennes 1
102 schema:name IRISA/CNRS, projet Pampa, Campus de Beaulieu, F-35042, Rennes cedex, France
103 IRISA/INRIA, projet Sigma 2, Campus de Beaulieu, F-35042, Rennes cedex, France
104 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...