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

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 Nfdbbc195ec3c40d9a0716dcececed0da
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 N5e9f9ddf741943fa9f95bd9cf9c37045
18 schema:genre chapter
19 schema:inLanguage en
20 schema:isAccessibleForFree true
21 schema:isPartOf N84b5f601f2cd44c9b24382ecc68b0210
22 schema:name Optimal Petri Net Monitor Design
23 schema:pagination 141-153
24 schema:productId N45419bbae8914bf9ac6219d642024c7f
25 N6dea040842bf46e98e76114a602a27b5
26 Nd4f79cc669214faa9b064b998ea92917
27 schema:publisher N4c8549a3639642e8adcfba7ffec9e948
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 N3367e6e6305f4143bd6084b744d4e607
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 N1f3d1d07ce75430ca9a9d6a695eea7d8 rdf:first Nacd3b7d897a240b0915aac9e5f28c708
38 rdf:rest rdf:nil
39 N3367e6e6305f4143bd6084b744d4e607 schema:name Springer Nature - SN SciGraph project
40 rdf:type schema:Organization
41 N35724f9f41804589a9f1704c38f42f2a schema:familyName Lavagno
42 schema:givenName Luciano
43 rdf:type schema:Person
44 N45419bbae8914bf9ac6219d642024c7f schema:name dimensions_id
45 schema:value pub.1052780667
46 rdf:type schema:PropertyValue
47 N4c8549a3639642e8adcfba7ffec9e948 schema:location Boston, MA
48 schema:name Springer US
49 rdf:type schema:Organisation
50 N5e9f9ddf741943fa9f95bd9cf9c37045 rdf:first N8a5d15c386fc4930bef957f1dce457e8
51 rdf:rest N7236685b455d4797b21dbc84f66304ba
52 N6dea040842bf46e98e76114a602a27b5 schema:name doi
53 schema:value 10.1007/978-1-4757-6656-1_9
54 rdf:type schema:PropertyValue
55 N7236685b455d4797b21dbc84f66304ba rdf:first Nc8147923a6bc46ec9669b3c9d8bc0669
56 rdf:rest Nc24d5a8788d54e88b1b7d0a5c991ca40
57 N84b5f601f2cd44c9b24382ecc68b0210 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 N8a5d15c386fc4930bef957f1dce457e8 schema:familyName Caillaud
62 schema:givenName Benoît
63 rdf:type schema:Person
64 Na008400304d64481928247d560f7e1e4 rdf:first sg:person.016465545631.91
65 rdf:rest rdf:nil
66 Nacd3b7d897a240b0915aac9e5f28c708 schema:familyName Xie
67 schema:givenName Xiaolan
68 rdf:type schema:Person
69 Nae83a4d2bfa34dee9cc9e0404c31349c rdf:first sg:person.013342637106.05
70 rdf:rest Na008400304d64481928247d560f7e1e4
71 Nc24d5a8788d54e88b1b7d0a5c991ca40 rdf:first N35724f9f41804589a9f1704c38f42f2a
72 rdf:rest N1f3d1d07ce75430ca9a9d6a695eea7d8
73 Nc8147923a6bc46ec9669b3c9d8bc0669 schema:familyName Darondeau
74 schema:givenName Philippe
75 rdf:type schema:Person
76 Nd4f79cc669214faa9b064b998ea92917 schema:name readcube_id
77 schema:value fb693ab24538ed7f34b78207c8f1297aa3dbb3f8a2b351333f6b063f01f80592
78 rdf:type schema:PropertyValue
79 Nfdbbc195ec3c40d9a0716dcececed0da rdf:first sg:person.015205030603.96
80 rdf:rest Nae83a4d2bfa34dee9cc9e0404c31349c
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)


...