Verification and Control of Hybrid Systems Image close
Verification and Control of Hybrid Systems by Paulo Tabuada
Verification and Control of Hybrid Systems by Paulo Tabuada
Show Hide Adult Content
Verification and Control of Hybrid Systems close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Reference  
Communication studies  
Information theory  
Cybernetics & systems theory

Verification and Control of Hybrid Systems

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

By:

Format:

Paperback / softback
$370.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 $92.50 with Afterpay Learn more

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

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Description

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.
Release date NZ
November 5th, 2010
Author
Audience
  • Professional & Vocational
Edition
Softcover reprint of hardcover 1st ed. 2009
Illustrations
200 Illustrations, black and white; XV, 202 p. 200 illus.
Pages
202
Dimensions
156x234x11
ISBN-13
9781441954985
Product ID
10025869

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 Paulo Tabuada

See all books by this author

Verification and Control of Hybrid Systems on Hardback by Paulo Tabuada
$385.00
Verification and Control of Hybrid Systems
by Paulo Tabuada ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Reference >
Communication studies >
Information theory >
Cybernetics & systems theory
Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Electronics engineering >
Automatic control engineering
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Non-Fiction >
Reference >
Research & information: general >
Information theory >
Cybernetics & systems theory
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation