Toward an Approximation Theory for Computerised Control View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2002-10-24

AUTHORS

Paul Caspi , Albert Benveniste

ABSTRACT

This paper addresses the question of extending the usual approximation and sampling theory of continuous signals and systems to those encompassing discontinuities, such as found in modern complex control systems (mode switches for instance). We provide some evidence that the Skorokhod topology is a good candidate for dealing with those cases in a uniform manner by showing that, in the boolean case, Skorokhod uniformly continuous signals are exactly the signals with uniform bounded variability. More... »

PAGES

294-304

References to SciGraph publications

  • 1993. Models for hybrid systems: Automata, topologies, controllability, observability in HYBRID SYSTEMS
  • 2002-03-14. Digitisation and Full Abstraction for Dense-Time Model Checking in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2002-01-22. Threshold and Bounded-Delay Voting in Critical Control Systems in FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS
  • 1998. On discretization of delays in timed automata and digital circuits in CONCUR'98 CONCURRENCY THEORY
  • Book

    TITLE

    Embedded Software

    ISBN

    978-3-540-44307-0
    978-3-540-45828-9

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/3-540-45828-x_22

    DOI

    http://dx.doi.org/10.1007/3-540-45828-x_22

    DIMENSIONS

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


    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/0913", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Mechanical Engineering", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/09", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Engineering", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Verimag", 
              "id": "https://www.grid.ac/institutes/grid.464170.0", 
              "name": [
                "Verimag (CNRS), Centre Equation, 2, rue de Vignate, 38610, Gieres, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Caspi", 
            "givenName": "Paul", 
            "id": "sg:person.010062202103.20", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010062202103.20"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Rennes 1", 
              "id": "https://www.grid.ac/institutes/grid.410368.8", 
              "name": [
                "Irisa/Inria, Campus de Beaulieu, F-35042, Rennes, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Benveniste", 
            "givenName": "Albert", 
            "id": "sg:person.011174600625.42", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/3-540-45352-0_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009878471", 
              "https://doi.org/10.1007/3-540-45352-0_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45352-0_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009878471", 
              "https://doi.org/10.1007/3-540-45352-0_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-46002-0_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034012404", 
              "https://doi.org/10.1007/3-540-46002-0_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-46002-0_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034012404", 
              "https://doi.org/10.1007/3-540-46002-0_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-57318-6_35", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041285697", 
              "https://doi.org/10.1007/3-540-57318-6_35"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1076/1387-3954(200003)6:1;1-q;ft030", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051562756"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0055642", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052557339", 
              "https://doi.org/10.1007/bfb0055642"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/5.871304", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061180192"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/proc.1978.11114", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061444044"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cdc.1993.325609", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086315455"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cdc.1998.761978", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093707964"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/9780470316962", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1109489376"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://app.dimensions.ai/details/publication/pub.1109489376", 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2002-10-24", 
        "datePublishedReg": "2002-10-24", 
        "description": "This paper addresses the question of extending the usual approximation and sampling theory of continuous signals and systems to those encompassing discontinuities, such as found in modern complex control systems (mode switches for instance). We provide some evidence that the Skorokhod topology is a good candidate for dealing with those cases in a uniform manner by showing that, in the boolean case, Skorokhod uniformly continuous signals are exactly the signals with uniform bounded variability.", 
        "editor": [
          {
            "familyName": "Sangiovanni-Vincentelli", 
            "givenName": "Alberto", 
            "type": "Person"
          }, 
          {
            "familyName": "Sifakis", 
            "givenName": "Joseph", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/3-540-45828-x_22", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-540-44307-0", 
            "978-3-540-45828-9"
          ], 
          "name": "Embedded Software", 
          "type": "Book"
        }, 
        "name": "Toward an Approximation Theory for Computerised Control", 
        "pagination": "294-304", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/3-540-45828-x_22"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "c3b5a8a507302264e7fa6b4754c2baf6206de6d07d7c7305c18b8378a5449ec5"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1041084049"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/3-540-45828-x_22", 
          "https://app.dimensions.ai/details/publication/pub.1041084049"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T05:24", 
        "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/0000000345_0000000345/records_64091_00000001.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F3-540-45828-X_22"
      }
    ]
     

    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/3-540-45828-x_22'

    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/3-540-45828-x_22'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-45828-x_22'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-45828-x_22'


     

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

    116 TRIPLES      23 PREDICATES      37 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/3-540-45828-x_22 schema:about anzsrc-for:09
    2 anzsrc-for:0913
    3 schema:author N7e0e437f83dc4c5f9a97ef8a143eeae0
    4 schema:citation sg:pub.10.1007/3-540-45352-0_8
    5 sg:pub.10.1007/3-540-46002-0_4
    6 sg:pub.10.1007/3-540-57318-6_35
    7 sg:pub.10.1007/bfb0055642
    8 https://app.dimensions.ai/details/publication/pub.1109489376
    9 https://doi.org/10.1002/9780470316962
    10 https://doi.org/10.1076/1387-3954(200003)6:1;1-q;ft030
    11 https://doi.org/10.1109/5.871304
    12 https://doi.org/10.1109/cdc.1993.325609
    13 https://doi.org/10.1109/cdc.1998.761978
    14 https://doi.org/10.1109/proc.1978.11114
    15 schema:datePublished 2002-10-24
    16 schema:datePublishedReg 2002-10-24
    17 schema:description This paper addresses the question of extending the usual approximation and sampling theory of continuous signals and systems to those encompassing discontinuities, such as found in modern complex control systems (mode switches for instance). We provide some evidence that the Skorokhod topology is a good candidate for dealing with those cases in a uniform manner by showing that, in the boolean case, Skorokhod uniformly continuous signals are exactly the signals with uniform bounded variability.
    18 schema:editor Ncab59519884943c3befcae3df7c3ab44
    19 schema:genre chapter
    20 schema:inLanguage en
    21 schema:isAccessibleForFree false
    22 schema:isPartOf N5112f9df44cb4b618df0131931c6fca8
    23 schema:name Toward an Approximation Theory for Computerised Control
    24 schema:pagination 294-304
    25 schema:productId N5c61b7f4a78f4a73977bfb2b28a8a06b
    26 N865e68c8f8a84543896a45df7f3679f5
    27 Ne8ef00ae91a24ccf9389071acb67c8cb
    28 schema:publisher N245c7c63c10e478ca25bb8620f62372c
    29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041084049
    30 https://doi.org/10.1007/3-540-45828-x_22
    31 schema:sdDatePublished 2019-04-16T05:24
    32 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    33 schema:sdPublisher N218c2fbd9046494fb489909383d63e05
    34 schema:url https://link.springer.com/10.1007%2F3-540-45828-X_22
    35 sgo:license sg:explorer/license/
    36 sgo:sdDataset chapters
    37 rdf:type schema:Chapter
    38 N0e2fe705a0b140118fcf819e04f96cbe rdf:first sg:person.011174600625.42
    39 rdf:rest rdf:nil
    40 N218c2fbd9046494fb489909383d63e05 schema:name Springer Nature - SN SciGraph project
    41 rdf:type schema:Organization
    42 N245c7c63c10e478ca25bb8620f62372c schema:location Berlin, Heidelberg
    43 schema:name Springer Berlin Heidelberg
    44 rdf:type schema:Organisation
    45 N2a343680b44d4c489e1b2a73d112a59c schema:familyName Sangiovanni-Vincentelli
    46 schema:givenName Alberto
    47 rdf:type schema:Person
    48 N5112f9df44cb4b618df0131931c6fca8 schema:isbn 978-3-540-44307-0
    49 978-3-540-45828-9
    50 schema:name Embedded Software
    51 rdf:type schema:Book
    52 N5c61b7f4a78f4a73977bfb2b28a8a06b schema:name readcube_id
    53 schema:value c3b5a8a507302264e7fa6b4754c2baf6206de6d07d7c7305c18b8378a5449ec5
    54 rdf:type schema:PropertyValue
    55 N7e0e437f83dc4c5f9a97ef8a143eeae0 rdf:first sg:person.010062202103.20
    56 rdf:rest N0e2fe705a0b140118fcf819e04f96cbe
    57 N865e68c8f8a84543896a45df7f3679f5 schema:name dimensions_id
    58 schema:value pub.1041084049
    59 rdf:type schema:PropertyValue
    60 Nb7d77c8fc5e84ad3b13b859045b651d2 rdf:first Ndce4c9f085ac44b1afdec5593784a2c3
    61 rdf:rest rdf:nil
    62 Ncab59519884943c3befcae3df7c3ab44 rdf:first N2a343680b44d4c489e1b2a73d112a59c
    63 rdf:rest Nb7d77c8fc5e84ad3b13b859045b651d2
    64 Ndce4c9f085ac44b1afdec5593784a2c3 schema:familyName Sifakis
    65 schema:givenName Joseph
    66 rdf:type schema:Person
    67 Ne8ef00ae91a24ccf9389071acb67c8cb schema:name doi
    68 schema:value 10.1007/3-540-45828-x_22
    69 rdf:type schema:PropertyValue
    70 anzsrc-for:09 schema:inDefinedTermSet anzsrc-for:
    71 schema:name Engineering
    72 rdf:type schema:DefinedTerm
    73 anzsrc-for:0913 schema:inDefinedTermSet anzsrc-for:
    74 schema:name Mechanical Engineering
    75 rdf:type schema:DefinedTerm
    76 sg:person.010062202103.20 schema:affiliation https://www.grid.ac/institutes/grid.464170.0
    77 schema:familyName Caspi
    78 schema:givenName Paul
    79 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010062202103.20
    80 rdf:type schema:Person
    81 sg:person.011174600625.42 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
    82 schema:familyName Benveniste
    83 schema:givenName Albert
    84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
    85 rdf:type schema:Person
    86 sg:pub.10.1007/3-540-45352-0_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009878471
    87 https://doi.org/10.1007/3-540-45352-0_8
    88 rdf:type schema:CreativeWork
    89 sg:pub.10.1007/3-540-46002-0_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034012404
    90 https://doi.org/10.1007/3-540-46002-0_4
    91 rdf:type schema:CreativeWork
    92 sg:pub.10.1007/3-540-57318-6_35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041285697
    93 https://doi.org/10.1007/3-540-57318-6_35
    94 rdf:type schema:CreativeWork
    95 sg:pub.10.1007/bfb0055642 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052557339
    96 https://doi.org/10.1007/bfb0055642
    97 rdf:type schema:CreativeWork
    98 https://app.dimensions.ai/details/publication/pub.1109489376 schema:CreativeWork
    99 https://doi.org/10.1002/9780470316962 schema:sameAs https://app.dimensions.ai/details/publication/pub.1109489376
    100 rdf:type schema:CreativeWork
    101 https://doi.org/10.1076/1387-3954(200003)6:1;1-q;ft030 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051562756
    102 rdf:type schema:CreativeWork
    103 https://doi.org/10.1109/5.871304 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061180192
    104 rdf:type schema:CreativeWork
    105 https://doi.org/10.1109/cdc.1993.325609 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086315455
    106 rdf:type schema:CreativeWork
    107 https://doi.org/10.1109/cdc.1998.761978 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093707964
    108 rdf:type schema:CreativeWork
    109 https://doi.org/10.1109/proc.1978.11114 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061444044
    110 rdf:type schema:CreativeWork
    111 https://www.grid.ac/institutes/grid.410368.8 schema:alternateName University of Rennes 1
    112 schema:name Irisa/Inria, Campus de Beaulieu, F-35042, Rennes, France
    113 rdf:type schema:Organization
    114 https://www.grid.ac/institutes/grid.464170.0 schema:alternateName Verimag
    115 schema:name Verimag (CNRS), Centre Equation, 2, rue de Vignate, 38610, Gieres, France
    116 rdf:type schema:Organization
     




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


    ...