hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Some Challenges for Model-Based Simulation
Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Computer Science, Rice University, Houston, USA.
Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS). Computer Science, Rice University, Houston, USA.
2013 (English)In: 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, 1-4 p.Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2013. 1-4 p.
Series
Linköping Electronic Conference Proceedings, ISSN 1650-3686 ; 90
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:hh:diva-24058ISBN: 978-91-7519-451-6 OAI: oai:DiVA.org:hh-24058DiVA: diva2:668819
Conference
The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Vancouver, Canada, December 3, 2013
Funder
Knowledge FoundationVinnova
Note

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.

Available from: 2013-12-02 Created: 2013-12-02 Last updated: 2014-09-29Bibliographically approved

Open Access in DiVA

No full text

Other links

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

Search in DiVA

By author/editor
Taha, WalidCartwright, Robert
By organisation
Centre for Research on Embedded Systems (CERES)Halmstad Embedded and Intelligent Systems Research (EIS)
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Total: 69 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf