Optimal Petri Net Monitor Design View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2002

AUTHORS

Francesco Basile , Pasquale Chiacchio , Alessandro Giua

ABSTRACT

The classical partition of the event set into controllable and uncontrollable events from supervisory control theory is replaced by introducing the concept of control and observation cost of an event. This leads naturally to consider an optimal control problem for a given logical control specification. On the other hand, if we consider a timed model a performance optimization may be considered as well. Here the case of generalized mutual exclusion constraint is considered for a Petri net plant. It has been shown that a constraint of this kind may be enforced via a monitor place. In this paper we propose an integer programming approach to synthesize the optimal monitor so as to minimize a given cost that represent a trade-off between the controller cost and cycle time of the closed loop net. More... »

PAGES

141-153

References to SciGraph publications

Book

TITLE

Synthesis and Control of Discrete Event Systems

ISBN

978-1-4419-4942-4
978-1-4757-6656-1

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-1-4757-6656-1_9

DOI

http://dx.doi.org/10.1007/978-1-4757-6656-1_9

DIMENSIONS

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


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/0102", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Applied Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Naples Federico II", 
          "id": "https://www.grid.ac/institutes/grid.4691.a", 
          "name": [
            "Dip. di Informatica e Sistemistica, Universit\u00e0 degli Studi di Napoli Federico II, Via Claudio, 21, 80125\u00a0Napoli, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Basile", 
        "givenName": "Francesco", 
        "id": "sg:person.015205030603.96", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015205030603.96"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Naples Federico II", 
          "id": "https://www.grid.ac/institutes/grid.4691.a", 
          "name": [
            "Dip. di Informatica e Sistemistica, Universit\u00e0 degli Studi di Napoli Federico II, Via Claudio, 21, 80125\u00a0Napoli, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Chiacchio", 
        "givenName": "Pasquale", 
        "id": "sg:person.013342637106.05", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013342637106.05"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Cagliari", 
          "id": "https://www.grid.ac/institutes/grid.7763.5", 
          "name": [
            "Dip. di Ing. Elettrica ed Elettronica, Universit\u00e0 di Cagliari, Piazza d\u2019Armi, 09123\u00a0Cagliari, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Giua", 
        "givenName": "Alessandro", 
        "id": "sg:person.016465545631.91", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016465545631.91"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/0005-1098(91)90055-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032242245"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0005-1098(91)90055-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032242245"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0005-1098(95)00103-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1036098626"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-55610-9_178", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1049800689", 
          "https://doi.org/10.1007/3-540-55610-9_178"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/32.67593", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061154421"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/5.21072", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061178998"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/5.24143", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061179070"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/81.139289", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061235809"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/9.280750", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061243828"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cdc.2000.912800", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095708545"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cdc.1996.577490", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095782390"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2002", 
    "datePublishedReg": "2002-01-01", 
    "description": "The classical partition of the event set into controllable and uncontrollable events from supervisory control theory is replaced by introducing the concept of control and observation cost of an event. This leads naturally to consider an optimal control problem for a given logical control specification. On the other hand, if we consider a timed model a performance optimization may be considered as well. Here the case of generalized mutual exclusion constraint is considered for a Petri net plant. It has been shown that a constraint of this kind may be enforced via a monitor place. In this paper we propose an integer programming approach to synthesize the optimal monitor so as to minimize a given cost that represent a trade-off between the controller cost and cycle time of the closed loop net.", 
    "editor": [
      {
        "familyName": "Caillaud", 
        "givenName": "Beno\u00eet", 
        "type": "Person"
      }, 
      {
        "familyName": "Darondeau", 
        "givenName": "Philippe", 
        "type": "Person"
      }, 
      {
        "familyName": "Lavagno", 
        "givenName": "Luciano", 
        "type": "Person"
      }, 
      {
        "familyName": "Xie", 
        "givenName": "Xiaolan", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-1-4757-6656-1_9", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-1-4419-4942-4", 
        "978-1-4757-6656-1"
      ], 
      "name": "Synthesis and Control of Discrete Event Systems", 
      "type": "Book"
    }, 
    "name": "Optimal Petri Net Monitor Design", 
    "pagination": "141-153", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-1-4757-6656-1_9"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "fb693ab24538ed7f34b78207c8f1297aa3dbb3f8a2b351333f6b063f01f80592"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1052780667"
        ]
      }
    ], 
    "publisher": {
      "location": "Boston, MA", 
      "name": "Springer US", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-1-4757-6656-1_9", 
      "https://app.dimensions.ai/details/publication/pub.1052780667"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T14:28", 
    "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_8669_00000276.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-1-4757-6656-1_9"
  }
]
 

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.1007/978-1-4757-6656-1_9'

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.1007/978-1-4757-6656-1_9'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-1-4757-6656-1_9'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-1-4757-6656-1_9'


 

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

