Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Methods for Discrete-Time Dynamical Systems

Formal Methods for Discrete-Time Dynamical Systems

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319507620
Condition
New
Product 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.

Available Colors
Available Sizes
1 Offer Price Range: $149.00 - $149.00
BEST PRICE

Single Product Purchase

$134.10
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$149.00 $149.00

10% OFF
This deals requires coupon Get Code Here
$134.10
See Site In stock Visit Store

Similar Products

Mechanics and Natural Philosophy before the Scientific Revolution

$149.00

Medieval Considerations of Incest, Marriage, and Penance

$99.99

Critical Perspectives on Language Education

$84.99

Perspectives in Theoretical Stereochemistry

$54.99

Emotional and Behavioural Problems of Young Offenders in Singapore

$34.99

Electrochemistry on Liquid/Liquid Interfaces

$109.99

Recent Progress in General Topology III

$189.00

Advances in the Biomechanics of the Hand and Wrist

$219.99

Materiality and Visuality in North East India

$159.99

Generalized Hyperbolic Secant Distributions

$54.99

Abschluprfung fr Brokaufleute

$59.99

Database: Enterprise, Skills and Innovation

$54.99

American Studies oder Amerikanistik?

$59.99

Symmetric Functionals on Random Matrices and Random Matchings Problems

$54.99

Macrophage Biology and Activation

$84.99

Little Blue Truck's Beep-Along Book by Alice Schertle

$14.99

Callaghan's Journey to Downing Street

$54.99

Advanced Dynamic Modeling of Economic and Social Systems

$84.99

Wooden Domes

$109.99

Processes in GeoMediaVolume III

$139.99

New Private Sector Providers in the Welfare State

$109.99

Parteiensystem in der Legitimationskrise

$59.99

Synthetic Polymers

$169.99

The Challenge of Health Sector Reform

$39.99

Einkaufserlebnisse im Handel

$64.99

Nanobioelectronics - for Electronics, Biology, and Medicine

$109.99

Collected Papers - Gesammelte Abhandlungen

$69.99

Capacity Building for School Improvement

$49.99

Absolute Rheumatology Review

$99.99

Ecological Tourism in the Republic of Kazakhstan

$169.99

Rntgenphysik

$59.99

The Politics of Resource Extraction

$54.99

Technology for Advanced Focal Plane Arrays of HgCdTe and AlGaN

$219.99

The Ethics and Efficacy of the Global War on Terrorism

$39.99

Complexity Hints for Economic Policy

$109.99

Bridal Bargains - Secrets to Planning a Fantastic Wedding on a Realistic Budget by Denise Fields

$14.95

Das Modell der personenbezogenen Kommunikation und Rezeption

$64.99

Wissenschaftssoziologie

$44.99

Rethinking Stormwater Management through Sustainable Urban Design

$169.99

Optimale Risikoallokation in Zulieferer-Abnehmer-Systemen

$59.99