Formal Methods for Discrete-Time Dynamical Systems Image close
Formal Methods for Discrete-Time Dynamical Systems by Calin Belta
Formal Methods for Discrete-Time Dynamical Systems by Calin Belta
Show Hide Adult Content
Formal Methods for Discrete-Time Dynamical Systems close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Reference  
Research & information: general  
Information theory  
Cybernetics & systems theory

Formal Methods for Discrete-Time Dynamical Systems

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$516.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $129.00 with Afterpay Learn more

6 weekly interest-free payments of $86.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Studies in Systems, Decision and Control

See all products in this series

Artificial Intelligence and Economic Sustainability in the Era of Industrial Revolution 5.0 on Hardback
$846.00
Artificial Intelligence and Economic Sustainability in the Era of...
Hardback
Pre-order - out 8 Jul 2024
Cellular Cause-Effect Structures on Hardback by Ludwik Czaja
$415.00
Cellular Cause-Effect Structures
by Ludwik Czaja ~ Hardback
Pre-order - out 13 Jun 2024
Partial Identification in Econometrics and Related Topics on Hardback
$565.00
Partial Identification in Econometrics and Related Topics
Hardback
Pre-order - out 21 Jul 2024
The AI Revolution: Driving Business Innovation and Research on Hardback
$516.00
The AI Revolution: Driving Business Innovation and Research
Hardback
Pre-order - out 8 Jul 2024
Fractional Differential Equations: Numerical Methods for Applications on Hardback by Matthew Harker
$339.00
Fractional Differential Equations: Numerical Methods for Applications
by Matthew Harker ~ Hardback
Pre-order - out 25 Aug 2024
Changes and Innovations in Social Systems on Hardback
$567.00
Changes and Innovations in Social Systems
Hardback
Pre-order - out 11 Nov 2024
Singularly Perturbed Jump Systems on Hardback by Hao Shen
$415.00
Singularly Perturbed Jump Systems
by Hao Shen ~ Hardback
Pre-order - out 18 Jun 2024
Smart Electromechanical Systems
$415.00
Smart Electromechanical Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Complex Systems: Spanning Control and Computational Cybernetics: Applications on Hardback
$289.00
Complex Systems: Spanning Control and Computational Cybernetics:...
Hardback
Available - Usually ships in 3-4 weeks
Generalized Fractional Calculus by George A. Anastassiou
$441.00
Generalized Fractional Calculus
by George A. Anastassiou ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Stabilization and H∞ Control of Switched Dynamic Systems on Hardback by Jun Fu
$289.00
Stabilization and H∞ Control of Switched Dynamic Systems
by Jun Fu ~ Hardback
Available - Usually ships in 3-4 weeks
Computer Science and Engineering—Theory and Applications
$441.00
Computer Science and Engineering—Theory and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Robotics: Industry 4.0 Issues & New Intelligent Control Paradigms on Hardback
$516.00
Robotics: Industry 4.0 Issues & New Intelligent Control Paradigms
Hardback
Available - Usually ships in 3-4 weeks
Control of Fuel Combustion in Boilers on Hardback by Artur O. Zaporozhets
$339.00
Control of Fuel Combustion in Boilers
by Artur O. Zaporozhets ~ Hardback
Available - Usually ships in 3-4 weeks
Sliding Mode Control Methodology in the Applications of Industrial Power Systems by Jianxing Liu
$289.00
Sliding Mode Control Methodology in the Applications of Industrial...
by Jianxing Liu ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Symbiosis of Real and Simulated Worlds Under Spatial Grasp Technology on Hardback by Peter Simon Sapaty
$441.00
Symbiosis of Real and Simulated Worlds Under Spatial Grasp Technology
by Peter Simon Sapaty ~ Hardback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
July 21st, 2018
Pages
284
Edition
Softcover reprint of the original 1st ed. 2017
Audience
  • Professional & Vocational
Illustrations
39 Illustrations, color; 54 Illustrations, black and white; XVIII, 284 p. 93 illus., 39 illus. in color.
ISBN-13
9783319844855
Product ID
28328802

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Calin Belta

See all books by this author

Formal Methods for Discrete-Time Dynamical Systems on Hardback by Calin Belta
$519.00
Formal Methods for Discrete-Time Dynamical Systems
by Calin Belta ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Reference >
Research & information: general >
Information theory >
Cybernetics & systems theory
Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Electronics engineering >
Automatic control engineering
Books >
Non-Fiction >
Technology >
Technology: general issues >
Maths for engineers