Autor: Boyan Yordanov

Ajutor

1 Ebooks de Boyan Yordanov

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