View source for Publications:Some Challenges for Model-Based Simulation

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Robert Cartwright
|PID=668819
|Name=Taha, Walid [waltah] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]) (Computer Science, Rice University, Houston, USA);Cartwright, Robert [robcarx] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938]) (Computer Science, Rice University, Houston, USA)
|Title=Some Challenges for Model-Based Simulation
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop : December 3, Vancouver, Canada
|Conference=The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Vancouver, Canada, December 3, 2013
|StartPage=1
|EndPage=4
|Year=2013
|Edition=
|Pages=
|City=Linköping
|Publisher=Linköping University Electronic Press
|Series=Linköping Electronic Conference Proceedings ; 90
|SeriesISSN=1650-3686
|ISBN=978-91-7519-451-6
|Urls=http://www.ep.liu.se/ecp/090/001/ecp13090001.pdf
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-24058
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=<p>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.</p><p>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.</p>
|Abstract=<p>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.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-12-02
|PublicationDate=2013-12-02
|LastUpdated=2014-04-16
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:668819}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}