Ontology type: schema:ScholarlyArticle
2018-06
AUTHORSYin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
ABSTRACTIn this paper we tackle the opacity enforcement problem in discrete event systems using supervisory control theory. In particular, we consider the case where the intruder and the supervisor may observe different sets of events and neither of these sets needs to be contained in the other one. Moreover, there may be controllable events that cannot be observed by the supervisor. We propose a finite structure, called an augmented I-observer, to characterize the strings that will not leak the secret. Based on such a structure, a locally optimal supervisor enforcing current-state opacity is designed. More... »
PAGES161-182
http://scigraph.springernature.com/pub.10.1007/s10626-017-0264-7
DOIhttp://dx.doi.org/10.1007/s10626-017-0264-7
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1092593181
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": "Southwest Jiaotong University",
"id": "https://www.grid.ac/institutes/grid.263901.f",
"name": [
"SIST, Southwest Jiaotong University, 611756, Chengdu, China"
],
"type": "Organization"
},
"familyName": "Tong",
"givenName": "Yin",
"id": "sg:person.015274045215.70",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015274045215.70"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Xidian University",
"id": "https://www.grid.ac/institutes/grid.440736.2",
"name": [
"ISE, Macau University of Science and Technology, Taipa, Macau, China",
"SEME, Xidian University, 710071, Xi\u2019an, China"
],
"type": "Organization"
},
"familyName": "Li",
"givenName": "Zhiwu",
"id": "sg:person.010367273543.74",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010367273543.74"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "University of Cagliari",
"id": "https://www.grid.ac/institutes/grid.7763.5",
"name": [
"DIEE, University of Cagliari, 09123, Cagliari, Italy"
],
"type": "Organization"
},
"familyName": "Seatzu",
"givenName": "Carla",
"id": "sg:person.07517352426.75",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07517352426.75"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Laboratoire des Sciences de l'Information et des Syst\u00e8mes",
"id": "https://www.grid.ac/institutes/grid.462878.7",
"name": [
"DIEE, University of Cagliari, 09123, Cagliari, Italy",
"Aix Marseille Universit\u00e9, Universit\u00e9 de Toulon, CNRS, ENSAM, LSIS, Marseille, France"
],
"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": "sg:pub.10.1007/bf01797138",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1004422029",
"https://doi.org/10.1007/bf01797138"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf01797138",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1004422029",
"https://doi.org/10.1007/bf01797138"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s10626-012-0152-0",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1012399665",
"https://doi.org/10.1007/s10626-012-0152-0"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.automatica.2014.02.038",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1017650065"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.9746/jcmsi.1.307",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1021223559"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf01438708",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1021810810",
"https://doi.org/10.1007/bf01438708"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf01438708",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1021810810",
"https://doi.org/10.1007/bf01438708"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-04761-9_26",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1022795197",
"https://doi.org/10.1007/978-3-642-04761-9_26"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-04761-9_26",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1022795197",
"https://doi.org/10.1007/978-3-642-04761-9_26"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.automatica.2011.01.002",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1022835102"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-27755-2_8",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1035124841",
"https://doi.org/10.1007/978-3-540-27755-2_8"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-27755-2_8",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1035124841",
"https://doi.org/10.1007/978-3-540-27755-2_8"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s10626-014-0196-4",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1040425274",
"https://doi.org/10.1007/s10626-014-0196-4"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s10626-012-0145-z",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1041658809",
"https://doi.org/10.1007/s10626-012-0145-z"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s10207-008-0058-x",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1043898440",
"https://doi.org/10.1007/s10207-008-0058-x"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s10207-008-0058-x",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1043898440",
"https://doi.org/10.1007/s10207-008-0058-x"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s10626-007-0020-5",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1044497628",
"https://doi.org/10.1007/s10626-007-0020-5"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s10703-012-0141-9",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1047089190",
"https://doi.org/10.1007/s10703-012-0141-9"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf02551361",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1047882968",
"https://doi.org/10.1007/bf02551361"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf02551361",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1047882968",
"https://doi.org/10.1007/bf02551361"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.3233/jcs-2004-123-403",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1048697890"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1145/290163.290168",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1049494949"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.entcs.2004.10.010",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1051092063"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-0-387-68612-7",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1052456590",
"https://doi.org/10.1007/978-0-387-68612-7"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-0-387-68612-7",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1052456590",
"https://doi.org/10.1007/978-0-387-68612-7"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-0-387-68612-7",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1052456590",
"https://doi.org/10.1007/978-0-387-68612-7"
],
"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/tac.2010.2042008",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061477504"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/tac.2011.2170453",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061478185"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/tac.2014.2341891",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061479207"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/tac.2015.2460391",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061479678"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/tac.2015.2484359",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061479769"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/tac.2016.2620429",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061480320"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/tsmcb.2005.847749",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061796484"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/tsmcb.2005.847749",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061796484"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.automatica.2017.01.013",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1084060654"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/sp.1982.10014",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1086160523"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/acc.2015.7171016",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1093174891"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/wodes.2008.4605918",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1093577683"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/acc.2016.7525005",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1093670528"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/cdc.2015.7402762",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1094600049"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/cdc.2007.4434515",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1094680261"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/wodes.2008.4605967",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1094781164"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/acc.2015.7170765",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1094991222"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/cdc.2015.7402224",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1095065570"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/wodes.2016.7497865",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1095390775"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/ccdc.2012.6244117",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1095662886"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/allerton.2011.6120292",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1095769213"
],
"type": "CreativeWork"
}
],
"datePublished": "2018-06",
"datePublishedReg": "2018-06-01",
"description": "In this paper we tackle the opacity enforcement problem in discrete event systems using supervisory control theory. In particular, we consider the case where the intruder and the supervisor may observe different sets of events and neither of these sets needs to be contained in the other one. Moreover, there may be controllable events that cannot be observed by the supervisor. We propose a finite structure, called an augmented I-observer, to characterize the strings that will not leak the secret. Based on such a structure, a locally optimal supervisor enforcing current-state opacity is designed.",
"genre": "research_article",
"id": "sg:pub.10.1007/s10626-017-0264-7",
"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": "28"
}
],
"name": "Current-state opacity enforcement in discrete event systems under incomparable observations",
"pagination": "161-182",
"productId": [
{
"name": "readcube_id",
"type": "PropertyValue",
"value": [
"a5a698f9bff747dc19c7adeb05fe74dbdb4e45d8728819eda0accbd9d5d3b0bf"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/s10626-017-0264-7"
]
},
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1092593181"
]
}
],
"sameAs": [
"https://doi.org/10.1007/s10626-017-0264-7",
"https://app.dimensions.ai/details/publication/pub.1092593181"
],
"sdDataset": "articles",
"sdDatePublished": "2019-04-10T18:33",
"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_8675_00000609.jsonl",
"type": "ScholarlyArticle",
"url": "https://link.springer.com/10.1007%2Fs10626-017-0264-7"
}
]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/s10626-017-0264-7'
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/s10626-017-0264-7'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10626-017-0264-7'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10626-017-0264-7'
This table displays all metadata directly associated to this object as RDF triples.
222 TRIPLES
21 PREDICATES
66 URIs
19 LITERALS
7 BLANK NODES