Accurate Rigorous Simulation Should be Possible for Good Designs
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
Keywords [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).
2016-03-232016-03-232021-05-11Bibliographically approved