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 In Memoriam Marc Yor - Séminaire de Probabilités XLVII by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Business Information Systems and Technology 4.0 by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Quantitative Evaluation of Systems by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Critical Issues in Cross Cultural Management by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Applied Cryptography and Network Security by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Supercomputing by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Ultrathin Metal Transparent Electrodes for the Optoelectronics Industry by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book The Progressive Environmental Prometheans by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book What Matters? Research Trends in International Comparative Studies in Mathematics Education by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Peptidomimetics I by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Complex Democracy by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Collaborative Networks of Cognitive Systems by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book 50 Years of Brown Dwarfs by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Sustainable Shipping by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Rights and Wrongs 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