128 TRIPLES      23 PREDICATES      37 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-1-4757-6656-1_9 schema:about anzsrc-for:01
2 anzsrc-for:0102
3 schema:author N2d04c35de20f4c92bb57c901a683e4c5
4 schema:citation sg:pub.10.1007/3-540-55610-9_178
5 https://doi.org/10.1016/0005-1098(91)90055-7
6 https://doi.org/10.1016/0005-1098(95)00103-4
7 https://doi.org/10.1109/32.67593
8 https://doi.org/10.1109/5.21072
9 https://doi.org/10.1109/5.24143
10 https://doi.org/10.1109/81.139289
11 https://doi.org/10.1109/9.280750
12 https://doi.org/10.1109/cdc.1996.577490
13 https://doi.org/10.1109/cdc.2000.912800
14 schema:datePublished 2002
15 schema:datePublishedReg 2002-01-01
16 schema:description The classical partition of the event set into controllable and uncontrollable events from supervisory control theory is replaced by introducing the concept of control and observation cost of an event. This leads naturally to consider an optimal control problem for a given logical control specification. On the other hand, if we consider a timed model a performance optimization may be considered as well. Here the case of generalized mutual exclusion constraint is considered for a Petri net plant. It has been shown that a constraint of this kind may be enforced via a monitor place. In this paper we propose an integer programming approach to synthesize the optimal monitor so as to minimize a given cost that represent a trade-off between the controller cost and cycle time of the closed loop net.
17 schema:editor N0c26772381df4de88bdbc9b11e9eb787
18 schema:genre chapter
19 schema:inLanguage en
20 schema:isAccessibleForFree true
21 schema:isPartOf N8b58100d82a84a2097c25861df93130f
22 schema:name Optimal Petri Net Monitor Design
23 schema:pagination 141-153
24 schema:productId N328c2f50ca0c40c7b07973a2a3866fec
25 Nc9d078eabafb4113a923a7b06125096b
26 Nf75055c7747e4598a9fb80cff23f5426
27 schema:publisher Ne42cbff5c9a14424a54222a539f28dc9
28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052780667
29 https://doi.org/10.1007/978-1-4757-6656-1_9
30 schema:sdDatePublished 2019-04-15T14:28
31 schema:sdLicense https://scigraph.springernature.com/explorer/license/
32 schema:sdPublisher Nc366f8f8d5754da59d8219acaad603c1
33 schema:url http://link.springer.com/10.1007/978-1-4757-6656-1_9
34 sgo:license sg:explorer/license/
35 sgo:sdDataset chapters
36 rdf:type schema:Chapter
37 N0c26772381df4de88bdbc9b11e9eb787 rdf:first N7cbdbc22b8d142d1b55f9d16b71cf886
38 rdf:rest Nc8c836fbc3784cffa28ce63b5443de5f
39 N2d04c35de20f4c92bb57c901a683e4c5 rdf:first sg:person.015205030603.96
40 rdf:rest N67f1120c78e14cffae94d6027b2a8dde
41 N328c2f50ca0c40c7b07973a2a3866fec schema:name readcube_id
42 schema:value fb693ab24538ed7f34b78207c8f1297aa3dbb3f8a2b351333f6b063f01f80592
43 rdf:type schema:PropertyValue
44 N437e86b39e7a4a62a7a44bf3723ec25e schema:familyName Darondeau
45 schema:givenName Philippe
46 rdf:type schema:Person
47 N53d720c458084f798d170200bed578f1 rdf:first N867f8e7717274dfcabbfc3295fed0572
48 rdf:rest Nf3375ed84b95432aa1dc35160d2c2a95
49 N67f1120c78e14cffae94d6027b2a8dde rdf:first sg:person.013342637106.05
50 rdf:rest Nf21ca9ae3b144756ae4a0be848a7583c
51 N7cbdbc22b8d142d1b55f9d16b71cf886 schema:familyName Caillaud
52 schema:givenName Benoît
53 rdf:type schema:Person
54 N867f8e7717274dfcabbfc3295fed0572 schema:familyName Lavagno
55 schema:givenName Luciano
56 rdf:type schema:Person
57 N8b58100d82a84a2097c25861df93130f schema:isbn 978-1-4419-4942-4
58 978-1-4757-6656-1
59 schema:name Synthesis and Control of Discrete Event Systems
60 rdf:type schema:Book
61 N8e0a0804bda649568b2020993699cdcb schema:familyName Xie
62 schema:givenName Xiaolan
63 rdf:type schema:Person
64 Nc366f8f8d5754da59d8219acaad603c1 schema:name Springer Nature - SN SciGraph project
65 rdf:type schema:Organization
66 Nc8c836fbc3784cffa28ce63b5443de5f rdf:first N437e86b39e7a4a62a7a44bf3723ec25e
67 rdf:rest N53d720c458084f798d170200bed578f1
68 Nc9d078eabafb4113a923a7b06125096b schema:name dimensions_id
69 schema:value pub.1052780667
70 rdf:type schema:PropertyValue
71 Ne42cbff5c9a14424a54222a539f28dc9 schema:location Boston, MA
72 schema:name Springer US
73 rdf:type schema:Organisation
74 Nf21ca9ae3b144756ae4a0be848a7583c rdf:first sg:person.016465545631.91
75 rdf:rest rdf:nil
76 Nf3375ed84b95432aa1dc35160d2c2a95 rdf:first N8e0a0804bda649568b2020993699cdcb
77 rdf:rest rdf:nil
78 Nf75055c7747e4598a9fb80cff23f5426 schema:name doi
79 schema:value 10.1007/978-1-4757-6656-1_9
80 rdf:type schema:PropertyValue
81 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
82 schema:name Mathematical Sciences
83 rdf:type schema:DefinedTerm
84 anzsrc-for:0102 schema:inDefinedTermSet anzsrc-for:
85 schema:name Applied Mathematics
86 rdf:type schema:DefinedTerm
87 sg:person.013342637106.05 schema:affiliation https://www.grid.ac/institutes/grid.4691.a
88 schema:familyName Chiacchio
89 schema:givenName Pasquale
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013342637106.05
91 rdf:type schema:Person
92 sg:person.015205030603.96 schema:affiliation https://www.grid.ac/institutes/grid.4691.a
93 schema:familyName Basile
94 schema:givenName Francesco
95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015205030603.96
96 rdf:type schema:Person
97 sg:person.016465545631.91 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
98 schema:familyName Giua
99 schema:givenName Alessandro
100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016465545631.91
101 rdf:type schema:Person
102 sg:pub.10.1007/3-540-55610-9_178 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049800689
103 https://doi.org/10.1007/3-540-55610-9_178
104 rdf:type schema:CreativeWork
105 https://doi.org/10.1016/0005-1098(91)90055-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032242245
106 rdf:type schema:CreativeWork
107 https://doi.org/10.1016/0005-1098(95)00103-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036098626
108 rdf:type schema:CreativeWork
109 https://doi.org/10.1109/32.67593 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061154421
110 rdf:type schema:CreativeWork
111 https://doi.org/10.1109/5.21072 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061178998
112 rdf:type schema:CreativeWork
113 https://doi.org/10.1109/5.24143 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061179070
114 rdf:type schema:CreativeWork
115 https://doi.org/10.1109/81.139289 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061235809
116 rdf:type schema:CreativeWork
117 https://doi.org/10.1109/9.280750 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061243828
118 rdf:type schema:CreativeWork
119 https://doi.org/10.1109/cdc.1996.577490 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095782390
120 rdf:type schema:CreativeWork
121 https://doi.org/10.1109/cdc.2000.912800 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095708545
122 rdf:type schema:CreativeWork
123 https://www.grid.ac/institutes/grid.4691.a schema:alternateName University of Naples Federico II
124 schema:name Dip. di Informatica e Sistemistica, Università degli Studi di Napoli Federico II, Via Claudio, 21, 80125 Napoli, Italy
125 rdf:type schema:Organization
126 https://www.grid.ac/institutes/grid.7763.5 schema:alternateName University of Cagliari
127 schema:name Dip. di Ing. Elettrica ed Elettronica, Università di Cagliari, Piazza d’Armi, 09123 Cagliari, Italy
128 rdf:type schema:Organization
 




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


...