Formal Methods for Discrete-Time Dynamical Systems

Автор: Calin Belta, Boyan Yordanov, Ebru Aydin Gol

Език:

Корици: С твърди корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 10-18 дни

189.44 € 370.51 лв

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on...

Информация за книгата

Автор

Calin Belta, Boyan Yordanov, Ebru Aydin Gol

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2017

страници

284

EAN

9783319507620

ISBN

9783319507620

Enbook ID

15460068

Издател

Springer International Publishing AG

Теглоt

5797

Размери

155 x 235 x 23

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Methods for Discrete-Time Dynamical Systems

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също