Ontology type: schema:Chapter Open Access: True
2018-05-08
AUTHORSBenoît Barbot , Béatrice Bérard , Yann Duplouy , Serge Haddad
ABSTRACTWe present an implementation for Simulink model executions in the statistical model-checker Cosmos. We take profit of this implementation for hybrid modeling and simulations combining Petri nets and Simulink models.
PAGES363-373
Application and Theory of Petri Nets and Concurrency
ISBN
978-3-319-91267-7
978-3-319-91268-4
http://scigraph.springernature.com/pub.10.1007/978-3-319-91268-4_19
DOIhttp://dx.doi.org/10.1007/978-3-319-91268-4_19
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1103859763
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",
"author": [
{
"affiliation": {
"alternateName": "Paris 12 Val de Marne University",
"id": "https://www.grid.ac/institutes/grid.410511.0",
"name": [
"LACL, Universit\u00e9 Paris -Est Cr\u00e9teil, Cr\u00e9teil, France"
],
"type": "Organization"
},
"familyName": "Barbot",
"givenName": "Beno\u00eet",
"id": "sg:person.011566260657.69",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011566260657.69"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Laboratoire d'informatique de Paris 6",
"id": "https://www.grid.ac/institutes/grid.462751.3",
"name": [
"Sorbonne Universit\u00e9, LIP6, CNRS UMR 7606, Paris, France"
],
"type": "Organization"
},
"familyName": "B\u00e9rard",
"givenName": "B\u00e9atrice",
"id": "sg:person.016371371055.08",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016371371055.08"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Laboratoire Sp\u00e9cification et V\u00e9rification",
"id": "https://www.grid.ac/institutes/grid.464035.0",
"name": [
"IRT SystemX, Paris-Saclay, Palaiseau, France",
"LSV, ENS Paris-Saclay, CNRS, Inria, Universit\u00e9 Paris-Saclay, Cachan, France"
],
"type": "Organization"
},
"familyName": "Duplouy",
"givenName": "Yann",
"type": "Person"
},
{
"affiliation": {
"alternateName": "Laboratoire Sp\u00e9cification et V\u00e9rification",
"id": "https://www.grid.ac/institutes/grid.464035.0",
"name": [
"LSV, ENS Paris-Saclay, CNRS, Inria, Universit\u00e9 Paris-Saclay, Cachan, France"
],
"type": "Organization"
},
"familyName": "Haddad",
"givenName": "Serge",
"id": "sg:person.016552227263.84",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016552227263.84"
],
"type": "Person"
}
],
"citation": [
{
"id": "https://doi.org/10.1145/2883817.2883844",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1005438857"
],
"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.1016/j.jcss.2011.08.009",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1018852982"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-319-43425-4_13",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1020057572",
"https://doi.org/10.1007/978-3-319-43425-4_13"
],
"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.1016/j.peva.2015.04.003",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1036506486"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.tcs.2015.05.018",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1037726902"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-28756-5_23",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1040859371",
"https://doi.org/10.1007/978-3-642-28756-5_23"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1145/2248418.2248437",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1042012968"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1080/01621459.1963.10500830",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1058299773"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1093/biomet/26.4.404",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1059415719"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1214/aoms/1177700156",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1064399996"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1214/aoms/1177731118",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1064402213"
],
"type": "CreativeWork"
}
],
"datePublished": "2018-05-08",
"datePublishedReg": "2018-05-08",
"description": "We present an implementation for Simulink model executions in the statistical model-checker Cosmos. We take profit of this implementation for hybrid modeling and simulations combining Petri nets and Simulink models.",
"editor": [
{
"familyName": "Khomenko",
"givenName": "Victor",
"type": "Person"
},
{
"familyName": "Roux",
"givenName": "Olivier H.",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-319-91268-4_19",
"inLanguage": [
"en"
],
"isAccessibleForFree": true,
"isPartOf": {
"isbn": [
"978-3-319-91267-7",
"978-3-319-91268-4"
],
"name": "Application and Theory of Petri Nets and Concurrency",
"type": "Book"
},
"name": "Integrating Simulink Models into the Model Checker Cosmos",
"pagination": "363-373",
"productId": [
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-319-91268-4_19"
]
},
{
"name": "readcube_id",
"type": "PropertyValue",
"value": [
"4ec6f1bbcbe7ca0fbcc3ed7147b733cc1a1a9dc672d3b1f24807274498994b56"
]
},
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1103859763"
]
}
],
"publisher": {
"location": "Cham",
"name": "Springer International Publishing",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-319-91268-4_19",
"https://app.dimensions.ai/details/publication/pub.1103859763"
],
"sdDataset": "chapters",
"sdDatePublished": "2019-04-16T05:02",
"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/0000000325_0000000325/records_100819_00000000.jsonl",
"type": "Chapter",
"url": "https://link.springer.com/10.1007%2F978-3-319-91268-4_19"
}
]Download the RDF metadata as: json-ld nt turtle xml License info
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-91268-4_19'
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-91268-4_19'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-91268-4_19'
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-91268-4_19'
This table displays all metadata directly associated to this object as RDF triples.
130 TRIPLES
22 PREDICATES
37 URIs
19 LITERALS
8 BLANK NODES