Cargando…
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...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2017
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-319-50763-7 http://cds.cern.ch/record/2258643 |