hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A Semantic Account of Rigorous Simulation
Rice University, Houston, TX, United States.
DIBRIS, Genova University, Genova, Italy.
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).ORCID-id: 0000-0003-3160-9188
Zhejiang University, Hangzhou, China.
2018 (engelsk)Inngår i: Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / [ed] Marten LohstrohPatricia DerlerMarjan Sirjani, Amsterdam: Springer Berlin/Heidelberg, 2018, Vol. 10760, s. 223-239Kapittel i bok, del av antologi (Fagfellevurdert)
Abstract [en]

Hybrid systems are a powerful formalism for modeling cyber-physical systems. Reachability analysis is a general method for checking safety properties, especially in the presence of uncertainty and non-determinism. Rigorous simulation is a convenient tool for reachability analysis of hybrid systems. However, to serve as proof tool, a rigorous simulator must be correct w.r.t. a clearly defined notion of reachability, which captures what is intuitively reachable in finite time. As a step towards addressing this challenge, this paper presents a rigorous simulator in the form of an operational semantics and a specification in the form of a denotational semantics. We show that, under certain conditions about the representation of enclosures, the rigorous simulator is correct. We also show that finding a representation satisfying these assumptions is non-trivial. © 2018, Springer International Publishing AG, part of Springer Nature.

sted, utgiver, år, opplag, sider
Amsterdam: Springer Berlin/Heidelberg, 2018. Vol. 10760, s. 223-239
Serie
Lecture Notes In Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 10760
Emneord [en]
Correctness, Programming languages, Reachability analysis, Computer programming languages, Embedded systems, Hybrid systems, Semantics, Simulators, Denotational semantics, General method, Non Determinism, Operational semantics, Rigorous simulation, Safety property, Uncertainty analysis
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-38736DOI: 10.1007/978-3-319-95246-8_13Scopus ID: 2-s2.0-85052713247ISBN: 978-3-319-95245-1 (tryckt)ISBN: 978-3-319-95246-8 (digital)OAI: oai:DiVA.org:hh-38736DiVA, id: diva2:1276802
Tilgjengelig fra: 2019-01-09 Laget: 2019-01-09 Sist oppdatert: 2019-01-09bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Taha, Walid

Søk i DiVA

Av forfatter/redaktør
Taha, Walid
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 221 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf