Autor: Ebru Aydin Gol

Ajutor

1 Ebooks de 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
Engleză
€171.19