Generalized Discrete Events for Accurate Modeling and Simulation of Logic Gates View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015

AUTHORS

Maamar El Amine Hamri , Norbert Giambiasi , Aziz Naamane

ABSTRACT

In this chapter, we present and demonstrate the advantages of the Generalized Discrete EVent system Specification (GDEVS) to build accurate discrete-event models of dynamic systems. These theoretical concepts are applied to the field of logic gate design and analysis in order to get more accurate and fast simulations. States are represented with linear piecewise trajectories contrary to the classical Boolean logic models where states have constant piecewise trajectories (0 and 1). With GDEVS models, the transition from a low level to a high one and vice versa is a linear trajectory and is more realistic than the instantaneous transitions of classical logic gate models. We also demonstrate that this accurate representation does not require any more computations than in Discrete EVent system Specification (DEVS). More... »

PAGES

257-272

References to SciGraph publications

  • 1984. GEST — A Modelling and Simulation Language Based on System Theoretic Concepts in SIMULATION AND MODEL-BASED METHODOLOGIES: AN INTEGRATIVE VIEW
  • Book

    TITLE

    Concepts and Methodologies for Modeling and Simulation

    ISBN

    978-3-319-15095-6
    978-3-319-15096-3

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-15096-3_12

    DOI

    http://dx.doi.org/10.1007/978-3-319-15096-3_12

    DIMENSIONS

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


    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/0105", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Mathematical Physics", 
            "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": "Aix-Marseille University", 
              "id": "https://www.grid.ac/institutes/grid.5399.6", 
              "name": [
                "Aix Marseille Universit\u00e9, CNRS, ENSAM, Universit\u00e9 de Toulon, LSIS UMR 7296, Marseille, 13397, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Hamri", 
            "givenName": "Maamar El Amine", 
            "id": "sg:person.07644474220.59", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07644474220.59"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Aix-Marseille University", 
              "id": "https://www.grid.ac/institutes/grid.5399.6", 
              "name": [
                "Aix Marseille Universit\u00e9, CNRS, ENSAM, Universit\u00e9 de Toulon, LSIS UMR 7296, Marseille, 13397, France"
              ], 
              "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"
          }, 
          {
            "affiliation": {
              "alternateName": "Aix-Marseille University", 
              "id": "https://www.grid.ac/institutes/grid.5399.6", 
              "name": [
                "Aix Marseille Universit\u00e9, CNRS, ENSAM, Universit\u00e9 de Toulon, LSIS UMR 7296, Marseille, 13397, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Naamane", 
            "givenName": "Aziz", 
            "id": "sg:person.015204121402.60", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015204121402.60"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-82144-8_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012966127", 
              "https://doi.org/10.1007/978-3-642-82144-8_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.simpat.2006.05.002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021666454"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1177/003754970107600506", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063681700"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1177/003754970107600506", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063681700"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1177/003754977903200301", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063683888"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1177/003754977903200301", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063683888"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/ssd.2014.6808764", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093218119"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/isads.2001.917452", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093539212"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2015", 
        "datePublishedReg": "2015-01-01", 
        "description": "In this chapter, we present and demonstrate the advantages of the Generalized Discrete EVent system Specification (GDEVS) to build accurate discrete-event models of dynamic systems. These theoretical concepts are applied to the field of logic gate design and analysis in order to get more accurate and fast simulations. States are represented with linear piecewise trajectories contrary to the classical Boolean logic models where states have constant piecewise trajectories (0 and 1). With GDEVS models, the transition from a low level to a high one and vice versa is a linear trajectory and is more realistic than the instantaneous transitions of classical logic gate models. We also demonstrate that this accurate representation does not require any more computations than in Discrete EVent system Specification (DEVS).", 
        "editor": [
          {
            "familyName": "Yilmaz", 
            "givenName": "Levent", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-15096-3_12", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-319-15095-6", 
            "978-3-319-15096-3"
          ], 
          "name": "Concepts and Methodologies for Modeling and Simulation", 
          "type": "Book"
        }, 
        "name": "Generalized Discrete Events for Accurate Modeling and Simulation of Logic Gates", 
        "pagination": "257-272", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-15096-3_12"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "5880f045aa78c39d7e13892267690dd6b292eca0f94fa6ce09a63e4fbefb6916"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1018575299"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-15096-3_12", 
          "https://app.dimensions.ai/details/publication/pub.1018575299"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T00:48", 
        "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_8700_00000254.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-15096-3_12"
      }
    ]
     

    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-15096-3_12'

    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-15096-3_12'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-15096-3_12'

    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-15096-3_12'


     

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

    98 TRIPLES      23 PREDICATES      33 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-15096-3_12 schema:about anzsrc-for:01
    2 anzsrc-for:0105
    3 schema:author N17ba6d3aafd443b4be91bfad81ca08b7
    4 schema:citation sg:pub.10.1007/978-3-642-82144-8_10
    5 https://doi.org/10.1016/j.simpat.2006.05.002
    6 https://doi.org/10.1109/isads.2001.917452
    7 https://doi.org/10.1109/ssd.2014.6808764
    8 https://doi.org/10.1177/003754970107600506
    9 https://doi.org/10.1177/003754977903200301
    10 schema:datePublished 2015
    11 schema:datePublishedReg 2015-01-01
    12 schema:description In this chapter, we present and demonstrate the advantages of the Generalized Discrete EVent system Specification (GDEVS) to build accurate discrete-event models of dynamic systems. These theoretical concepts are applied to the field of logic gate design and analysis in order to get more accurate and fast simulations. States are represented with linear piecewise trajectories contrary to the classical Boolean logic models where states have constant piecewise trajectories (0 and 1). With GDEVS models, the transition from a low level to a high one and vice versa is a linear trajectory and is more realistic than the instantaneous transitions of classical logic gate models. We also demonstrate that this accurate representation does not require any more computations than in Discrete EVent system Specification (DEVS).
    13 schema:editor Nac9f0f968c61496cabde82769c554b94
    14 schema:genre chapter
    15 schema:inLanguage en
    16 schema:isAccessibleForFree false
    17 schema:isPartOf Nb63019d98c9f40f18d7bd67d5b6390b0
    18 schema:name Generalized Discrete Events for Accurate Modeling and Simulation of Logic Gates
    19 schema:pagination 257-272
    20 schema:productId Nc027e13c74d7448ba01632af8c8e8bc8
    21 Nd8b0b1846a634a31a56175e8056c7241
    22 Nf730986003b54ef5810c7a29bcb5d7d8
    23 schema:publisher N15167d827da1446099fe3097648636f6
    24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018575299
    25 https://doi.org/10.1007/978-3-319-15096-3_12
    26 schema:sdDatePublished 2019-04-16T00:48
    27 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    28 schema:sdPublisher N5535faca341c48429f8d7e86da171570
    29 schema:url http://link.springer.com/10.1007/978-3-319-15096-3_12
    30 sgo:license sg:explorer/license/
    31 sgo:sdDataset chapters
    32 rdf:type schema:Chapter
    33 N15167d827da1446099fe3097648636f6 schema:location Cham
    34 schema:name Springer International Publishing
    35 rdf:type schema:Organisation
    36 N17ba6d3aafd443b4be91bfad81ca08b7 rdf:first sg:person.07644474220.59
    37 rdf:rest Nf3efe2b193084dc4bef38ca62d864328
    38 N5535faca341c48429f8d7e86da171570 schema:name Springer Nature - SN SciGraph project
    39 rdf:type schema:Organization
    40 N693d728d687b49a1b6296db55d2a4508 rdf:first sg:person.015204121402.60
    41 rdf:rest rdf:nil
    42 N7144b579a9db46759357ced1f2e4ce9c schema:familyName Yilmaz
    43 schema:givenName Levent
    44 rdf:type schema:Person
    45 Nac9f0f968c61496cabde82769c554b94 rdf:first N7144b579a9db46759357ced1f2e4ce9c
    46 rdf:rest rdf:nil
    47 Nb63019d98c9f40f18d7bd67d5b6390b0 schema:isbn 978-3-319-15095-6
    48 978-3-319-15096-3
    49 schema:name Concepts and Methodologies for Modeling and Simulation
    50 rdf:type schema:Book
    51 Nc027e13c74d7448ba01632af8c8e8bc8 schema:name doi
    52 schema:value 10.1007/978-3-319-15096-3_12
    53 rdf:type schema:PropertyValue
    54 Nd8b0b1846a634a31a56175e8056c7241 schema:name dimensions_id
    55 schema:value pub.1018575299
    56 rdf:type schema:PropertyValue
    57 Nf3efe2b193084dc4bef38ca62d864328 rdf:first sg:person.016646111315.77
    58 rdf:rest N693d728d687b49a1b6296db55d2a4508
    59 Nf730986003b54ef5810c7a29bcb5d7d8 schema:name readcube_id
    60 schema:value 5880f045aa78c39d7e13892267690dd6b292eca0f94fa6ce09a63e4fbefb6916
    61 rdf:type schema:PropertyValue
    62 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
    63 schema:name Mathematical Sciences
    64 rdf:type schema:DefinedTerm
    65 anzsrc-for:0105 schema:inDefinedTermSet anzsrc-for:
    66 schema:name Mathematical Physics
    67 rdf:type schema:DefinedTerm
    68 sg:person.015204121402.60 schema:affiliation https://www.grid.ac/institutes/grid.5399.6
    69 schema:familyName Naamane
    70 schema:givenName Aziz
    71 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015204121402.60
    72 rdf:type schema:Person
    73 sg:person.016646111315.77 schema:affiliation https://www.grid.ac/institutes/grid.5399.6
    74 schema:familyName Giambiasi
    75 schema:givenName Norbert
    76 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016646111315.77
    77 rdf:type schema:Person
    78 sg:person.07644474220.59 schema:affiliation https://www.grid.ac/institutes/grid.5399.6
    79 schema:familyName Hamri
    80 schema:givenName Maamar El Amine
    81 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07644474220.59
    82 rdf:type schema:Person
    83 sg:pub.10.1007/978-3-642-82144-8_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012966127
    84 https://doi.org/10.1007/978-3-642-82144-8_10
    85 rdf:type schema:CreativeWork
    86 https://doi.org/10.1016/j.simpat.2006.05.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021666454
    87 rdf:type schema:CreativeWork
    88 https://doi.org/10.1109/isads.2001.917452 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093539212
    89 rdf:type schema:CreativeWork
    90 https://doi.org/10.1109/ssd.2014.6808764 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093218119
    91 rdf:type schema:CreativeWork
    92 https://doi.org/10.1177/003754970107600506 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063681700
    93 rdf:type schema:CreativeWork
    94 https://doi.org/10.1177/003754977903200301 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063683888
    95 rdf:type schema:CreativeWork
    96 https://www.grid.ac/institutes/grid.5399.6 schema:alternateName Aix-Marseille University
    97 schema:name Aix Marseille Université, CNRS, ENSAM, Université de Toulon, LSIS UMR 7296, Marseille, 13397, France
    98 rdf:type schema:Organization
     




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


    ...