Co-Simulation of Hybrid Systems: Signal-Simulink View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2002-01-22

AUTHORS

Stéphane Tudoret , Simin Nadjm-Tehrani , Albert Benveniste , Jan-Erik Strömberg

ABSTRACT

This article presents an approach to simulating hybrid systems. We show how a discrete controller that controls a continuous environment can be co-simulated with the environment (plant) using C-code generated automatically from mathematical models. This approach uses Signal with Simulink to model complex hybrid systems. The choices are motivated by the fact that Signal is a powerful tool for modelling complex discrete behaviours and Simulink is well-suited to deal with continuous dynamics. In particular, progress in formal analysis of Signal programs and the common availability of the Simulink tool makes these an interesting choice for combination. We present various alternatives for implementing communication between the underlying sub-models. Finally, we present interesting scenarios in the co-simulation of a discrete controller with its environment: a non-linear siphon pump originally designed by the Swedish engineer Christofer Polhem in 1697. More... »

PAGES

134-151

References to SciGraph publications

  • 1999. Code generation in the SACRES project in TOWARDS SYSTEM SAFETY
  • 1999-09-17. Combining theorem proving and continuous models in synchronous design in FM’99 — FORMAL METHODS
  • 1999-03. Formal Verification of Dynamic Properties in an Aerospace Application in FORMAL METHODS IN SYSTEM DESIGN
  • 1999. An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages in HYBRID SYSTEMS: COMPUTATION AND CONTROL
  • 1999-09-17. Incremental design of a Power transformer station controller using a controller synthesis methodology in FM’99 — FORMAL METHODS
  • 2002-04-19. From Synchrony to Asynchrony in CONCUR’99 CONCURRENCY THEORY
  • Book

    TITLE

    Formal Techniques in Real-Time and Fault-Tolerant Systems

    ISBN

    978-3-540-41055-3
    978-3-540-45352-9

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/3-540-45352-0_13

    DOI

    http://dx.doi.org/10.1007/3-540-45352-0_13

    DIMENSIONS

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


    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": "Link\u00f6ping University", 
              "id": "https://www.grid.ac/institutes/grid.5640.7", 
              "name": [
                "Dept. of Computer & Information Science, Link\u00f6ping University, S-581 83, Link\u00f6ping, Sweden"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Tudoret", 
            "givenName": "St\u00e9phane", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Link\u00f6ping University", 
              "id": "https://www.grid.ac/institutes/grid.5640.7", 
              "name": [
                "Dept. of Computer & Information Science, Link\u00f6ping University, S-581 83, Link\u00f6ping, Sweden"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Nadjm-Tehrani", 
            "givenName": "Simin", 
            "id": "sg:person.013271642331.61", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013271642331.61"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Rennes 1", 
              "id": "https://www.grid.ac/institutes/grid.410368.8", 
              "name": [
                "IRISA-INRIA, Campus de Beaulieu, 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"
          }, 
          {
            "affiliation": {
              "name": [
                "DST Control AB, Mj\u00e4rdevi Science Park, Link\u00f6ping, Sweden"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Str\u00f6mberg", 
            "givenName": "Jan-Erik", 
            "id": "sg:person.010522061533.96", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010522061533.96"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/3-540-48983-5_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004757156", 
              "https://doi.org/10.1007/3-540-48983-5_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1008651801000", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014530866", 
              "https://doi.org/10.1023/a:1008651801000"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48118-4_35", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021147759", 
              "https://doi.org/10.1007/3-540-48118-4_35"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48118-4_35", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021147759", 
              "https://doi.org/10.1007/3-540-48118-4_35"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4471-0823-8_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024924422", 
              "https://doi.org/10.1007/978-1-4471-0823-8_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4471-0823-8_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024924422", 
              "https://doi.org/10.1007/978-1-4471-0823-8_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0167-6423(87)90035-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028901262"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48320-9_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029840242", 
              "https://doi.org/10.1007/3-540-48320-9_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48320-9_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029840242", 
              "https://doi.org/10.1007/3-540-48320-9_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.2000.9999", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037056573"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48118-4_23", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042147794", 
              "https://doi.org/10.1007/3-540-48118-4_23"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48118-4_23", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042147794", 
              "https://doi.org/10.1007/3-540-48118-4_23"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/32.708566", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061154453"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/5.97299", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061180433"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/5.97300", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061180434"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/87.556025", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061241661"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/icsmc.1998.725501", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094226650"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/icvd.1999.745139", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095530500"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2002-01-22", 
        "datePublishedReg": "2002-01-22", 
        "description": "This article presents an approach to simulating hybrid systems. We show how a discrete controller that controls a continuous environment can be co-simulated with the environment (plant) using C-code generated automatically from mathematical models. This approach uses Signal with Simulink to model complex hybrid systems. The choices are motivated by the fact that Signal is a powerful tool for modelling complex discrete behaviours and Simulink is well-suited to deal with continuous dynamics. In particular, progress in formal analysis of Signal programs and the common availability of the Simulink tool makes these an interesting choice for combination. We present various alternatives for implementing communication between the underlying sub-models. Finally, we present interesting scenarios in the co-simulation of a discrete controller with its environment: a non-linear siphon pump originally designed by the Swedish engineer Christofer Polhem in 1697.", 
        "editor": [
          {
            "familyName": "Joseph", 
            "givenName": "Mathai", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/3-540-45352-0_13", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-540-41055-3", 
            "978-3-540-45352-9"
          ], 
          "name": "Formal Techniques in Real-Time and Fault-Tolerant Systems", 
          "type": "Book"
        }, 
        "name": "Co-Simulation of Hybrid Systems: Signal-Simulink", 
        "pagination": "134-151", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/3-540-45352-0_13"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "25afe92812b7f3724357c5877829123dd74510688c90ef733f2e725341efcb4a"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1007911477"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/3-540-45352-0_13", 
          "https://app.dimensions.ai/details/publication/pub.1007911477"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T05:41", 
        "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/0000000347_0000000347/records_89786_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F3-540-45352-0_13"
      }
    ]
     

    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-45352-0_13'

    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-45352-0_13'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-45352-0_13'

    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-45352-0_13'


     

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

    138 TRIPLES      23 PREDICATES      40 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/3-540-45352-0_13 schema:about anzsrc-for:01
    2 anzsrc-for:0102
    3 schema:author Nb282391f63304edcaaa9b2b239239422
    4 schema:citation sg:pub.10.1007/3-540-48118-4_23
    5 sg:pub.10.1007/3-540-48118-4_35
    6 sg:pub.10.1007/3-540-48320-9_13
    7 sg:pub.10.1007/3-540-48983-5_17
    8 sg:pub.10.1007/978-1-4471-0823-8_9
    9 sg:pub.10.1023/a:1008651801000
    10 https://doi.org/10.1006/inco.2000.9999
    11 https://doi.org/10.1016/0167-6423(87)90035-9
    12 https://doi.org/10.1109/32.708566
    13 https://doi.org/10.1109/5.97299
    14 https://doi.org/10.1109/5.97300
    15 https://doi.org/10.1109/87.556025
    16 https://doi.org/10.1109/icsmc.1998.725501
    17 https://doi.org/10.1109/icvd.1999.745139
    18 schema:datePublished 2002-01-22
    19 schema:datePublishedReg 2002-01-22
    20 schema:description This article presents an approach to simulating hybrid systems. We show how a discrete controller that controls a continuous environment can be co-simulated with the environment (plant) using C-code generated automatically from mathematical models. This approach uses Signal with Simulink to model complex hybrid systems. The choices are motivated by the fact that Signal is a powerful tool for modelling complex discrete behaviours and Simulink is well-suited to deal with continuous dynamics. In particular, progress in formal analysis of Signal programs and the common availability of the Simulink tool makes these an interesting choice for combination. We present various alternatives for implementing communication between the underlying sub-models. Finally, we present interesting scenarios in the co-simulation of a discrete controller with its environment: a non-linear siphon pump originally designed by the Swedish engineer Christofer Polhem in 1697.
    21 schema:editor Nca9a11edca88485690d67d3e93ab22c5
    22 schema:genre chapter
    23 schema:inLanguage en
    24 schema:isAccessibleForFree true
    25 schema:isPartOf N55b0521c6b9742939c42b948b73421ec
    26 schema:name Co-Simulation of Hybrid Systems: Signal-Simulink
    27 schema:pagination 134-151
    28 schema:productId N20913552f05f4657aac477e422840fd3
    29 N7d2107010dc1462ebe97b7a56e9a8d37
    30 Nf521db58ae774d2a82195efcba1c136e
    31 schema:publisher N3f350f1a60f6457db16baee710449cf7
    32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007911477
    33 https://doi.org/10.1007/3-540-45352-0_13
    34 schema:sdDatePublished 2019-04-16T05:41
    35 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    36 schema:sdPublisher N58262628c9b24e55a4e5af63d0e976fe
    37 schema:url https://link.springer.com/10.1007%2F3-540-45352-0_13
    38 sgo:license sg:explorer/license/
    39 sgo:sdDataset chapters
    40 rdf:type schema:Chapter
    41 N06aa97d55ec84ac990355c1e40af6e95 schema:affiliation https://www.grid.ac/institutes/grid.5640.7
    42 schema:familyName Tudoret
    43 schema:givenName Stéphane
    44 rdf:type schema:Person
    45 N20913552f05f4657aac477e422840fd3 schema:name doi
    46 schema:value 10.1007/3-540-45352-0_13
    47 rdf:type schema:PropertyValue
    48 N2e91554529ee4a3888e8990a0bfa040f schema:familyName Joseph
    49 schema:givenName Mathai
    50 rdf:type schema:Person
    51 N3f350f1a60f6457db16baee710449cf7 schema:location Berlin, Heidelberg
    52 schema:name Springer Berlin Heidelberg
    53 rdf:type schema:Organisation
    54 N55b0521c6b9742939c42b948b73421ec schema:isbn 978-3-540-41055-3
    55 978-3-540-45352-9
    56 schema:name Formal Techniques in Real-Time and Fault-Tolerant Systems
    57 rdf:type schema:Book
    58 N58262628c9b24e55a4e5af63d0e976fe schema:name Springer Nature - SN SciGraph project
    59 rdf:type schema:Organization
    60 N7558d3c3a4664e56820073b4a3742d74 rdf:first sg:person.013271642331.61
    61 rdf:rest N8f37bfe613ea4f05a1100909b2b93095
    62 N7cadd7a55d554e52ad962e2a8f90276d rdf:first sg:person.010522061533.96
    63 rdf:rest rdf:nil
    64 N7d2107010dc1462ebe97b7a56e9a8d37 schema:name readcube_id
    65 schema:value 25afe92812b7f3724357c5877829123dd74510688c90ef733f2e725341efcb4a
    66 rdf:type schema:PropertyValue
    67 N8f37bfe613ea4f05a1100909b2b93095 rdf:first sg:person.011174600625.42
    68 rdf:rest N7cadd7a55d554e52ad962e2a8f90276d
    69 Nb282391f63304edcaaa9b2b239239422 rdf:first N06aa97d55ec84ac990355c1e40af6e95
    70 rdf:rest N7558d3c3a4664e56820073b4a3742d74
    71 Nca9a11edca88485690d67d3e93ab22c5 rdf:first N2e91554529ee4a3888e8990a0bfa040f
    72 rdf:rest rdf:nil
    73 Ne754504fe5cf4dd4a375ce18aa16892a schema:name DST Control AB, Mjärdevi Science Park, Linköping, Sweden
    74 rdf:type schema:Organization
    75 Nf521db58ae774d2a82195efcba1c136e schema:name dimensions_id
    76 schema:value pub.1007911477
    77 rdf:type schema:PropertyValue
    78 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
    79 schema:name Mathematical Sciences
    80 rdf:type schema:DefinedTerm
    81 anzsrc-for:0102 schema:inDefinedTermSet anzsrc-for:
    82 schema:name Applied Mathematics
    83 rdf:type schema:DefinedTerm
    84 sg:person.010522061533.96 schema:affiliation Ne754504fe5cf4dd4a375ce18aa16892a
    85 schema:familyName Strömberg
    86 schema:givenName Jan-Erik
    87 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010522061533.96
    88 rdf:type schema:Person
    89 sg:person.011174600625.42 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
    90 schema:familyName Benveniste
    91 schema:givenName Albert
    92 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
    93 rdf:type schema:Person
    94 sg:person.013271642331.61 schema:affiliation https://www.grid.ac/institutes/grid.5640.7
    95 schema:familyName Nadjm-Tehrani
    96 schema:givenName Simin
    97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013271642331.61
    98 rdf:type schema:Person
    99 sg:pub.10.1007/3-540-48118-4_23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042147794
    100 https://doi.org/10.1007/3-540-48118-4_23
    101 rdf:type schema:CreativeWork
    102 sg:pub.10.1007/3-540-48118-4_35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021147759
    103 https://doi.org/10.1007/3-540-48118-4_35
    104 rdf:type schema:CreativeWork
    105 sg:pub.10.1007/3-540-48320-9_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029840242
    106 https://doi.org/10.1007/3-540-48320-9_13
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1007/3-540-48983-5_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004757156
    109 https://doi.org/10.1007/3-540-48983-5_17
    110 rdf:type schema:CreativeWork
    111 sg:pub.10.1007/978-1-4471-0823-8_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024924422
    112 https://doi.org/10.1007/978-1-4471-0823-8_9
    113 rdf:type schema:CreativeWork
    114 sg:pub.10.1023/a:1008651801000 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014530866
    115 https://doi.org/10.1023/a:1008651801000
    116 rdf:type schema:CreativeWork
    117 https://doi.org/10.1006/inco.2000.9999 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037056573
    118 rdf:type schema:CreativeWork
    119 https://doi.org/10.1016/0167-6423(87)90035-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028901262
    120 rdf:type schema:CreativeWork
    121 https://doi.org/10.1109/32.708566 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061154453
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1109/5.97299 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061180433
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1109/5.97300 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061180434
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1109/87.556025 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061241661
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1109/icsmc.1998.725501 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094226650
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1109/icvd.1999.745139 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095530500
    132 rdf:type schema:CreativeWork
    133 https://www.grid.ac/institutes/grid.410368.8 schema:alternateName University of Rennes 1
    134 schema:name IRISA-INRIA, Campus de Beaulieu, Rennes, France
    135 rdf:type schema:Organization
    136 https://www.grid.ac/institutes/grid.5640.7 schema:alternateName Linköping University
    137 schema:name Dept. of Computer & Information Science, Linköping University, S-581 83, Linköping, Sweden
    138 rdf:type schema:Organization
     




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


    ...