1 Электронные книги Ebru Aydin Gol
Calin Belta & Boyan Yordanov: Formal Methods for Discrete-Time Dynamical Systems
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstrac …
PDF
английский
€171.19