1 résultat(s)
Télécharger le livre : Formal Methods for Discrete-Time Dynamical Systems
Ebru Aydin Gol , Calin Belta , Ebru Aydin Gol , 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 abstraction, analysis, and control of more general models.The book is...
Editeur : Springer
Parution : 2017-03-08
Collection : Studies in Systems, Decision and Control
Format(s) : PDF, ePub
168,79 €
Téléchargement immédiat
Dès validation de votre commande