Formal Methods for Discrete-Time Dynamical Systems
Đã lưu trong:
Những tác giả chính: | Belta, Calin, Yordanov, Boyan, Gol, Ebru Aydin |
---|---|
Format: | Bog |
Sprog: | English |
Udgivet: |
Springer International Publishing
2020
|
Fag: | |
Online adgang: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83611 |
Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Lignende værker
-
Approximate and Noisy Realization of Discrete-Time Dynamical Systems
af: Hasegawa, Yasumichi
Udgivet: (2020) -
Discrete-Time and Discrete-Space Dynamical Systems
af: Zhang, Kuize, et al.
Udgivet: (2020) -
Control Problems of Discrete-Time Dynamical Systems
af: Hasegawa, Yasumichi
Udgivet: (2015) -
Analysis and Synthesis for Discrete-Time Switched Systems
af: Fei, Zhongyang, et al.
Udgivet: (2020) -
Dynamic Analysis of Petri Net-Based Discrete Systems
af: Karatkevich, Andrei
Udgivet: (2020)