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 Social Media for Knowledge Sharing in Automotive Repair by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Research in Attacks, Intrusions, and Defenses by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Wireless Communications Networks for the Smart Grid by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book The Day the King Defaulted by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Penalty, Shrinkage and Pretest Strategies by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Algorithmic Mathematics by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book China’s Diplomacy and Economic Activities in Africa by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book History as a Science and the System of the Sciences by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Extended Abstracts Spring 2018 by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Ethical and Secure Computing by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Higher Education under Late Capitalism by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book The Rise and Fall of Korea’s Economic Development by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book The Body in Pain in Irish Literature and Culture by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Enterprise Information Systems by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Landforms of the Earth 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