SIGNAL as a model for real-time and hybrid systems View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1992

AUTHORS

Albert Benveniste , Michel Le Borgne , Paul Le Guernic

ABSTRACT

Hybrid Systems axe models of systems operating in real-time and handling events as well as “continuous” computations. The Signal formalism for Hybrid Systems is presented in this extended abstract. Its expressive power is discussed, and a general method to associate various formal systems with it is presented and illustrated on deriving the present Signal compiler. More... »

PAGES

20-38

Book

TITLE

ESOP '92

ISBN

978-3-540-55253-6
978-3-540-46803-5

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-55253-7_2

DOI

http://dx.doi.org/10.1007/3-540-55253-7_2

DIMENSIONS

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


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/0906", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Electrical and Electronic Engineering", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/09", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Engineering", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "INRIA-IRISA, Campus Beaulieu, 35042\u00a0Rennes Cedex, 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": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "IRISA-University, Campus Beaulieu, 35042\u00a0Rennes Cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Le Borgne", 
        "givenName": "Michel", 
        "id": "sg:person.010645733661.40", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010645733661.40"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "INRIA-IRISA, Campus Beaulieu, 35042\u00a0Rennes Cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Le Guernic", 
        "givenName": "Paul", 
        "id": "sg:person.012323217107.52", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012323217107.52"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1992", 
    "datePublishedReg": "1992-01-01", 
    "description": "Hybrid Systems axe models of systems operating in real-time and handling events as well as \u201ccontinuous\u201d computations. The Signal formalism for Hybrid Systems is presented in this extended abstract. Its expressive power is discussed, and a general method to associate various formal systems with it is presented and illustrated on deriving the present Signal compiler.", 
    "editor": [
      {
        "familyName": "Krieg-Br\u00fcckner", 
        "givenName": "Bernd", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-55253-7_2", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-55253-6", 
        "978-3-540-46803-5"
      ], 
      "name": "ESOP '92", 
      "type": "Book"
    }, 
    "name": "SIGNAL as a model for real-time and hybrid systems", 
    "pagination": "20-38", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-55253-7_2"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "89d811ca31e7e1131f9460d46fb656f4c98347663321ed98d0f8485d62d7fd4f"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1028936134"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-55253-7_2", 
      "https://app.dimensions.ai/details/publication/pub.1028936134"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T00:36", 
    "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_00000049.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-55253-7_2"
  }
]
 

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-55253-7_2'

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-55253-7_2'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-55253-7_2'

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-55253-7_2'


 

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

80 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-55253-7_2 schema:about anzsrc-for:09
2 anzsrc-for:0906
3 schema:author N4f3534d556c4403c855f71a68253ed55
4 schema:datePublished 1992
5 schema:datePublishedReg 1992-01-01
6 schema:description Hybrid Systems axe models of systems operating in real-time and handling events as well as “continuous” computations. The Signal formalism for Hybrid Systems is presented in this extended abstract. Its expressive power is discussed, and a general method to associate various formal systems with it is presented and illustrated on deriving the present Signal compiler.
7 schema:editor N6d941afbeb32401ba873754cc8a73763
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf Ndaf340e2c3004af9b3559dcfe3b6e718
12 schema:name SIGNAL as a model for real-time and hybrid systems
13 schema:pagination 20-38
14 schema:productId N3f88021929c744d3bb8df6b2fb13c2da
15 N6bb26b3457504771909980d148856950
16 Nbba58eb877534b809e90639f2fe84160
17 schema:publisher N06855d8d179e478e8e92291d063cec32
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028936134
19 https://doi.org/10.1007/3-540-55253-7_2
20 schema:sdDatePublished 2019-04-16T00:36
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher Nb42b2f994e6b40ec93cab1996f471e51
23 schema:url http://link.springer.com/10.1007/3-540-55253-7_2
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N06855d8d179e478e8e92291d063cec32 schema:location Berlin, Heidelberg
28 schema:name Springer Berlin Heidelberg
29 rdf:type schema:Organisation
30 N3f88021929c744d3bb8df6b2fb13c2da schema:name doi
31 schema:value 10.1007/3-540-55253-7_2
32 rdf:type schema:PropertyValue
33 N4f3534d556c4403c855f71a68253ed55 rdf:first sg:person.011174600625.42
34 rdf:rest N837680b80bcd401ca1bb57d29424f3a8
35 N4f75958318634e8b8fa7bbb364f0f84b schema:familyName Krieg-Brückner
36 schema:givenName Bernd
37 rdf:type schema:Person
38 N6bb26b3457504771909980d148856950 schema:name dimensions_id
39 schema:value pub.1028936134
40 rdf:type schema:PropertyValue
41 N6d941afbeb32401ba873754cc8a73763 rdf:first N4f75958318634e8b8fa7bbb364f0f84b
42 rdf:rest rdf:nil
43 N837680b80bcd401ca1bb57d29424f3a8 rdf:first sg:person.010645733661.40
44 rdf:rest N84ce753f33134a6e95beba72e1d7cbaa
45 N84ce753f33134a6e95beba72e1d7cbaa rdf:first sg:person.012323217107.52
46 rdf:rest rdf:nil
47 Nb42b2f994e6b40ec93cab1996f471e51 schema:name Springer Nature - SN SciGraph project
48 rdf:type schema:Organization
49 Nbba58eb877534b809e90639f2fe84160 schema:name readcube_id
50 schema:value 89d811ca31e7e1131f9460d46fb656f4c98347663321ed98d0f8485d62d7fd4f
51 rdf:type schema:PropertyValue
52 Ndaf340e2c3004af9b3559dcfe3b6e718 schema:isbn 978-3-540-46803-5
53 978-3-540-55253-6
54 schema:name ESOP '92
55 rdf:type schema:Book
56 anzsrc-for:09 schema:inDefinedTermSet anzsrc-for:
57 schema:name Engineering
58 rdf:type schema:DefinedTerm
59 anzsrc-for:0906 schema:inDefinedTermSet anzsrc-for:
60 schema:name Electrical and Electronic Engineering
61 rdf:type schema:DefinedTerm
62 sg:person.010645733661.40 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
63 schema:familyName Le Borgne
64 schema:givenName Michel
65 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010645733661.40
66 rdf:type schema:Person
67 sg:person.011174600625.42 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
68 schema:familyName Benveniste
69 schema:givenName Albert
70 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
71 rdf:type schema:Person
72 sg:person.012323217107.52 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
73 schema:familyName Le Guernic
74 schema:givenName Paul
75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012323217107.52
76 rdf:type schema:Person
77 https://www.grid.ac/institutes/grid.410368.8 schema:alternateName University of Rennes 1
78 schema:name INRIA-IRISA, Campus Beaulieu, 35042 Rennes Cedex, France
79 IRISA-University, Campus Beaulieu, 35042 Rennes Cedex, France
80 rdf:type schema:Organization
 




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


...