Using Simulation for the Validation of High Level Specifications of Control Systems View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2003-12

AUTHORS

Watcharee Jumpamule, Jean-Luc Paillet, Norbert Giambiasi

ABSTRACT

In this paper, we present a methodology for modeling real–time systems using high level specification DECM (discrete event calculus model) and DEVS formalisms. In this methodology, the control system is specified by the way of a DECM user language description. This formal specification is automatically transformed into an atomic DEVS (discrete event system specification) model, and DEVS simulation of the coupled models (control system and plant) is used to validate the initial DECM specifications. The paper discusses the building of DECM specifications, the transformation of DECM specifications into a DEVS model and the simulation of the coupled DEVS model. More... »

PAGES

345-375

References to SciGraph publications

Identifiers

URI

http://scigraph.springernature.com/pub.10.1023/b:jint.0000004930.97126.c4

DOI

http://dx.doi.org/10.1023/b:jint.0000004930.97126.c4

DIMENSIONS

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


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/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "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": "Chiang Mai University", 
          "id": "https://www.grid.ac/institutes/grid.7132.7", 
          "name": [
            "Computer Science Department, Chiang Mai University, 50202, Chiang Mai, Thailand; e-mail"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Jumpamule", 
        "givenName": "Watcharee", 
        "id": "sg:person.011306765506.39", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011306765506.39"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Laboratoire des Sciences de l'Information et des Syst\u00e8mes", 
          "id": "https://www.grid.ac/institutes/grid.462878.7", 
          "name": [
            "Laboratoire des Sciences de l'Information et des Syst\u00e8mes (LSIS), CMI, 39 Avenue Joliot-Curie, 13009, Marseille Cedex 13, France; e-mail"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Paillet", 
        "givenName": "Jean-Luc", 
        "id": "sg:person.015127355031.42", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015127355031.42"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "Laboratoire des Sciences de l'Information et des Syst\u00e8mes (LSIS), Avenue Escadrille Normandie-Niemen, 13387, Marseille Cedex 20, France; e-mail"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Giambiasi", 
        "givenName": "Norbert", 
        "id": "sg:person.016646111315.77", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016646111315.77"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1023/a:1015548507922", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023417376", 
          "https://doi.org/10.1023/a:1015548507922"
        ], 
        "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.1109/5.21071", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061178997"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1142/9789812831583_0008", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1088702098"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1142/9789812831583_0009", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1088702099"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2003-12", 
    "datePublishedReg": "2003-12-01", 
    "description": "In this paper, we present a methodology for modeling real\u2013time systems using high level specification DECM (discrete event calculus model) and DEVS formalisms. In this methodology, the control system is specified by the way of a DECM user language description. This formal specification is automatically transformed into an atomic DEVS (discrete event system specification) model, and DEVS simulation of the coupled models (control system and plant) is used to validate the initial DECM specifications. The paper discusses the building of DECM specifications, the transformation of DECM specifications into a DEVS model and the simulation of the coupled DEVS model.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1023/b:jint.0000004930.97126.c4", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1135942", 
        "issn": [
          "0921-0296", 
          "1573-0409"
        ], 
        "name": "Journal of Intelligent & Robotic Systems", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "3-4", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "38"
      }
    ], 
    "name": "Using Simulation for the Validation of High Level Specifications of Control Systems", 
    "pagination": "345-375", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "d4e10bdd226c4f8c44910c0e86d8f9b4799567e688d1cc4e6dc87592bcd8f26f"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1023/b:jint.0000004930.97126.c4"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1044690713"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1023/b:jint.0000004930.97126.c4", 
      "https://app.dimensions.ai/details/publication/pub.1044690713"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-10T14:01", 
    "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_8660_00000482.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1023/B:JINT.0000004930.97126.c4"
  }
]
 

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.1023/b:jint.0000004930.97126.c4'

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.1023/b:jint.0000004930.97126.c4'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1023/b:jint.0000004930.97126.c4'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1023/b:jint.0000004930.97126.c4'


 

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

