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

Direct link
Referera
Referensformat
  • apa
  • 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
Rigorous Simulation: Its Theory and Applications
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). (Effective Modeling Group)ORCID-id: 0000-0003-4175-4020
2016 (engelsk)Doktoravhandling, monografi (Annet vitenskapelig)
Abstract [en]

Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. Traditional simulation tools can produce useful results, but their results are traditionally approximations that make it impossible to distinguish a useful simulation from one dominated by numerical error. Verification tools require skills in formal specification and a priori understanding of the particular dynamical system being studied.

This thesis presents rigorous simulation, an approach to simulation that uses validated numerics to produce results that quantify and bound all approximation errors accumulated during simulation. This makes it possible for the user to objectively and reliably distinguish accurate simulations from ones that do not provide enough information to be useful. Explicitly quantifying the error in the output has the side-effect of leading to a tool for dealing with inputs that come with quantified uncertainty.

We formalize the approach as an operational semantics for a core subset of the domain-specific language Acumen. The operational semantics is extended to a larger subset through a translation. Preliminary results toward proving the soundness of the operational semantics with respect to a denotational semantics are presented. A modeling environment with a rigorous simulator based on the operational semantics is described. The implementation is portable, and its source code is freely available. The accuracy of the simulator on different kinds of systems is explored through a set of benchmark models that exercise different aspects of a rigorous simulator. A case study from the automotive domain is used to evaluate the applicability of the simulator and its modeling language. In the case study, the simulator is used to compute rigorous bounds on the output of a model.

sted, utgiver, år, opplag, sider
Halmstad: Halmstad University Press, 2016. , s. 203
Serie
Halmstad University Dissertations ; 25
Emneord [en]
simulation, verification, interval analysis, validated numerics, hybrid systems, cyber-physical systems
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-32608Libris ID: 20188756ISBN: 978-91-87045-53-0 (tryckt)ISBN: 978-91-87045-52-3 (tryckt)OAI: oai:DiVA.org:hh-32608DiVA, id: diva2:1052710
Disputas
2016-12-01, Wigforssalen, Visionen, Kristian IV:s väg 3, Halmstad, 13:15 (engelsk)
Opponent
Veileder
Forskningsfinansiär
VINNOVAKnowledge FoundationTilgjengelig fra: 2016-12-07 Laget: 2016-12-07 Sist oppdatert: 2018-01-13bibliografisk kontrollert

Open Access i DiVA

thesis(1564 kB)311 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1564 kBChecksum SHA-512
465b1a83d3a4f235e379aedfa4b42ad8ec4d79d16b858c58e10735042d2086a2106194e60768de834ef5ab0f5dad4aa0b522ac5db696bea6dd3e270c9062d768
Type fulltextMimetype application/pdf
errata(174 kB)49 nedlastinger
Filinformasjon
Fil FULLTEXT02.pdfFilstørrelse 174 kBChecksum SHA-512
11eee8971a4c40f8086f9894e7d4854440fcd30b8a3627e65828061518cecb1a5d8423df384594cd5a0dcde6990fadbd3e334ac68a73744dd8dfffd14285ddac
Type fulltextMimetype application/pdf

Personposter BETA

Duracz, Adam

Søk i DiVA

Av forfatter/redaktør
Duracz, Adam
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 360 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

isbn
urn-nbn

Altmetric

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

Direct link
Referera
Referensformat
  • apa
  • 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