Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:20188756 > Rigorous Simulation

  • Duracz, Adam1981- (författare)

Rigorous Simulation [Elektronisk resurs]Its Theory and Applications

  • E-bokAvhandlingEngelska2016

Förlag, utgivningsår, omfång ...

  • HalmstadHalmstad University Press2016
  • 203

Nummerbeteckningar

  • LIBRIS-ID:20188756
  • Ogiltigt nummer / annan version:9789187045530
  • Ogiltigt nummer / annan version:9789187045523
  • http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-32608uri
  • urn:nbn:se:hh:diva-32608urn

Kompletterande språkuppgifter

  • Språk:engelska

Ingår i deldatabas

Anmärkningar

  • Ekonomie doktorsexamen
  • degree of Doctor in Philosophy
  • VINNOVA
  • KK-stiftelsen
  • Diss. , 2016
  • gratis
  • 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.

Ämnesord och genrebeteckningar

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Taha, Walid (preses)
  • Gaspes, Veronica (preses)
  • Ueda, Kazunori (opponent)
  • Högskolan i HalmstadAkademin för informationsteknologi (utgivare)
  • Effective Modeling Group (medarbetare)

Sammanhörande titlar

  • Del av/supplement till:channel record
  • Annan version:Annat format9789187045530
  • Annan version:Annat format9789187045523

Internetlänk

Länkade data-URI:er (test)

  • 264446 (Naturvetenskap hsv)
Inställningar Hjälp

Titeln finns på 1 bibliotek. 

Övriga bibliotek (1)

Ange som favorit
Om LIBRIS
Sekretess
Blogg
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Sondera
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy