Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2012-06

AUTHORS

Changyan Zhou, Ratnesh Kumar

ABSTRACT

We develop a semantic translation approach for Simulink diagrams. Simulink is a graphical tool for representing and simulating dynamical systems. We propose a recursive approach for translating a class of Simulink diagrams to input/output-extended finite automata (I/O-EFA). An I/O-EFA model of a Simulink diagram can be used for further analysis such as test generation and formal verification. We show that the translation approach is sound and complete: The input-state-output behavior of an I/O-EFA model, as defined in terms of a step-trajectory, preserves the input-state-output behavior of the corresponding Simulink diagram at each sample time (assuming the same integration method for any of the continuous blocks with dynamics). More... »

PAGES

223-247

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s10626-010-0096-1

DOI

http://dx.doi.org/10.1007/s10626-010-0096-1

DIMENSIONS

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


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/0101", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Pure 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": {
          "name": [
            "Magnatech LLC, 06026, East Granby, CT, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Zhou", 
        "givenName": "Changyan", 
        "id": "sg:person.011577174275.95", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011577174275.95"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Iowa State University", 
          "id": "https://www.grid.ac/institutes/grid.34421.30", 
          "name": [
            "Iowa State Univ., 50011, Ames, IA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kumar", 
        "givenName": "Ratnesh", 
        "id": "sg:person.01047006204.61", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01047006204.61"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1002/scj.20264", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007394462"
        ], 
        "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.1145/1480881.1480893", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1022013798"
        ], 
        "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.1145/1017753.1017795", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043370986"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1450058.1450071", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1051412279"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/5.533956", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061179588"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/780731.780754", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1063173115"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/rtas.2008.12", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093720478"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/acc.2009.5160198", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095195123"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/acc.2006.1657692", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095698552"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2012-06", 
    "datePublishedReg": "2012-06-01", 
    "description": "We develop a semantic translation approach for Simulink diagrams. Simulink is a graphical tool for representing and simulating dynamical systems. We propose a recursive approach for translating a class of Simulink diagrams to input/output-extended finite automata (I/O-EFA). An I/O-EFA model of a Simulink diagram can be used for further analysis such as test generation and formal verification. We show that the translation approach is sound and complete: The input-state-output behavior of an I/O-EFA model, as defined in terms of a step-trajectory, preserves the input-state-output behavior of the corresponding Simulink diagram at each sample time (assuming the same integration method for any of the continuous blocks with dynamics).", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/s10626-010-0096-1", 
    "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": "22"
      }
    ], 
    "name": "Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata", 
    "pagination": "223-247", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "1a77ecace83752db8836874bac2585b6e0bc8f6a80a4050c561a05510291daa8"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s10626-010-0096-1"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1005555469"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s10626-010-0096-1", 
      "https://app.dimensions.ai/details/publication/pub.1005555469"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-10T21:31", 
    "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_8687_00000486.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007/s10626-010-0096-1"
  }
]
 

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-010-0096-1'

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-010-0096-1'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10626-010-0096-1'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10626-010-0096-1'


 

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

