hh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Some Challenges for Model-Based Simulation
Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). Computer Science, Rice University, Houston, USA.
Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS). Computer Science, Rice University, Houston, USA.
2013 (Engelska)Ingår i: Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop: December 3, Vancouver, Canada / [ed] David Broman & Gabor Karsai, Linköping: Linköping University Electronic Press, 2013, s. 1-4Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Comprehensive analytical modeling and simulation of cyber-physical systems is an integral part of the process that brings novel designs and products to life. But the effort needed to go from analytical models to running simulation code can impede or derail this process. Our thesisis that this process is amenable to automation, and that automating it will accelerate the pace of innovation. This paper reviews some basic concepts that we found interesting or thought-provoking, and articulates some questions that may help prove or disprove this thesis. While based on ideas drawn from different disciplines, we observe that all these questions pertain in a profound way to how we can reason and compute with real numbers.

Ort, förlag, år, upplaga, sidor
Linköping: Linköping University Electronic Press, 2013. s. 1-4
Serie
Linköping Electronic Conference Proceedings, ISSN 1650-3686 ; 90
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:hh:diva-24058ISBN: 978-91-7519-451-6 OAI: oai:DiVA.org:hh-24058DiVA, id: diva2:668819
Konferens
The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Vancouver, Canada, December 3, 2013
Forskningsfinansiär
KK-stiftelsenVinnova
Anmärkning

This manuscript is a reduced and edited revision of an invited paper entitled “The Trouble with Real Numbers” and presented at the WS4C workshop of INFORMATIK 2011 held in Berlin.

This research was supported by Halmstad University, the Swedish Knowledge Foundation (KK) Centre CERES, the Swedish Knowledge Foundation (KK) Environment at Halmstad University, and US NSF CPS awards number 1136099 and 1136104.

Tillgänglig från: 2013-12-02 Skapad: 2013-12-02 Senast uppdaterad: 2018-03-22Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

http://www.ep.liu.se/ecp/090/001/ecp13090001.pdf

Personposter BETA

Taha, WalidCartwright, Robert

Sök vidare i DiVA

Av författaren/redaktören
Taha, WalidCartwright, Robert
Av organisationen
Centrum för forskning om inbyggda system (CERES)Halmstad Embedded and Intelligent Systems Research (EIS)
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 120 träffar
RefereraExporteraLänk till posten
Permanent länk

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