Formal Methods for Discrete-Time Dynamical Systems

Name: Formal Methods for Discrete-Time Dynamical Systems
Brand: Springer International Publishing AG
SKU: 9783319507620
Price: 27000 KES
Availability: OutOfStock
ISBN: 9783319507620

1st ed. 2017

by Boyan Yordanov , Calin Belta , Ebru Aydin Gol

Book Details

Format Hardback

Book Series Studies in Systems, Decision and Control

ISBN-10 3319507621

ISBN-13 9783319507620

Edition 1st ed. 2017

Publisher Springer International Publishing AG

Imprint Springer International Publishing AG

Country of Manufacture CH

Country of Publication GB

Publication Date Mar 17th, 2017

Print length 284 Pages

Product Classification: Cybernetics & systems theory Cybernetics and systems theory Automatic control engineering Systems analysis & design Systems analysis and design

KSh 27,000.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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.

Get Formal Methods for Discrete-Time Dynamical Systems by Boyan Yordanov, Calin Belta at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has 284 pages.