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.
|