2002
AUTHORSFrancesco Basile , Pasquale Chiacchio , Alessandro Giua
ABSTRACTThe 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... »
PAGES141-153
Synthesis and Control of Discrete Event Systems
ISBN
978-1-4419-4942-4
978-1-4757-6656-1
http://scigraph.springernature.com/pub.10.1007/978-1-4757-6656-1_9
DOIhttp://dx.doi.org/10.1007/978-1-4757-6656-1_9
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1052780667
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
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