Formal Methods for Discrete-Time Dynamical Systems - Ebru Aydin Gol,Calin Belta,Boyan Yordanov
-35% koodilla BOOKS
Toimitus 17-23 arkipäivässä
30 päivän palautusoikeus
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 self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theo ... Täydellinen kuvaus
Saatat myös pitää
Kuvaus
Lisätietoja
| Kirjoittaja | Ebru Aydin Gol, Calin Belta, Boyan Yordanov |
|---|---|
| Julkaisija | Springer Nature Switzerland |
| Series | Studies in Systems, Decision and Control |
| Julkaisuvuosi | 2017 |
| Kannen tyyppi | Kovakantinen |
| EAN | 9783319507620 |