Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Zivanovic Gonzalez, Sanja"'
Autor:
Bresolin, Davide, Collins, Pieter, Geretti, Luca, Segala, Roberto, Villa, Tiziano, Živanović Gonzalez, Sanja
Publikováno v:
In Information and Computation October 2024 300
Publikováno v:
In Nonlinear Analysis: Hybrid Systems February 2023 47
Autor:
Collins, Pieter, Geretti, Luca, Villa, Tiziano, Zivanovic Gonzalez, Sanja, Schön, Steffen, Rauh, Andreas
[no abstract available]
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::533975b6dd163b32817775c2d09fcc08
Autor:
Geretti, Luca, Zivanovic Gonzalez, Sanja, Collins, Pieter, Bresolin, Davide, Villa, Tiziano, Zamani, M., Zufferey, D.
Publikováno v:
Numerical Software Verification ISBN: 9783030284220
NSV@CAV
Numerical Software Verification. NSV 2019: International Workshop on Numerical Software Verification, 11652, 60-75
NSV@CAV
Numerical Software Verification. NSV 2019: International Workshop on Numerical Software Verification, 11652, 60-75
Uncertainty is unavoidable in modeling dynamical systems and it may be represented mathematically by differential inclusions. In the past, we proposed an algorithm to compute validated solutions of differential inclusions; here we provide several the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2dca356ad72dc7e0b6521826ebe98cd7
https://doi.org/10.1007/978-3-030-28423-7_4
https://doi.org/10.1007/978-3-030-28423-7_4