Integrating Simulink Models into the Model Checker Cosmos View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2018-05-08

AUTHORS

Benoît Barbot , Béatrice Bérard , Yann Duplouy , Serge Haddad

ABSTRACT

We present an implementation for Simulink model executions in the statistical model-checker Cosmos. We take profit of this implementation for hybrid modeling and simulations combining Petri nets and Simulink models.

PAGES

363-373

References to SciGraph publications

  • 2012. Coupling and Importance Sampling for Statistical Model Checking in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016. Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement in QUANTITATIVE EVALUATION OF SYSTEMS
  • Book

    TITLE

    Application and Theory of Petri Nets and Concurrency

    ISBN

    978-3-319-91267-7
    978-3-319-91268-4

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-91268-4_19

    DOI

    http://dx.doi.org/10.1007/978-3-319-91268-4_19

    DIMENSIONS

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


    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", 
        "author": [
          {
            "affiliation": {
              "alternateName": "Paris 12 Val de Marne University", 
              "id": "https://www.grid.ac/institutes/grid.410511.0", 
              "name": [
                "LACL, Universit\u00e9 Paris -Est Cr\u00e9teil, Cr\u00e9teil, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Barbot", 
            "givenName": "Beno\u00eet", 
            "id": "sg:person.011566260657.69", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011566260657.69"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Laboratoire d'informatique de Paris 6", 
              "id": "https://www.grid.ac/institutes/grid.462751.3", 
              "name": [
                "Sorbonne Universit\u00e9, LIP6, CNRS UMR 7606, Paris, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "B\u00e9rard", 
            "givenName": "B\u00e9atrice", 
            "id": "sg:person.016371371055.08", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016371371055.08"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Laboratoire Sp\u00e9cification et V\u00e9rification", 
              "id": "https://www.grid.ac/institutes/grid.464035.0", 
              "name": [
                "IRT SystemX, Paris-Saclay, Palaiseau, France", 
                "LSV, ENS Paris-Saclay, CNRS, Inria, Universit\u00e9 Paris-Saclay, Cachan, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Duplouy", 
            "givenName": "Yann", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Laboratoire Sp\u00e9cification et V\u00e9rification", 
              "id": "https://www.grid.ac/institutes/grid.464035.0", 
              "name": [
                "LSV, ENS Paris-Saclay, CNRS, Inria, Universit\u00e9 Paris-Saclay, Cachan, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Haddad", 
            "givenName": "Serge", 
            "id": "sg:person.016552227263.84", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016552227263.84"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/2883817.2883844", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005438857"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1113830.1113834", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014468118"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.jcss.2011.08.009", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018852982"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-43425-4_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020057572", 
              "https://doi.org/10.1007/978-3-319-43425-4_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.entcs.2004.02.055", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029631077"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.peva.2015.04.003", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036506486"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2015.05.018", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037726902"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-28756-5_23", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040859371", 
              "https://doi.org/10.1007/978-3-642-28756-5_23"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2248418.2248437", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042012968"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1080/01621459.1963.10500830", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1058299773"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/biomet/26.4.404", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1059415719"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1214/aoms/1177700156", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1064399996"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1214/aoms/1177731118", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1064402213"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-05-08", 
        "datePublishedReg": "2018-05-08", 
        "description": "We present an implementation for Simulink model executions in the statistical model-checker Cosmos. We take profit of this implementation for hybrid modeling and simulations combining Petri nets and Simulink models.", 
        "editor": [
          {
            "familyName": "Khomenko", 
            "givenName": "Victor", 
            "type": "Person"
          }, 
          {
            "familyName": "Roux", 
            "givenName": "Olivier H.", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-91268-4_19", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-319-91267-7", 
            "978-3-319-91268-4"
          ], 
          "name": "Application and Theory of Petri Nets and Concurrency", 
          "type": "Book"
        }, 
        "name": "Integrating Simulink Models into the Model Checker Cosmos", 
        "pagination": "363-373", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-91268-4_19"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "4ec6f1bbcbe7ca0fbcc3ed7147b733cc1a1a9dc672d3b1f24807274498994b56"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1103859763"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-91268-4_19", 
          "https://app.dimensions.ai/details/publication/pub.1103859763"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T05:02", 
        "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/0000000325_0000000325/records_100819_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-319-91268-4_19"
      }
    ]
     

    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-319-91268-4_19'

    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-319-91268-4_19'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-91268-4_19'

    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-319-91268-4_19'


     

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

    130 TRIPLES      22 PREDICATES      37 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-91268-4_19 schema:author N9fd5115e666e47ecaf30a5c13c0ce269
    2 schema:citation sg:pub.10.1007/978-3-319-43425-4_13
    3 sg:pub.10.1007/978-3-642-28756-5_23
    4 https://doi.org/10.1016/j.entcs.2004.02.055
    5 https://doi.org/10.1016/j.jcss.2011.08.009
    6 https://doi.org/10.1016/j.peva.2015.04.003
    7 https://doi.org/10.1016/j.tcs.2015.05.018
    8 https://doi.org/10.1080/01621459.1963.10500830
    9 https://doi.org/10.1093/biomet/26.4.404
    10 https://doi.org/10.1145/1113830.1113834
    11 https://doi.org/10.1145/2248418.2248437
    12 https://doi.org/10.1145/2883817.2883844
    13 https://doi.org/10.1214/aoms/1177700156
    14 https://doi.org/10.1214/aoms/1177731118
    15 schema:datePublished 2018-05-08
    16 schema:datePublishedReg 2018-05-08
    17 schema:description We present an implementation for Simulink model executions in the statistical model-checker Cosmos. We take profit of this implementation for hybrid modeling and simulations combining Petri nets and Simulink models.
    18 schema:editor N45d70fba2f0644b48fea14b0b35b1817
    19 schema:genre chapter
    20 schema:inLanguage en
    21 schema:isAccessibleForFree true
    22 schema:isPartOf Nd7aa49e87c2f4beca1ec499f6775b304
    23 schema:name Integrating Simulink Models into the Model Checker Cosmos
    24 schema:pagination 363-373
    25 schema:productId N58c5fd9df5fc40c88aaff4492f004230
    26 Na71a0bd37d194ec89917192c2f391756
    27 Nbbdfd834b4004ccd847a39144b7f03d0
    28 schema:publisher Nc737f217ea354bd6aa07e5f1171a3c3d
    29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1103859763
    30 https://doi.org/10.1007/978-3-319-91268-4_19
    31 schema:sdDatePublished 2019-04-16T05:02
    32 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    33 schema:sdPublisher N3a0e965f7adb443da3d322851216c8b7
    34 schema:url https://link.springer.com/10.1007%2F978-3-319-91268-4_19
    35 sgo:license sg:explorer/license/
    36 sgo:sdDataset chapters
    37 rdf:type schema:Chapter
    38 N27a3e0b85c504d01adda280e98e6bf22 rdf:first Ndeb5ab94f552494fa318291f0f72e604
    39 rdf:rest rdf:nil
    40 N3a0e965f7adb443da3d322851216c8b7 schema:name Springer Nature - SN SciGraph project
    41 rdf:type schema:Organization
    42 N42463b1f91d043b4a29374cd7c0e8a3b rdf:first sg:person.016371371055.08
    43 rdf:rest Nf17238e5989540caae2979b856111fe3
    44 N430ab717f248457cbeba8fa1cd769e1e schema:affiliation https://www.grid.ac/institutes/grid.464035.0
    45 schema:familyName Duplouy
    46 schema:givenName Yann
    47 rdf:type schema:Person
    48 N45d70fba2f0644b48fea14b0b35b1817 rdf:first Ndf6d99bcd73a4f6fa56044525cedf29a
    49 rdf:rest N27a3e0b85c504d01adda280e98e6bf22
    50 N58c5fd9df5fc40c88aaff4492f004230 schema:name dimensions_id
    51 schema:value pub.1103859763
    52 rdf:type schema:PropertyValue
    53 N9fd5115e666e47ecaf30a5c13c0ce269 rdf:first sg:person.011566260657.69
    54 rdf:rest N42463b1f91d043b4a29374cd7c0e8a3b
    55 Na71a0bd37d194ec89917192c2f391756 schema:name doi
    56 schema:value 10.1007/978-3-319-91268-4_19
    57 rdf:type schema:PropertyValue
    58 Nb27526179acf47d6bc0b775c06ca4d1c rdf:first sg:person.016552227263.84
    59 rdf:rest rdf:nil
    60 Nbbdfd834b4004ccd847a39144b7f03d0 schema:name readcube_id
    61 schema:value 4ec6f1bbcbe7ca0fbcc3ed7147b733cc1a1a9dc672d3b1f24807274498994b56
    62 rdf:type schema:PropertyValue
    63 Nc737f217ea354bd6aa07e5f1171a3c3d schema:location Cham
    64 schema:name Springer International Publishing
    65 rdf:type schema:Organisation
    66 Nd7aa49e87c2f4beca1ec499f6775b304 schema:isbn 978-3-319-91267-7
    67 978-3-319-91268-4
    68 schema:name Application and Theory of Petri Nets and Concurrency
    69 rdf:type schema:Book
    70 Ndeb5ab94f552494fa318291f0f72e604 schema:familyName Roux
    71 schema:givenName Olivier H.
    72 rdf:type schema:Person
    73 Ndf6d99bcd73a4f6fa56044525cedf29a schema:familyName Khomenko
    74 schema:givenName Victor
    75 rdf:type schema:Person
    76 Nf17238e5989540caae2979b856111fe3 rdf:first N430ab717f248457cbeba8fa1cd769e1e
    77 rdf:rest Nb27526179acf47d6bc0b775c06ca4d1c
    78 sg:person.011566260657.69 schema:affiliation https://www.grid.ac/institutes/grid.410511.0
    79 schema:familyName Barbot
    80 schema:givenName Benoît
    81 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011566260657.69
    82 rdf:type schema:Person
    83 sg:person.016371371055.08 schema:affiliation https://www.grid.ac/institutes/grid.462751.3
    84 schema:familyName Bérard
    85 schema:givenName Béatrice
    86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016371371055.08
    87 rdf:type schema:Person
    88 sg:person.016552227263.84 schema:affiliation https://www.grid.ac/institutes/grid.464035.0
    89 schema:familyName Haddad
    90 schema:givenName Serge
    91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016552227263.84
    92 rdf:type schema:Person
    93 sg:pub.10.1007/978-3-319-43425-4_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020057572
    94 https://doi.org/10.1007/978-3-319-43425-4_13
    95 rdf:type schema:CreativeWork
    96 sg:pub.10.1007/978-3-642-28756-5_23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040859371
    97 https://doi.org/10.1007/978-3-642-28756-5_23
    98 rdf:type schema:CreativeWork
    99 https://doi.org/10.1016/j.entcs.2004.02.055 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029631077
    100 rdf:type schema:CreativeWork
    101 https://doi.org/10.1016/j.jcss.2011.08.009 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018852982
    102 rdf:type schema:CreativeWork
    103 https://doi.org/10.1016/j.peva.2015.04.003 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036506486
    104 rdf:type schema:CreativeWork
    105 https://doi.org/10.1016/j.tcs.2015.05.018 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037726902
    106 rdf:type schema:CreativeWork
    107 https://doi.org/10.1080/01621459.1963.10500830 schema:sameAs https://app.dimensions.ai/details/publication/pub.1058299773
    108 rdf:type schema:CreativeWork
    109 https://doi.org/10.1093/biomet/26.4.404 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059415719
    110 rdf:type schema:CreativeWork
    111 https://doi.org/10.1145/1113830.1113834 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014468118
    112 rdf:type schema:CreativeWork
    113 https://doi.org/10.1145/2248418.2248437 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042012968
    114 rdf:type schema:CreativeWork
    115 https://doi.org/10.1145/2883817.2883844 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005438857
    116 rdf:type schema:CreativeWork
    117 https://doi.org/10.1214/aoms/1177700156 schema:sameAs https://app.dimensions.ai/details/publication/pub.1064399996
    118 rdf:type schema:CreativeWork
    119 https://doi.org/10.1214/aoms/1177731118 schema:sameAs https://app.dimensions.ai/details/publication/pub.1064402213
    120 rdf:type schema:CreativeWork
    121 https://www.grid.ac/institutes/grid.410511.0 schema:alternateName Paris 12 Val de Marne University
    122 schema:name LACL, Université Paris -Est Créteil, Créteil, France
    123 rdf:type schema:Organization
    124 https://www.grid.ac/institutes/grid.462751.3 schema:alternateName Laboratoire d'informatique de Paris 6
    125 schema:name Sorbonne Université, LIP6, CNRS UMR 7606, Paris, France
    126 rdf:type schema:Organization
    127 https://www.grid.ac/institutes/grid.464035.0 schema:alternateName Laboratoire Spécification et Vérification
    128 schema:name IRT SystemX, Paris-Saclay, Palaiseau, France
    129 LSV, ENS Paris-Saclay, CNRS, Inria, Université Paris-Saclay, Cachan, France
    130 rdf:type schema:Organization
     




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


    ...