Toward a Timed Theory of Channel Coding View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2012

AUTHORS

Eugene Asarin , Nicolas Basset , Marie-Pierre Béal , Aldric Degorre , Dominique Perrin

ABSTRACT

The classical theory of constrained-channel coding deals with the following questions: given two languages representing a source and a channel, is it possible to encode source messages to channel messages, and how to realize encoding and decoding by simple algorithms, most often transducers. The answers to this kind of questions are based on the notion of entropy. In the current paper, the questions and the results of the classical theory are lifted to timed languages. Using the notion of entropy of timed languages introduced by Asarin and Degorre, the question of timed coding is stated and solved in several settings. More... »

PAGES

27-42

References to SciGraph publications

  • 2009. Volume and Entropy of Regular Timed Languages: Discretization Approach in CONCUR 2009 - CONCURRENCY THEORY
  • 2009. Volume and Entropy of Regular Timed Languages: Analytic Approach in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2011. Thin and Thick Timed Regular Languages in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • Book

    TITLE

    Formal Modeling and Analysis of Timed Systems

    ISBN

    978-3-642-33364-4
    978-3-642-33365-1

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-642-33365-1_4

    DOI

    http://dx.doi.org/10.1007/978-3-642-33365-1_4

    DIMENSIONS

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


    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/0804", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Data Format", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Laboratoire d'Informatique Algorithmique: Fondements et Applications", 
              "id": "https://www.grid.ac/institutes/grid.462842.e", 
              "name": [
                "LIAFA, University Paris Diderot and CNRS, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Asarin", 
            "givenName": "Eugene", 
            "id": "sg:person.014724202705.41", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014724202705.41"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Laboratoire d'Informatique Gaspard-Monge", 
              "id": "https://www.grid.ac/institutes/grid.462940.d", 
              "name": [
                "LIGM, University Paris-Est Marne-la-Vall\u00e9e and CNRS, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Basset", 
            "givenName": "Nicolas", 
            "id": "sg:person.014372542370.01", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014372542370.01"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Laboratoire d'Informatique Gaspard-Monge", 
              "id": "https://www.grid.ac/institutes/grid.462940.d", 
              "name": [
                "LIGM, University Paris-Est Marne-la-Vall\u00e9e and CNRS, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "B\u00e9al", 
            "givenName": "Marie-Pierre", 
            "id": "sg:person.010500456313.85", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010500456313.85"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Laboratoire d'Informatique Algorithmique: Fondements et Applications", 
              "id": "https://www.grid.ac/institutes/grid.462842.e", 
              "name": [
                "LIAFA, University Paris Diderot and CNRS, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Degorre", 
            "givenName": "Aldric", 
            "id": "sg:person.012367276647.17", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012367276647.17"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Laboratoire d'Informatique Gaspard-Monge", 
              "id": "https://www.grid.ac/institutes/grid.462940.d", 
              "name": [
                "LIGM, University Paris-Est Marne-la-Vall\u00e9e and CNRS, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Perrin", 
            "givenName": "Dominique", 
            "id": "sg:person.016106347653.46", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016106347653.46"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-24310-3_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001708385", 
              "https://doi.org/10.1007/978-3-642-24310-3_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-24310-3_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001708385", 
              "https://doi.org/10.1007/978-3-642-24310-3_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-04368-0_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007694948", 
              "https://doi.org/10.1007/978-3-642-04368-0_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-04081-8_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016920144", 
              "https://doi.org/10.1007/978-3-642-04081-8_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(94)90010-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029576598"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0890-5401(03)00038-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033633786"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0890-5401(03)00038-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033633786"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/30.468040", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061151351"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511626302", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098666812"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9781139195768", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098732319"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2012", 
        "datePublishedReg": "2012-01-01", 
        "description": "The classical theory of constrained-channel coding deals with the following questions: given two languages representing a source and a channel, is it possible to encode source messages to channel messages, and how to realize encoding and decoding by simple algorithms, most often transducers. The answers to this kind of questions are based on the notion of entropy. In the current paper, the questions and the results of the classical theory are lifted to timed languages. Using the notion of entropy of timed languages introduced by Asarin and Degorre, the question of timed coding is stated and solved in several settings.", 
        "editor": [
          {
            "familyName": "Jurdzi\u0144ski", 
            "givenName": "Marcin", 
            "type": "Person"
          }, 
          {
            "familyName": "Ni\u010dkovi\u0107", 
            "givenName": "Dejan", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-642-33365-1_4", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-642-33364-4", 
            "978-3-642-33365-1"
          ], 
          "name": "Formal Modeling and Analysis of Timed Systems", 
          "type": "Book"
        }, 
        "name": "Toward a Timed Theory of Channel Coding", 
        "pagination": "27-42", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-642-33365-1_4"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "5bbc25fdd63b91ab0ef837efcbb1372ba119d1c3a64e571cd2bde468f659a9f1"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1019253314"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-642-33365-1_4", 
          "https://app.dimensions.ai/details/publication/pub.1019253314"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T16:16", 
        "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_00000255.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-642-33365-1_4"
      }
    ]
     

    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-3-642-33365-1_4'

    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-3-642-33365-1_4'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-33365-1_4'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-33365-1_4'


     

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

    128 TRIPLES      23 PREDICATES      35 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-642-33365-1_4 schema:about anzsrc-for:08
    2 anzsrc-for:0804
    3 schema:author Ne1932de2225d482084a6829f89b61402
    4 schema:citation sg:pub.10.1007/978-3-642-04081-8_6
    5 sg:pub.10.1007/978-3-642-04368-0_4
    6 sg:pub.10.1007/978-3-642-24310-3_9
    7 https://doi.org/10.1016/0304-3975(94)90010-8
    8 https://doi.org/10.1016/s0890-5401(03)00038-5
    9 https://doi.org/10.1017/cbo9780511626302
    10 https://doi.org/10.1017/cbo9781139195768
    11 https://doi.org/10.1109/30.468040
    12 schema:datePublished 2012
    13 schema:datePublishedReg 2012-01-01
    14 schema:description The classical theory of constrained-channel coding deals with the following questions: given two languages representing a source and a channel, is it possible to encode source messages to channel messages, and how to realize encoding and decoding by simple algorithms, most often transducers. The answers to this kind of questions are based on the notion of entropy. In the current paper, the questions and the results of the classical theory are lifted to timed languages. Using the notion of entropy of timed languages introduced by Asarin and Degorre, the question of timed coding is stated and solved in several settings.
    15 schema:editor Nb216acd25ede42ecb48b8dc6d726e681
    16 schema:genre chapter
    17 schema:inLanguage en
    18 schema:isAccessibleForFree true
    19 schema:isPartOf Nad9e128639b4470c9c3e8c7293418f02
    20 schema:name Toward a Timed Theory of Channel Coding
    21 schema:pagination 27-42
    22 schema:productId N455a27f36c5c41518bbd564e5a40a3a3
    23 N52af87b8470b4eb4b687111d3827eca9
    24 Nb7d00f7b64e044d7a5aabb6dc116cb09
    25 schema:publisher Nc4be47ca9a0f4f788a308399064e8699
    26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019253314
    27 https://doi.org/10.1007/978-3-642-33365-1_4
    28 schema:sdDatePublished 2019-04-15T16:16
    29 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    30 schema:sdPublisher Nd54bc3b85e6546dba83dbf75abfb4a7e
    31 schema:url http://link.springer.com/10.1007/978-3-642-33365-1_4
    32 sgo:license sg:explorer/license/
    33 sgo:sdDataset chapters
    34 rdf:type schema:Chapter
    35 N070297cb06534ed5aecaad8106da07a8 schema:familyName Jurdziński
    36 schema:givenName Marcin
    37 rdf:type schema:Person
    38 N455a27f36c5c41518bbd564e5a40a3a3 schema:name readcube_id
    39 schema:value 5bbc25fdd63b91ab0ef837efcbb1372ba119d1c3a64e571cd2bde468f659a9f1
    40 rdf:type schema:PropertyValue
    41 N52af87b8470b4eb4b687111d3827eca9 schema:name doi
    42 schema:value 10.1007/978-3-642-33365-1_4
    43 rdf:type schema:PropertyValue
    44 N5d9d230a07db42d2ae94d9d1481bf573 rdf:first sg:person.014372542370.01
    45 rdf:rest Na9ca9b0e12424fc8a06451559ea7a953
    46 N6a309716572e4342b5d978e8fa9df7a8 rdf:first sg:person.016106347653.46
    47 rdf:rest rdf:nil
    48 N826f660ea2da480b8a5b0e1f46d3ee30 rdf:first Nc7d6df76c4454d00b59af9ed465d3570
    49 rdf:rest rdf:nil
    50 Na9ca9b0e12424fc8a06451559ea7a953 rdf:first sg:person.010500456313.85
    51 rdf:rest Nbca355533a6845a089d4afcbbe6025b1
    52 Nad9e128639b4470c9c3e8c7293418f02 schema:isbn 978-3-642-33364-4
    53 978-3-642-33365-1
    54 schema:name Formal Modeling and Analysis of Timed Systems
    55 rdf:type schema:Book
    56 Nb216acd25ede42ecb48b8dc6d726e681 rdf:first N070297cb06534ed5aecaad8106da07a8
    57 rdf:rest N826f660ea2da480b8a5b0e1f46d3ee30
    58 Nb7d00f7b64e044d7a5aabb6dc116cb09 schema:name dimensions_id
    59 schema:value pub.1019253314
    60 rdf:type schema:PropertyValue
    61 Nbca355533a6845a089d4afcbbe6025b1 rdf:first sg:person.012367276647.17
    62 rdf:rest N6a309716572e4342b5d978e8fa9df7a8
    63 Nc4be47ca9a0f4f788a308399064e8699 schema:location Berlin, Heidelberg
    64 schema:name Springer Berlin Heidelberg
    65 rdf:type schema:Organisation
    66 Nc7d6df76c4454d00b59af9ed465d3570 schema:familyName Ničković
    67 schema:givenName Dejan
    68 rdf:type schema:Person
    69 Nd54bc3b85e6546dba83dbf75abfb4a7e schema:name Springer Nature - SN SciGraph project
    70 rdf:type schema:Organization
    71 Ne1932de2225d482084a6829f89b61402 rdf:first sg:person.014724202705.41
    72 rdf:rest N5d9d230a07db42d2ae94d9d1481bf573
    73 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    74 schema:name Information and Computing Sciences
    75 rdf:type schema:DefinedTerm
    76 anzsrc-for:0804 schema:inDefinedTermSet anzsrc-for:
    77 schema:name Data Format
    78 rdf:type schema:DefinedTerm
    79 sg:person.010500456313.85 schema:affiliation https://www.grid.ac/institutes/grid.462940.d
    80 schema:familyName Béal
    81 schema:givenName Marie-Pierre
    82 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010500456313.85
    83 rdf:type schema:Person
    84 sg:person.012367276647.17 schema:affiliation https://www.grid.ac/institutes/grid.462842.e
    85 schema:familyName Degorre
    86 schema:givenName Aldric
    87 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012367276647.17
    88 rdf:type schema:Person
    89 sg:person.014372542370.01 schema:affiliation https://www.grid.ac/institutes/grid.462940.d
    90 schema:familyName Basset
    91 schema:givenName Nicolas
    92 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014372542370.01
    93 rdf:type schema:Person
    94 sg:person.014724202705.41 schema:affiliation https://www.grid.ac/institutes/grid.462842.e
    95 schema:familyName Asarin
    96 schema:givenName Eugene
    97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014724202705.41
    98 rdf:type schema:Person
    99 sg:person.016106347653.46 schema:affiliation https://www.grid.ac/institutes/grid.462940.d
    100 schema:familyName Perrin
    101 schema:givenName Dominique
    102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016106347653.46
    103 rdf:type schema:Person
    104 sg:pub.10.1007/978-3-642-04081-8_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016920144
    105 https://doi.org/10.1007/978-3-642-04081-8_6
    106 rdf:type schema:CreativeWork
    107 sg:pub.10.1007/978-3-642-04368-0_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007694948
    108 https://doi.org/10.1007/978-3-642-04368-0_4
    109 rdf:type schema:CreativeWork
    110 sg:pub.10.1007/978-3-642-24310-3_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001708385
    111 https://doi.org/10.1007/978-3-642-24310-3_9
    112 rdf:type schema:CreativeWork
    113 https://doi.org/10.1016/0304-3975(94)90010-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029576598
    114 rdf:type schema:CreativeWork
    115 https://doi.org/10.1016/s0890-5401(03)00038-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033633786
    116 rdf:type schema:CreativeWork
    117 https://doi.org/10.1017/cbo9780511626302 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098666812
    118 rdf:type schema:CreativeWork
    119 https://doi.org/10.1017/cbo9781139195768 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098732319
    120 rdf:type schema:CreativeWork
    121 https://doi.org/10.1109/30.468040 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061151351
    122 rdf:type schema:CreativeWork
    123 https://www.grid.ac/institutes/grid.462842.e schema:alternateName Laboratoire d'Informatique Algorithmique: Fondements et Applications
    124 schema:name LIAFA, University Paris Diderot and CNRS, France
    125 rdf:type schema:Organization
    126 https://www.grid.ac/institutes/grid.462940.d schema:alternateName Laboratoire d'Informatique Gaspard-Monge
    127 schema:name LIGM, University Paris-Est Marne-la-Vallée and CNRS, France
    128 rdf:type schema:Organization
     




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


    ...