Usually ships within 2 to 3 weeks.
Ships from and sold by Amazon.ca. Gift-wrap available.
Quantity:1
Logical Analysis of Hybri... has been added to your Cart
+ CDN$ 6.49 shipping
Used: Like New | Details
Sold by Nearfine
Condition: Used: Like New
Comment: Looks unread! Expect delivery in 20 days.
Have one to sell?
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See all 2 images

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics Hardcover – Sep 7 2010


See all 3 formats and editions Hide other formats and editions
Amazon Price
New from Used from
Hardcover
"Please retry"
CDN$ 232.23
CDN$ 182.82 CDN$ 67.09

Harry Potter and the Cursed Child
click to open popover

Special Offers and Product Promotions

  • You'll save an extra 5% on Books purchased from Amazon.ca, now through July 29th. No code necessary, discount applied at checkout. Here's how (restrictions apply)

No Kindle device required. Download one of the Free Kindle apps to start reading Kindle books on your smartphone, tablet, and computer.
Getting the download link through email is temporarily not available. Please check back later.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your mobile phone number.




Product Details

  • Hardcover: 426 pages
  • Publisher: Springer; 2010 edition (Sept. 7 2010)
  • Language: English
  • ISBN-10: 3642145086
  • ISBN-13: 978-3642145087
  • Product Dimensions: 15.5 x 3 x 23.4 cm
  • Shipping Weight: 771 g
  • Average Customer Review: Be the first to review this item
  • Amazon Bestsellers Rank: #2,218,476 in Books (See Top 100 in Books)
  •  Would you like to update product info, give feedback on images, or tell us about a lower price?

  • See Complete Table of Contents

Product Description

Review

"This book offers a truly unique approach to hybrid systems verification with logic and theorem proving." (Edmund M. Clarke, Carnegie Mellon University)

From the Back Cover

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals. The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems. This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.

See all Product Description

Customer Reviews

There are no customer reviews yet.
5 star
4 star
3 star
2 star
1 star

Look for similar items by category


Feedback