Hybrid Systems: the SIGNAL approach View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1993

AUTHORS

Albert Benveniste , Michel Le Borgne , Paul Le Guernic

ABSTRACT

Hybrid Systems are 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 paper. Its expressive power is discussed, and a general method, to associate various formal systems with it, is presented with applications to Signal compilation and proof system. More... »

PAGES

230-254

Book

TITLE

Hybrid Systems

ISBN

978-3-540-57318-0
978-3-540-48060-0

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-57318-6_31

DOI

http://dx.doi.org/10.1007/3-540-57318-6_31

DIMENSIONS

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


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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "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": {
          "name": [
            "INRIA-IRISA, 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": {
          "name": [
            "INRIA-IRISA, 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": [
            "Campus Beaulieu, IRISA-University, 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": "1993", 
    "datePublishedReg": "1993-01-01", 
    "description": "Hybrid Systems are 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 paper. Its expressive power is discussed, and a general method, to associate various formal systems with it, is presented with applications to Signal compilation and proof system.", 
    "editor": [
      {
        "familyName": "Grossman", 
        "givenName": "Robert L.", 
        "type": "Person"
      }, 
      {
        "familyName": "Nerode", 
        "givenName": "Anil", 
        "type": "Person"
      }, 
      {
        "familyName": "Ravn", 
        "givenName": "Anders P.", 
        "type": "Person"
      }, 
      {
        "familyName": "Rischel", 
        "givenName": "Hans", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-57318-6_31", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-57318-0", 
        "978-3-540-48060-0"
      ], 
      "name": "Hybrid Systems", 
      "type": "Book"
    }, 
    "name": "Hybrid Systems: the SIGNAL approach", 
    "pagination": "230-254", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-57318-6_31"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "bc98ce21b35ae13801c0df865d3c7650250a2408669a1e9394cb34fcc8176743"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1039592048"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-57318-6_31", 
      "https://app.dimensions.ai/details/publication/pub.1039592048"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T11:22", 
    "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_00000068.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-57318-6_31"
  }
]
 

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-57318-6_31'

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-57318-6_31'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-57318-6_31'

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-57318-6_31'


 

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

98 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-57318-6_31 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Nbff61eb0f08345f5b7bb0a9af22c4f07
4 schema:datePublished 1993
5 schema:datePublishedReg 1993-01-01
6 schema:description Hybrid Systems are 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 paper. Its expressive power is discussed, and a general method, to associate various formal systems with it, is presented with applications to Signal compilation and proof system.
7 schema:editor Nf52466a835b94444b51585f17fc15f0a
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N367d94faa389429e819e3052df02baa0
12 schema:name Hybrid Systems: the SIGNAL approach
13 schema:pagination 230-254
14 schema:productId N7b5705f174fc487f888d30e8e4e53e12
15 N80ca7e8d29f9409b93461ba69d1d88f5
16 Ndac0088eb0114fbd806717e870c6fc4c
17 schema:publisher N43be2921ec0f48d3a90910ba833bdbd6
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039592048
19 https://doi.org/10.1007/3-540-57318-6_31
20 schema:sdDatePublished 2019-04-15T11:22
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher Ne9a8497ae716410282e489dc783b6ba9
23 schema:url http://link.springer.com/10.1007/3-540-57318-6_31
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N020c3e710f014a53982e0618e32bd10f rdf:first N8f89d636d67e4c659ec6b3c22ac5b441
28 rdf:rest Nca2cf9cab1824105931c7916d3bc3cca
29 N135f2428183542469ea156cea258446f schema:familyName Rischel
30 schema:givenName Hans
31 rdf:type schema:Person
32 N367d94faa389429e819e3052df02baa0 schema:isbn 978-3-540-48060-0
33 978-3-540-57318-0
34 schema:name Hybrid Systems
35 rdf:type schema:Book
36 N43be2921ec0f48d3a90910ba833bdbd6 schema:location Berlin, Heidelberg
37 schema:name Springer Berlin Heidelberg
38 rdf:type schema:Organisation
39 N6e045ed60c874ce7b982ef7a0e202ea1 schema:name INRIA-IRISA, France
40 rdf:type schema:Organization
41 N7b5705f174fc487f888d30e8e4e53e12 schema:name doi
42 schema:value 10.1007/3-540-57318-6_31
43 rdf:type schema:PropertyValue
44 N80ca7e8d29f9409b93461ba69d1d88f5 schema:name readcube_id
45 schema:value bc98ce21b35ae13801c0df865d3c7650250a2408669a1e9394cb34fcc8176743
46 rdf:type schema:PropertyValue
47 N82da8af939104c36862d640e45f53451 rdf:first N8b87d1ac612246918bfed1da03fd4fb1
48 rdf:rest N020c3e710f014a53982e0618e32bd10f
49 N8b87d1ac612246918bfed1da03fd4fb1 schema:familyName Nerode
50 schema:givenName Anil
51 rdf:type schema:Person
52 N8f89d636d67e4c659ec6b3c22ac5b441 schema:familyName Ravn
53 schema:givenName Anders P.
54 rdf:type schema:Person
55 Na8f3776c28cc47dc98d619314b358447 rdf:first sg:person.010645733661.40
56 rdf:rest Nc885ae976e924aa09aaf9c06e3535058
57 Nb4eb96d6cfe44ea9ad87daac29919462 schema:familyName Grossman
58 schema:givenName Robert L.
59 rdf:type schema:Person
60 Nbff61eb0f08345f5b7bb0a9af22c4f07 rdf:first sg:person.011174600625.42
61 rdf:rest Na8f3776c28cc47dc98d619314b358447
62 Nc885ae976e924aa09aaf9c06e3535058 rdf:first sg:person.012323217107.52
63 rdf:rest rdf:nil
64 Nca2cf9cab1824105931c7916d3bc3cca rdf:first N135f2428183542469ea156cea258446f
65 rdf:rest rdf:nil
66 Nd857269acfcd40ccb93a9c677662dc32 schema:name INRIA-IRISA, France
67 rdf:type schema:Organization
68 Ndac0088eb0114fbd806717e870c6fc4c schema:name dimensions_id
69 schema:value pub.1039592048
70 rdf:type schema:PropertyValue
71 Ne9a8497ae716410282e489dc783b6ba9 schema:name Springer Nature - SN SciGraph project
72 rdf:type schema:Organization
73 Nf52466a835b94444b51585f17fc15f0a rdf:first Nb4eb96d6cfe44ea9ad87daac29919462
74 rdf:rest N82da8af939104c36862d640e45f53451
75 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
76 schema:name Information and Computing Sciences
77 rdf:type schema:DefinedTerm
78 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
79 schema:name Computation Theory and Mathematics
80 rdf:type schema:DefinedTerm
81 sg:person.010645733661.40 schema:affiliation Nd857269acfcd40ccb93a9c677662dc32
82 schema:familyName Le Borgne
83 schema:givenName Michel
84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010645733661.40
85 rdf:type schema:Person
86 sg:person.011174600625.42 schema:affiliation N6e045ed60c874ce7b982ef7a0e202ea1
87 schema:familyName Benveniste
88 schema:givenName Albert
89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
90 rdf:type schema:Person
91 sg:person.012323217107.52 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
92 schema:familyName Le Guernic
93 schema:givenName Paul
94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012323217107.52
95 rdf:type schema:Person
96 https://www.grid.ac/institutes/grid.410368.8 schema:alternateName University of Rennes 1
97 schema:name Campus Beaulieu, IRISA-University, 35042 Rennes Cedex, France
98 rdf:type schema:Organization
 




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


...