Formal Methods for Discrete-Time Dynamical Systems

Nonfiction, Science & Nature, Science, Other Sciences, System Theory, Technology, Automation
Cover of the book Formal Methods for Discrete-Time Dynamical Systems by Calin Belta, Boyan Yordanov, Ebru Aydin Gol, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Calin Belta, Boyan Yordanov, Ebru Aydin Gol ISBN: 9783319507637
Publisher: Springer International Publishing Publication: March 8, 2017
Imprint: Springer Language: English
Author: Calin Belta, Boyan Yordanov, Ebru Aydin Gol
ISBN: 9783319507637
Publisher: Springer International Publishing
Publication: March 8, 2017
Imprint: Springer
Language: English

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 theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.

More books from Springer International Publishing

Cover of the book Radiobiology of Glioblastoma by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Contested Landscapes of Poverty and Homelessness In Southern Europe by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Formal Methods and Software Engineering by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book The Young Female Athlete by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Eppur si muove: Doing History and Philosophy of Science with Peter Machamer by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book OpenMP: Memory, Devices, and Tasks by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book The Theory of Externalities and Public Goods by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Learning and Intelligent Optimization by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Interprétations phénoménologiques de la 'Physique' d’Aristote chez Heidegger et Patočka by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Fundamentals of Electrical Drives by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Political Leaders and Changing Local Democracy by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Algorithms and Architectures for Parallel Processing by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Sustainability Improvements in the Concrete Industry by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Distributed Computing and Monitoring Technologies for Older Patients by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Applied Physics of External Radiation Exposure by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy