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 Architecture, Urban Space and War by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book The Influence of Chemistry on New Foods and Traditional Products by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Advances in Human Factors and Systems Interaction by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Distributed, Ambient and Pervasive Interactions by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Invertebrates in Freshwater Wetlands by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book New Private Sector Providers in the Welfare State by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Thriving Rough Sets by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Two-Scale Approach to Oscillatory Singularly Perturbed Transport Equations by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Information Systems and Neuroscience by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Enhancing Behavioral Health in Latino Populations by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Carbon Nanomaterials as Adsorbents for Environmental and Biological Applications by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Computer and Information Science by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Intercultural Studies of Curriculum by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book An Introduction to Criminological Theory and the Problem of Causation by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Communications and Networking 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