Current-state opacity enforcement in discrete event systems under incomparable observations View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2018-06

AUTHORS

Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua

ABSTRACT

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. More... »

PAGES

161-182

References to SciGraph publications

  • 2007-12. Concurrent Secrets in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2015-12. Enforcement and validation (at runtime) of various notions of opacity in DISCRETE EVENT DYNAMIC SYSTEMS
  • 1994-07. On-line control of partially observed discrete event systems in DISCRETE EVENT DYNAMIC SYSTEMS
  • 1996-10. Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2008. Introduction to Discrete Event Systems in NONE
  • 2012-02. Synthesis of opaque systems with static and dynamic masks in FORMAL METHODS IN SYSTEM DESIGN
  • 2009. Dynamic Observers for the Synthesis of Opaque Systems in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2008-11. Opacity generalised to transition systems in INTERNATIONAL JOURNAL OF INFORMATION SECURITY
  • 2014-09. Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2004. A Survey on Non-interference with Petri Nets in LECTURES ON CONCURRENCY AND PETRI NETS
  • 1989-03. On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation in MATHEMATICS OF CONTROL, SIGNALS, AND SYSTEMS
  • 2013-09. Comparative analysis of related notions of opacity in centralized and coordinated architectures in DISCRETE EVENT DYNAMIC SYSTEMS
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10626-017-0264-7

    DOI

    http://dx.doi.org/10.1007/s10626-017-0264-7

    DIMENSIONS

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


    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": "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

    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/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

    Subject Predicate Object
    1 sg:pub.10.1007/s10626-017-0264-7 schema:about anzsrc-for:01
    2 anzsrc-for:0102
    3 schema:author N781c4695063d4565a9530d8de9724189
    4 schema:citation sg:pub.10.1007/978-0-387-68612-7
    5 sg:pub.10.1007/978-3-540-27755-2_8
    6 sg:pub.10.1007/978-3-642-04761-9_26
    7 sg:pub.10.1007/bf01438708
    8 sg:pub.10.1007/bf01797138
    9 sg:pub.10.1007/bf02551361
    10 sg:pub.10.1007/s10207-008-0058-x
    11 sg:pub.10.1007/s10626-007-0020-5
    12 sg:pub.10.1007/s10626-012-0145-z
    13 sg:pub.10.1007/s10626-012-0152-0
    14 sg:pub.10.1007/s10626-014-0196-4
    15 sg:pub.10.1007/s10703-012-0141-9
    16 https://doi.org/10.1016/j.automatica.2011.01.002
    17 https://doi.org/10.1016/j.automatica.2014.02.038
    18 https://doi.org/10.1016/j.automatica.2017.01.013
    19 https://doi.org/10.1016/j.entcs.2004.10.010
    20 https://doi.org/10.1109/5.21072
    21 https://doi.org/10.1109/acc.2015.7170765
    22 https://doi.org/10.1109/acc.2015.7171016
    23 https://doi.org/10.1109/acc.2016.7525005
    24 https://doi.org/10.1109/allerton.2011.6120292
    25 https://doi.org/10.1109/ccdc.2012.6244117
    26 https://doi.org/10.1109/cdc.2007.4434515
    27 https://doi.org/10.1109/cdc.2015.7402224
    28 https://doi.org/10.1109/cdc.2015.7402762
    29 https://doi.org/10.1109/sp.1982.10014
    30 https://doi.org/10.1109/tac.2010.2042008
    31 https://doi.org/10.1109/tac.2011.2170453
    32 https://doi.org/10.1109/tac.2014.2341891
    33 https://doi.org/10.1109/tac.2015.2460391
    34 https://doi.org/10.1109/tac.2015.2484359
    35 https://doi.org/10.1109/tac.2016.2620429
    36 https://doi.org/10.1109/tsmcb.2005.847749
    37 https://doi.org/10.1109/wodes.2008.4605918
    38 https://doi.org/10.1109/wodes.2008.4605967
    39 https://doi.org/10.1109/wodes.2016.7497865
    40 https://doi.org/10.1145/290163.290168
    41 https://doi.org/10.3233/jcs-2004-123-403
    42 https://doi.org/10.9746/jcmsi.1.307
    43 schema:datePublished 2018-06
    44 schema:datePublishedReg 2018-06-01
    45 schema: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.
    46 schema:genre research_article
    47 schema:inLanguage en
    48 schema:isAccessibleForFree false
    49 schema:isPartOf N05aa874e603b42448490ade187d15d8e
    50 Nfb225d9254b6407c850943cdcf1567ad
    51 sg:journal.1136419
    52 schema:name Current-state opacity enforcement in discrete event systems under incomparable observations
    53 schema:pagination 161-182
    54 schema:productId N150a218c714f437cbc4823a85b353d19
    55 N7d07cddb8cc64921bcf6fad7ac5a2b58
    56 Na2b98fe70d4e41358701c7e9fea49900
    57 schema:sameAs https://app.dimensions.ai/details/publication/pub.1092593181
    58 https://doi.org/10.1007/s10626-017-0264-7
    59 schema:sdDatePublished 2019-04-10T18:33
    60 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    61 schema:sdPublisher Ncbec545cfa1d4eedb2c503468eb913ca
    62 schema:url https://link.springer.com/10.1007%2Fs10626-017-0264-7
    63 sgo:license sg:explorer/license/
    64 sgo:sdDataset articles
    65 rdf:type schema:ScholarlyArticle
    66 N05aa874e603b42448490ade187d15d8e schema:issueNumber 2
    67 rdf:type schema:PublicationIssue
    68 N150a218c714f437cbc4823a85b353d19 schema:name readcube_id
    69 schema:value a5a698f9bff747dc19c7adeb05fe74dbdb4e45d8728819eda0accbd9d5d3b0bf
    70 rdf:type schema:PropertyValue
    71 N781c4695063d4565a9530d8de9724189 rdf:first sg:person.015274045215.70
    72 rdf:rest Nf78bde9d10cd438db196f2a946103642
    73 N7d07cddb8cc64921bcf6fad7ac5a2b58 schema:name doi
    74 schema:value 10.1007/s10626-017-0264-7
    75 rdf:type schema:PropertyValue
    76 Na2b98fe70d4e41358701c7e9fea49900 schema:name dimensions_id
    77 schema:value pub.1092593181
    78 rdf:type schema:PropertyValue
    79 Ncbec545cfa1d4eedb2c503468eb913ca schema:name Springer Nature - SN SciGraph project
    80 rdf:type schema:Organization
    81 Ncdea261bfb4a4c4ca2b3302ed0bd8f05 rdf:first sg:person.07517352426.75
    82 rdf:rest Nd42b959f7677491eba2bb64de22835c0
    83 Nd42b959f7677491eba2bb64de22835c0 rdf:first sg:person.016465545631.91
    84 rdf:rest rdf:nil
    85 Nf78bde9d10cd438db196f2a946103642 rdf:first sg:person.010367273543.74
    86 rdf:rest Ncdea261bfb4a4c4ca2b3302ed0bd8f05
    87 Nfb225d9254b6407c850943cdcf1567ad schema:volumeNumber 28
    88 rdf:type schema:PublicationVolume
    89 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
    90 schema:name Mathematical Sciences
    91 rdf:type schema:DefinedTerm
    92 anzsrc-for:0102 schema:inDefinedTermSet anzsrc-for:
    93 schema:name Applied Mathematics
    94 rdf:type schema:DefinedTerm
    95 sg:journal.1136419 schema:issn 0924-6703
    96 1573-7594
    97 schema:name Discrete Event Dynamic Systems
    98 rdf:type schema:Periodical
    99 sg:person.010367273543.74 schema:affiliation https://www.grid.ac/institutes/grid.440736.2
    100 schema:familyName Li
    101 schema:givenName Zhiwu
    102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010367273543.74
    103 rdf:type schema:Person
    104 sg:person.015274045215.70 schema:affiliation https://www.grid.ac/institutes/grid.263901.f
    105 schema:familyName Tong
    106 schema:givenName Yin
    107 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015274045215.70
    108 rdf:type schema:Person
    109 sg:person.016465545631.91 schema:affiliation https://www.grid.ac/institutes/grid.462878.7
    110 schema:familyName Giua
    111 schema:givenName Alessandro
    112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016465545631.91
    113 rdf:type schema:Person
    114 sg:person.07517352426.75 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
    115 schema:familyName Seatzu
    116 schema:givenName Carla
    117 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07517352426.75
    118 rdf:type schema:Person
    119 sg:pub.10.1007/978-0-387-68612-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052456590
    120 https://doi.org/10.1007/978-0-387-68612-7
    121 rdf:type schema:CreativeWork
    122 sg:pub.10.1007/978-3-540-27755-2_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035124841
    123 https://doi.org/10.1007/978-3-540-27755-2_8
    124 rdf:type schema:CreativeWork
    125 sg:pub.10.1007/978-3-642-04761-9_26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022795197
    126 https://doi.org/10.1007/978-3-642-04761-9_26
    127 rdf:type schema:CreativeWork
    128 sg:pub.10.1007/bf01438708 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021810810
    129 https://doi.org/10.1007/bf01438708
    130 rdf:type schema:CreativeWork
    131 sg:pub.10.1007/bf01797138 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004422029
    132 https://doi.org/10.1007/bf01797138
    133 rdf:type schema:CreativeWork
    134 sg:pub.10.1007/bf02551361 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047882968
    135 https://doi.org/10.1007/bf02551361
    136 rdf:type schema:CreativeWork
    137 sg:pub.10.1007/s10207-008-0058-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1043898440
    138 https://doi.org/10.1007/s10207-008-0058-x
    139 rdf:type schema:CreativeWork
    140 sg:pub.10.1007/s10626-007-0020-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044497628
    141 https://doi.org/10.1007/s10626-007-0020-5
    142 rdf:type schema:CreativeWork
    143 sg:pub.10.1007/s10626-012-0145-z schema:sameAs https://app.dimensions.ai/details/publication/pub.1041658809
    144 https://doi.org/10.1007/s10626-012-0145-z
    145 rdf:type schema:CreativeWork
    146 sg:pub.10.1007/s10626-012-0152-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012399665
    147 https://doi.org/10.1007/s10626-012-0152-0
    148 rdf:type schema:CreativeWork
    149 sg:pub.10.1007/s10626-014-0196-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040425274
    150 https://doi.org/10.1007/s10626-014-0196-4
    151 rdf:type schema:CreativeWork
    152 sg:pub.10.1007/s10703-012-0141-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047089190
    153 https://doi.org/10.1007/s10703-012-0141-9
    154 rdf:type schema:CreativeWork
    155 https://doi.org/10.1016/j.automatica.2011.01.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022835102
    156 rdf:type schema:CreativeWork
    157 https://doi.org/10.1016/j.automatica.2014.02.038 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017650065
    158 rdf:type schema:CreativeWork
    159 https://doi.org/10.1016/j.automatica.2017.01.013 schema:sameAs https://app.dimensions.ai/details/publication/pub.1084060654
    160 rdf:type schema:CreativeWork
    161 https://doi.org/10.1016/j.entcs.2004.10.010 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051092063
    162 rdf:type schema:CreativeWork
    163 https://doi.org/10.1109/5.21072 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061178998
    164 rdf:type schema:CreativeWork
    165 https://doi.org/10.1109/acc.2015.7170765 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094991222
    166 rdf:type schema:CreativeWork
    167 https://doi.org/10.1109/acc.2015.7171016 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093174891
    168 rdf:type schema:CreativeWork
    169 https://doi.org/10.1109/acc.2016.7525005 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093670528
    170 rdf:type schema:CreativeWork
    171 https://doi.org/10.1109/allerton.2011.6120292 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095769213
    172 rdf:type schema:CreativeWork
    173 https://doi.org/10.1109/ccdc.2012.6244117 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095662886
    174 rdf:type schema:CreativeWork
    175 https://doi.org/10.1109/cdc.2007.4434515 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094680261
    176 rdf:type schema:CreativeWork
    177 https://doi.org/10.1109/cdc.2015.7402224 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095065570
    178 rdf:type schema:CreativeWork
    179 https://doi.org/10.1109/cdc.2015.7402762 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094600049
    180 rdf:type schema:CreativeWork
    181 https://doi.org/10.1109/sp.1982.10014 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086160523
    182 rdf:type schema:CreativeWork
    183 https://doi.org/10.1109/tac.2010.2042008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061477504
    184 rdf:type schema:CreativeWork
    185 https://doi.org/10.1109/tac.2011.2170453 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061478185
    186 rdf:type schema:CreativeWork
    187 https://doi.org/10.1109/tac.2014.2341891 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061479207
    188 rdf:type schema:CreativeWork
    189 https://doi.org/10.1109/tac.2015.2460391 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061479678
    190 rdf:type schema:CreativeWork
    191 https://doi.org/10.1109/tac.2015.2484359 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061479769
    192 rdf:type schema:CreativeWork
    193 https://doi.org/10.1109/tac.2016.2620429 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061480320
    194 rdf:type schema:CreativeWork
    195 https://doi.org/10.1109/tsmcb.2005.847749 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061796484
    196 rdf:type schema:CreativeWork
    197 https://doi.org/10.1109/wodes.2008.4605918 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093577683
    198 rdf:type schema:CreativeWork
    199 https://doi.org/10.1109/wodes.2008.4605967 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094781164
    200 rdf:type schema:CreativeWork
    201 https://doi.org/10.1109/wodes.2016.7497865 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095390775
    202 rdf:type schema:CreativeWork
    203 https://doi.org/10.1145/290163.290168 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049494949
    204 rdf:type schema:CreativeWork
    205 https://doi.org/10.3233/jcs-2004-123-403 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048697890
    206 rdf:type schema:CreativeWork
    207 https://doi.org/10.9746/jcmsi.1.307 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021223559
    208 rdf:type schema:CreativeWork
    209 https://www.grid.ac/institutes/grid.263901.f schema:alternateName Southwest Jiaotong University
    210 schema:name SIST, Southwest Jiaotong University, 611756, Chengdu, China
    211 rdf:type schema:Organization
    212 https://www.grid.ac/institutes/grid.440736.2 schema:alternateName Xidian University
    213 schema:name ISE, Macau University of Science and Technology, Taipa, Macau, China
    214 SEME, Xidian University, 710071, Xi’an, China
    215 rdf:type schema:Organization
    216 https://www.grid.ac/institutes/grid.462878.7 schema:alternateName Laboratoire des Sciences de l'Information et des Systèmes
    217 schema:name Aix Marseille Université, Université de Toulon, CNRS, ENSAM, LSIS, Marseille, France
    218 DIEE, University of Cagliari, 09123, Cagliari, Italy
    219 rdf:type schema:Organization
    220 https://www.grid.ac/institutes/grid.7763.5 schema:alternateName University of Cagliari
    221 schema:name DIEE, University of Cagliari, 09123, Cagliari, Italy
    222 rdf:type schema:Organization
     




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


    ...