Verification And Control Of Hybrid Systems A Symbolic Approach(1st Edition)
Authors:
Paulo Tabuada
In Stock
Include with your book
Free shipping: April 03, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 1441954988, 978-1441954985
Book publisher: Springer
Verification And Control Of Hybrid Systems A Symbolic Approach 1st Edition Summary: 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.
Customers also bought these books
Organizational Moral Learning A Communication Approach - 1st Edition
Ryan Bisel
ISBN: 1138119563, 9781138119567
$0 $46.00Frequently Bought Together
Mastering Cybersecurity A Comprehensive Guide To Cracking Domain Interviews - 1st Edition
Cyber Fox
ISBN: 979-8850184254
$0 $10.00
Balancing The Banks Global Lessons From The Financial Crisis - 1st Edition
Mathias Dewatripont
ISBN: 0691168199, 978-0691168197
$0 $20.95
Fundamentals Of Financial Accounting - 7th Edition
Fred Phillips
ISBN: 1265440166, 978-1265440169
$0 $76.00
Using Sage 50 Accounting 2021 - 1st Canadian Edition
Mary Purbhoo
ISBN: 0137572263, 978-0137572267
$0 $239.00
Rekindling Romance For Dummies - 1st Edition
Dr Ruth K Westheimer
ISBN: 0764553038, 978-0764553035
$0 $21.99
Intelligent Information And Database Systems 11th Asian Conference ACIIDS 2019 Yogyakarta Indonesia April Part I LNAI 11431 - 1st Edition
Ngoc Thanh Nguyen
ISBN: 3030147983, 978-3030147983
$0 $54.99
Intelligent Information And Database Systems 10th Asian Conference ACIIDS 2018 Dong Hoi City Vietnam March Part I LNAI 10751 - 1st Edition
Ngoc Thanh Nguyen
ISBN: 3319754165, 978-3319754161
$0 $60.09Top Reviews for Books
