Formal Methods for Discrete-Time Dynamical Systems
Wedi'i Gadw mewn:
Prif Awduron: | Belta, Calin, Yordanov, Boyan, Gol, Ebru Aydin |
---|---|
Fformat: | Llyfr |
Iaith: | English |
Cyhoeddwyd: |
Springer International Publishing
2020
|
Pynciau: | |
Mynediad Ar-lein: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83611 |
Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Eitemau Tebyg
-
Approximate and Noisy Realization of Discrete-Time Dynamical Systems
gan: Hasegawa, Yasumichi
Cyhoeddwyd: (2020) -
Discrete-Time and Discrete-Space Dynamical Systems
gan: Zhang, Kuize, et al.
Cyhoeddwyd: (2020) -
Control Problems of Discrete-Time Dynamical Systems
gan: Hasegawa, Yasumichi
Cyhoeddwyd: (2015) -
Analysis and Synthesis for Discrete-Time Switched Systems
gan: Fei, Zhongyang, et al.
Cyhoeddwyd: (2020) -
Dynamic Analysis of Petri Net-Based Discrete Systems
gan: Karatkevich, Andrei
Cyhoeddwyd: (2020)