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 Drinking Water by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Reviews of Environmental Contamination and Toxicology Volume 228 by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Sustainability in Manufacturing Enterprises by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Chinese Global Production Networks in ASEAN by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Identity and Migration in Europe: Multidisciplinary Perspectives by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Borders, Bodies and Narratives of Crisis in Europe by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Applications of Evolutionary Computation by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Web-Age Information Management by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Teaching Science to English Language Learners by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Transport Phenomena in Multiphase Systems by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book On-chip High-Voltage Generator Design by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Applications of Graphene by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Long-Term Outcomes of Epilepsy Surgery in Adults and Children by Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Cover of the book Precision Molecular Pathology of Bladder Cancer 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