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...
Saved in:
Main Authors: | , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham, Switzerland :
Springer,
[2017]
|
Series: | Studies in systems, decision and control ;
v. 89. |
Subjects: | |
ISBN: | 9783319507637 9783319507620 |
Physical Description: | 1 online resource |
Online Access:
Online Resources