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

Forge Your Dragon World: A Wings of Fire Creative Guide by Tui T. Sutherland

$12.99

Laboratory Aspects of Infections

$39.99

Assumptions of Grand Logics

$109.99

Health Care in Contexts of Risk, Uncertainty, and Hybridity

$159.99

The Ergonomics of Computer Pointing Devices

$54.99

Burning Mouth Disease

$139.99

XXIII DAE High Energy Physics Symposium

$329.99

The Spruce Genome

$169.99

CMOS Receiver Front-ends for Gigabit Short-Range Optical Communications

$109.99

Systematische Finanzinformation und Kapitalmarktkommunikation

$69.99

Die sprachliche Formierung der politischen Moderne

$49.99

Differential Geometric Methods in Mathematical Physics

$34.99

Mathematical Finance

$129.00

Entwurfsmuster

$59.99

Epidemiology and Prevention of Gallstone Disease

$39.99

Biomedical Image Registration

$54.99

Ergebnisse der Chirurgie und Orthopdie

$59.99

Entscheidung bei unsicheren Erwartungen

$59.99

Clustering Methods for Big Data Analytics

$129.00

Kompakt-Lexikon Internationale Wirtschaft

$19.99

Die Befugnisse der Wegeaufsichtsbehrden Gegenber der Deutschen Reichsbahn

$59.99

The Statesman's Year-Book 1970-71

$99.00

Mapping Scientific Frontiers

$74.99

Iterative Learning Control for Nonlinear Time-Delay System

$169.99

Direct Methods in Control Problems

$99.99

Time Series Analysis of Irregularly Observed Data

$109.99

Giardia

$219.99

Developments in Polymer Characterisation1

$39.99

Handbuch Politikberatung

$69.99

Engineering and Application of Pluripotent Stem Cells

$329.99

Disaster Recovery, Crisis Response, and Business Continuity

$44.99

Camptothecins in Cancer Therapy

$169.00

Thunder From the Sea

$7.46

Ellipsometry of Functional Organic Surfaces and Films

$179.99

Systemisch-konstruktivistisches Clinical Reasoning

$17.99

Biomarkers in Neuropsychiatry

$199.99

Neutron Scattering in Biology

$219.99

Exploring the Vertebrate Central Cholinergic Nervous System

$169.00

Pathologie der Brustdrse

$79.99

Microinjection and Transgenesis

$54.99