Formal Methods for Discrete-Time Dynamical Systems

Date

2017-01-01

Author

Belta, Calin
Yordanov, Boyan
Aydın Göl, Ebru

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

URI

https://www.springer.com/it/book/9783319507620
https://hdl.handle.net/11511/70300

Collections

Suggestions

Formal Methods for Discrete-Time Dynamical Systems Background Belta, Calin; Yordanov, Boyan; Aydın Göl, Ebru (2017-01-01)
Numerical methods for multiphysics flow problems Belenli Akbaş, Mine; Kaya Merdan, Songül; Rebholz, Leo G.; Department of Mathematics (2016) In this dissertation, efficient and reliable numerical algorithms for approximating solutions of multiphysics flow problems are investigated by using numerical methods. The interaction of multiple physical processes makes the systems complex, and two fundamental difficulties arise when attempting to obtain numerical solutions of these problems: the need for algorithms that reduce the problems into smaller pieces in a stable and accurate way and for large (sometimes intractable) amount of computational resou...
Numerical solutions of first order delay differential equations Özer, Şebnem; Zafer, Ağacık; Department of Mathematics (1998)
Numerical methods for solving two-point boundary value problems. Khadra, Mohammad; Tezer, Münevver; Department of Mathematics (2002)
Numerical solutions of hamiltonian systems in normal form Çelik, Canan; Karasözen, Bülent; Department of Mathematics (1993)

Citation Formats

C. Belta, B. Yordanov, and E. Aydın Göl, Formal Methods for Discrete-Time Dynamical Systems. 2017.