103 TRIPLES      21 PREDICATES      38 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s10626-010-0096-1 schema:about anzsrc-for:01
2 anzsrc-for:0101
3 schema:author Nb228533dfbdf4c4eb6645852a44711e7
4 schema:citation https://doi.org/10.1002/scj.20264
5 https://doi.org/10.1016/j.entcs.2004.02.055
6 https://doi.org/10.1109/5.533956
7 https://doi.org/10.1109/acc.2006.1657692
8 https://doi.org/10.1109/acc.2009.5160198
9 https://doi.org/10.1109/rtas.2008.12
10 https://doi.org/10.1145/1017753.1017795
11 https://doi.org/10.1145/1113830.1113834
12 https://doi.org/10.1145/1450058.1450071
13 https://doi.org/10.1145/1480881.1480893
14 https://doi.org/10.1145/780731.780754
15 schema:datePublished 2012-06
16 schema:datePublishedReg 2012-06-01
17 schema:description We develop a semantic translation approach for Simulink diagrams. Simulink is a graphical tool for representing and simulating dynamical systems. We propose a recursive approach for translating a class of Simulink diagrams to input/output-extended finite automata (I/O-EFA). An I/O-EFA model of a Simulink diagram can be used for further analysis such as test generation and formal verification. We show that the translation approach is sound and complete: The input-state-output behavior of an I/O-EFA model, as defined in terms of a step-trajectory, preserves the input-state-output behavior of the corresponding Simulink diagram at each sample time (assuming the same integration method for any of the continuous blocks with dynamics).
18 schema:genre research_article
19 schema:inLanguage en
20 schema:isAccessibleForFree false
21 schema:isPartOf N39c1d340ad7b48e3878522973899b075
22 N9710aeee49524aa4bde3e83747042a29
23 sg:journal.1136419
24 schema:name Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata
25 schema:pagination 223-247
26 schema:productId N58817f0ad6bf45798e6203d079b222fb
27 N7ff8786309be4fffa2b3cb5d89aa91c4
28 Nd1d6751e8fb840eaae35681f38cd2f6d
29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005555469
30 https://doi.org/10.1007/s10626-010-0096-1
31 schema:sdDatePublished 2019-04-10T21:31
32 schema:sdLicense https://scigraph.springernature.com/explorer/license/
33 schema:sdPublisher N8de160ba89ad4a17a7e9ab4db5987342
34 schema:url http://link.springer.com/10.1007/s10626-010-0096-1
35 sgo:license sg:explorer/license/
36 sgo:sdDataset articles
37 rdf:type schema:ScholarlyArticle
38 N39c1d340ad7b48e3878522973899b075 schema:issueNumber 2
39 rdf:type schema:PublicationIssue
40 N58817f0ad6bf45798e6203d079b222fb schema:name dimensions_id
41 schema:value pub.1005555469
42 rdf:type schema:PropertyValue
43 N7ff8786309be4fffa2b3cb5d89aa91c4 schema:name doi
44 schema:value 10.1007/s10626-010-0096-1
45 rdf:type schema:PropertyValue
46 N82971453cfee42b18837105e8b752798 rdf:first sg:person.01047006204.61
47 rdf:rest rdf:nil
48 N8de160ba89ad4a17a7e9ab4db5987342 schema:name Springer Nature - SN SciGraph project
49 rdf:type schema:Organization
50 N9710aeee49524aa4bde3e83747042a29 schema:volumeNumber 22
51 rdf:type schema:PublicationVolume
52 Nb228533dfbdf4c4eb6645852a44711e7 rdf:first sg:person.011577174275.95
53 rdf:rest N82971453cfee42b18837105e8b752798
54 Nd1d6751e8fb840eaae35681f38cd2f6d schema:name readcube_id
55 schema:value 1a77ecace83752db8836874bac2585b6e0bc8f6a80a4050c561a05510291daa8
56 rdf:type schema:PropertyValue
57 Ne9c8b4c9a0b2428fb4fd96c808218dd4 schema:name Magnatech LLC, 06026, East Granby, CT, USA
58 rdf:type schema:Organization
59 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
60 schema:name Mathematical Sciences
61 rdf:type schema:DefinedTerm
62 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
63 schema:name Pure Mathematics
64 rdf:type schema:DefinedTerm
65 sg:journal.1136419 schema:issn 0924-6703
66 1573-7594
67 schema:name Discrete Event Dynamic Systems
68 rdf:type schema:Periodical
69 sg:person.01047006204.61 schema:affiliation https://www.grid.ac/institutes/grid.34421.30
70 schema:familyName Kumar
71 schema:givenName Ratnesh
72 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01047006204.61
73 rdf:type schema:Person
74 sg:person.011577174275.95 schema:affiliation Ne9c8b4c9a0b2428fb4fd96c808218dd4
75 schema:familyName Zhou
76 schema:givenName Changyan
77 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011577174275.95
78 rdf:type schema:Person
79 https://doi.org/10.1002/scj.20264 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007394462
80 rdf:type schema:CreativeWork
81 https://doi.org/10.1016/j.entcs.2004.02.055 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029631077
82 rdf:type schema:CreativeWork
83 https://doi.org/10.1109/5.533956 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061179588
84 rdf:type schema:CreativeWork
85 https://doi.org/10.1109/acc.2006.1657692 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095698552
86 rdf:type schema:CreativeWork
87 https://doi.org/10.1109/acc.2009.5160198 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095195123
88 rdf:type schema:CreativeWork
89 https://doi.org/10.1109/rtas.2008.12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093720478
90 rdf:type schema:CreativeWork
91 https://doi.org/10.1145/1017753.1017795 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043370986
92 rdf:type schema:CreativeWork
93 https://doi.org/10.1145/1113830.1113834 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014468118
94 rdf:type schema:CreativeWork
95 https://doi.org/10.1145/1450058.1450071 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051412279
96 rdf:type schema:CreativeWork
97 https://doi.org/10.1145/1480881.1480893 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022013798
98 rdf:type schema:CreativeWork
99 https://doi.org/10.1145/780731.780754 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063173115
100 rdf:type schema:CreativeWork
101 https://www.grid.ac/institutes/grid.34421.30 schema:alternateName Iowa State University
102 schema:name Iowa State Univ., 50011, Ames, IA, USA
103 rdf:type schema:Organization
 




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


...