Loading…
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 self-contained, and while some mathem...
| Main Authors: | , , |
|---|---|
| Corporate Author: | |
| Format: | e-Book |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Studies in Systems, Decision and Control,
89 |
| Subjects: | |
| Online Access: | Full-text access View in OPAC |