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, IEEE conference proceedings, 2016Conference 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
IEEE conference proceedings, 2016.
Keyword [en]
modeling, simulation, interval analysis, stability
National Category
Computational Mathematics
Identifiers
URN: urn:nbn:se:hh:diva-30577DOI: 10.1109/SNR.2016.7479376ISBN: 978-1-5090-3079-8 OAI: oai:DiVA.org:hh-30577DiVA: 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: 2016-07-21Bibliographically approved

Open Access in DiVA

fulltext(309 kB)61 downloads
File information
File name FULLTEXT01.pdfFile size 309 kBChecksum SHA-512
1059f201173d050c83f73ecfa6d7fc084db0c676e03d67d699c936158a21fa2f55278297cf7d28fb259879479f855d575eec43678795cefd4c05dbf29c3dfbc9
Type fulltextMimetype application/pdf

Other links

Publisher's full text

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: 61 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

Altmetric score

Total: 95 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