96 TRIPLES      21 PREDICATES      32 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1023/b:jint.0000004930.97126.c4 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author Nd594c972443f4d42a18a4f51981a0c28
4 schema:citation sg:pub.10.1023/a:1015548507922
5 https://doi.org/10.1016/0304-3975(94)90010-8
6 https://doi.org/10.1109/5.21071
7 https://doi.org/10.1142/9789812831583_0008
8 https://doi.org/10.1142/9789812831583_0009
9 schema:datePublished 2003-12
10 schema:datePublishedReg 2003-12-01
11 schema:description In this paper, we present a methodology for modeling real–time systems using high level specification DECM (discrete event calculus model) and DEVS formalisms. In this methodology, the control system is specified by the way of a DECM user language description. This formal specification is automatically transformed into an atomic DEVS (discrete event system specification) model, and DEVS simulation of the coupled models (control system and plant) is used to validate the initial DECM specifications. The paper discusses the building of DECM specifications, the transformation of DECM specifications into a DEVS model and the simulation of the coupled DEVS model.
12 schema:genre research_article
13 schema:inLanguage en
14 schema:isAccessibleForFree false
15 schema:isPartOf N6ff64231d61c4d74aff59501038adbd8
16 N9bc71bdb003f4b8684f4647caa02ad58
17 sg:journal.1135942
18 schema:name Using Simulation for the Validation of High Level Specifications of Control Systems
19 schema:pagination 345-375
20 schema:productId N07654ec81ca2454ea6a9b8ee904014ec
21 N417450fe657745098254fa510fed1639
22 Na8f58f58dbdd48c68a4d34cd1a9e47cc
23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044690713
24 https://doi.org/10.1023/b:jint.0000004930.97126.c4
25 schema:sdDatePublished 2019-04-10T14:01
26 schema:sdLicense https://scigraph.springernature.com/explorer/license/
27 schema:sdPublisher N07fa7218dd334dd3bdd350f9650cc1a5
28 schema:url http://link.springer.com/10.1023/B:JINT.0000004930.97126.c4
29 sgo:license sg:explorer/license/
30 sgo:sdDataset articles
31 rdf:type schema:ScholarlyArticle
32 N07654ec81ca2454ea6a9b8ee904014ec schema:name dimensions_id
33 schema:value pub.1044690713
34 rdf:type schema:PropertyValue
35 N07fa7218dd334dd3bdd350f9650cc1a5 schema:name Springer Nature - SN SciGraph project
36 rdf:type schema:Organization
37 N417450fe657745098254fa510fed1639 schema:name readcube_id
38 schema:value d4e10bdd226c4f8c44910c0e86d8f9b4799567e688d1cc4e6dc87592bcd8f26f
39 rdf:type schema:PropertyValue
40 N477f0ee9970b4d10ac81b46a5cc91d50 schema:name Laboratoire des Sciences de l'Information et des Systèmes (LSIS), Avenue Escadrille Normandie-Niemen, 13387, Marseille Cedex 20, France; e-mail
41 rdf:type schema:Organization
42 N6ff64231d61c4d74aff59501038adbd8 schema:issueNumber 3-4
43 rdf:type schema:PublicationIssue
44 N9bc71bdb003f4b8684f4647caa02ad58 schema:volumeNumber 38
45 rdf:type schema:PublicationVolume
46 Na8f58f58dbdd48c68a4d34cd1a9e47cc schema:name doi
47 schema:value 10.1023/b:jint.0000004930.97126.c4
48 rdf:type schema:PropertyValue
49 Nc2f8c3e7f6e84d7ba63f7ee75c52ebff rdf:first sg:person.016646111315.77
50 rdf:rest rdf:nil
51 Nca8f0976cd614fe8a2f9beb592d80817 rdf:first sg:person.015127355031.42
52 rdf:rest Nc2f8c3e7f6e84d7ba63f7ee75c52ebff
53 Nd594c972443f4d42a18a4f51981a0c28 rdf:first sg:person.011306765506.39
54 rdf:rest Nca8f0976cd614fe8a2f9beb592d80817
55 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
56 schema:name Information and Computing Sciences
57 rdf:type schema:DefinedTerm
58 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
59 schema:name Artificial Intelligence and Image Processing
60 rdf:type schema:DefinedTerm
61 sg:journal.1135942 schema:issn 0921-0296
62 1573-0409
63 schema:name Journal of Intelligent & Robotic Systems
64 rdf:type schema:Periodical
65 sg:person.011306765506.39 schema:affiliation https://www.grid.ac/institutes/grid.7132.7
66 schema:familyName Jumpamule
67 schema:givenName Watcharee
68 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011306765506.39
69 rdf:type schema:Person
70 sg:person.015127355031.42 schema:affiliation https://www.grid.ac/institutes/grid.462878.7
71 schema:familyName Paillet
72 schema:givenName Jean-Luc
73 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015127355031.42
74 rdf:type schema:Person
75 sg:person.016646111315.77 schema:affiliation N477f0ee9970b4d10ac81b46a5cc91d50
76 schema:familyName Giambiasi
77 schema:givenName Norbert
78 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016646111315.77
79 rdf:type schema:Person
80 sg:pub.10.1023/a:1015548507922 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023417376
81 https://doi.org/10.1023/a:1015548507922
82 rdf:type schema:CreativeWork
83 https://doi.org/10.1016/0304-3975(94)90010-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029576598
84 rdf:type schema:CreativeWork
85 https://doi.org/10.1109/5.21071 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061178997
86 rdf:type schema:CreativeWork
87 https://doi.org/10.1142/9789812831583_0008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1088702098
88 rdf:type schema:CreativeWork
89 https://doi.org/10.1142/9789812831583_0009 schema:sameAs https://app.dimensions.ai/details/publication/pub.1088702099
90 rdf:type schema:CreativeWork
91 https://www.grid.ac/institutes/grid.462878.7 schema:alternateName Laboratoire des Sciences de l'Information et des Systèmes
92 schema:name Laboratoire des Sciences de l'Information et des Systèmes (LSIS), CMI, 39 Avenue Joliot-Curie, 13009, Marseille Cedex 13, France; e-mail
93 rdf:type schema:Organization
94 https://www.grid.ac/institutes/grid.7132.7 schema:alternateName Chiang Mai University
95 schema:name Computer Science Department, Chiang Mai University, 50202, Chiang Mai, Thailand; e-mail
96 rdf:type schema:Organization
 




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


...