0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R5,000 - R10,000 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Formal Methods for Discrete-Time Dynamical Systems (Hardcover, 1st ed. 2017): Calin Belta, Boyan Yordanov, Ebru Aydin Gol Formal Methods for Discrete-Time Dynamical Systems (Hardcover, 1st ed. 2017)
Calin Belta, Boyan Yordanov, Ebru Aydin Gol
R5,019 Discovery Miles 50 190 Ships in 10 - 15 working days

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.

Formal Methods for Discrete-Time Dynamical Systems (Paperback, Softcover reprint of the original 1st ed. 2017): Calin Belta,... Formal Methods for Discrete-Time Dynamical Systems (Paperback, Softcover reprint of the original 1st ed. 2017)
Calin Belta, Boyan Yordanov, Ebru Aydin Gol
R5,447 Discovery Miles 54 470 Ships in 18 - 22 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Scientific Healing Affirmations
Paramahansa Yogananda Paperback R202 Discovery Miles 2 020
Bare-Knuckle Boxer's Companion…
David Lindholm, Ulf Karlsson Hardcover R734 Discovery Miles 7 340
Yoga Gym - The Revolutionary 28 Day…
Nicola Jane Hobbs Paperback  (5)
R455 R421 Discovery Miles 4 210
Handbook on Social Protection Systems
Esther Schu ring, Markus Loewe Hardcover R9,609 Discovery Miles 96 090
Granting Justice - Cash, Care And The…
Tessa Hochfeld Paperback R100 R93 Discovery Miles 930
Routledge Library Editions: Development…
Various Hardcover R12,349 Discovery Miles 123 490
Pussy Yoga - Pelvic Floor Training for…
Coco Berlin Hardcover R772 Discovery Miles 7 720
The Wisdom of Exercise Health - Feel…
Ramin Manshadi Paperback R418 R392 Discovery Miles 3 920
The Politics of Energy - The Development…
G. Bruce Doern, Glen Toner Paperback R1,509 Discovery Miles 15 090
State Building and Social Policies in…
Rashed Al Mahmud Titumir Hardcover R4,508 Discovery Miles 45 080

 

Partners