Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1521178,
author = {Beneš, Nikola and Brim, Luboš and Dražanová, Jana and Pastva, Samuel and Šafránek, David},
address = {New York, NY, USA},
booktitle = {Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control},
doi = {http://dx.doi.org/10.1145/3302504.3311793},
keywords = {SMT solver; discrete abstraction; dynamical systems; hybrid systems},
howpublished = {tištěná verze "print"},
language = {eng},
location = {New York, NY, USA},
isbn = {978-1-4503-6282-5},
pages = {99-108},
publisher = {ACM},
title = {Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT},
url = {http://dx.doi.org/10.1145/3302504.3311793},
year = {2019}
}
TY - JOUR
ID - 1521178
AU - Beneš, Nikola - Brim, Luboš - Dražanová, Jana - Pastva, Samuel - Šafránek, David
PY - 2019
TI - Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT
PB - ACM
CY - New York, NY, USA
SN - 9781450362825
KW - SMT solver
KW - discrete abstraction
KW - dynamical systems
KW - hybrid systems
UR - http://dx.doi.org/10.1145/3302504.3311793
N2 - Formal analysis of non-linear continuous and hybrid systems is a hot topic. A common approach builds on computing a suitable finite discrete abstraction of the continuous system. In this paper, we propose a facetal abstraction which eliminates certain drawbacks of existing abstractions. The states of our abstraction are built primarily from facets of a polytopal partitioning of the system's state space taking thus into account the flow of the continuous dynamics and leading to global over-approximation. The transition system construction is based on queries solved by a delta-decision SMT-solver. The method is evaluated on several case studies.
ER -
BENEŠ, Nikola, Luboš BRIM, Jana DRAŽANOVÁ, Samuel PASTVA and David ŠAFRÁNEK. Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT. In \textit{Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control}. New York, NY, USA: ACM, 2019, p.~99-108. ISBN~978-1-4503-6282-5. Available from: https://dx.doi.org/10.1145/3302504.3311793.
|
