Ebooks d'Ebru Aydin Gol en PDF et EPUB

1 Livre(s)
Télécharger le livre : Formal Methods for Discrete-Time Dynamical Systems
Ajouter à ma liste d'envies
Formal Methods for Discrete-Time Dynamical Systems
Ebru Aydin Gol , Calin Belta , Ebru Aydin Gol , Boyan Yordanov
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 abstraction, analysis, and control of more general models.The book is...

Editeur : Springer
Parution : 2017-03-08
Collection : Studies in Systems, Decision and Control
PDF, ePub

168,79 €