hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Accurate Rigorous Simulation Should be Possible for Good Designs
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (Effective Modeling Group)ORCID iD: 0000-0003-4175-4020
Rice University, Houston, TX, USA. (Effective Modeling Group)ORCID iD: 0000-0002-7545-9145
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Rice University, Houston, TX, USA. (Effective Modeling Group)
2016 (English)In: Proceedings of the 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) / [ed] Erika Ábrahám & Sergiy Bogomolov, Piscataway, NJ: IEEE conference proceedings, 2016, article id 7479376Conference paper, Published paper (Refereed)
Abstract [en]

The development of Cyber-Physical Systems benefits from better methods and tools to support the simulation and verification of hybrid (continuous/discrete) models. Acumen is an open source testbed for exploring the design space of what rigorous-but-practical next-generation tools can deliver to developers. Central to Acumen is the notion of rigorous simulation. Like verification tools, rigorous simulation is intended to provide guarantees about the behavior of the system. Like traditional simulation tools, it is intended to be intuitive, practical, and scalable. Whether these two goals can be achieved simultaneously is an important, long-term challenge.

This paper proposes a design principle that can play an important role in meeting this challenge. The principle addresses the criticism that accumulating numerical errors is a serious impediment to practical rigorous simulation. It is inspired by a twofold insight: one relating to the nature of systems engineered in the real world, and the other relating to how numerical errors in the simulation of a model can be recast as errors in the state or parameters of the model in the simulation. We present a suite of small, concrete benchmarks that can be used to assess the extent to which a rigorous simulator upholds the proposed principle. We also report on which benchmarks Acumen's current rigorous simulator already succeeds and which ones remain challenging.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE conference proceedings, 2016. article id 7479376
Keyword [en]
modeling, simulation, interval analysis, stability
National Category
Computational Mathematics
Identifiers
URN: urn:nbn:se:hh:diva-30577DOI: 10.1109/SNR.2016.7479376ISI: 000382758100001Scopus ID: 2-s2.0-84978544274ISBN: 978-1-5090-3079-8 (electronic)OAI: oai:DiVA.org:hh-30577DiVA, id: diva2:914166
Conference
2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Vienna, Austria, April 11, 2016
Funder
Knowledge FoundationVINNOVA, 2011-01819
Note

Funding: US NSF award CPS-1136099, the Swedish Knowledge Foundation (KK), The CERES Center, and VINNOVA (Dnr. 2011-01819).

Available from: 2016-03-23 Created: 2016-03-23 Last updated: 2018-03-22Bibliographically approved

Open Access in DiVA

fulltext(290 kB)102 downloads
File information
File name FULLTEXT01.pdfFile size 290 kBChecksum SHA-512
03ebfcde05ba6f95c84f6292a204aafff54019197a7585d8c3458d140447bba8ded86c309c5680ce0c74ced9233faa212d4f2de905f9bad0f1ef5a5ffae02342
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records BETA

Duracz, AdamBartha, Ferenc ÁgostonTaha, Walid

Search in DiVA

By author/editor
Duracz, AdamBartha, Ferenc ÁgostonTaha, Walid
By organisation
Centre for Research on Embedded Systems (CERES)
Computational Mathematics

Search outside of DiVA

GoogleGoogle Scholar
Total: 102 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 159 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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