Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control) by Calin Belta
English | 11 Apr. 2017 | ISBN: 3319507621 | 284 Pages | PDF | 9.85 MB
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.