Full Product Details
Author: Paulo Tabuada
Publisher: Springer-Verlag New York Inc.
Imprint: Springer-Verlag New York Inc.
Edition: Softcover reprint of hardcover 1st ed. 2009
Dimensions:
Width: 15.50cm
, Height: 1.10cm
, Length: 23.50cm
Weight: 0.454kg
ISBN: 9781441954985
ISBN 10: 1441954988
Pages: 202
Publication Date: 05 November 2010
Audience:
Professional and scholarly
,
Professional & Vocational
Format: Paperback
Publisher's Status: Active
Availability: In Print
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Reviews
From the reviews: The book covers a wide range of foundational topics in verification and control of hybrid systems. ... The exposition is ... smooth and readable. The author is undoubtedly an excellent writer. The book may be strongly recommended to researchers who want to understand the mathematical foundations of this field. (I. Meznik, Mathematical Reviews, Issue 2010 h) The rapidly growing and interdisciplinary research demands that researchers must understand concepts and tools from both computer science and control theory. This is undoubtedly a daunting task, and this is where this book can come to the rescue. It covers a wide range of foundational topics in verification and control of hybrid systems. ... This book will be useful for researchers, engineers, computer scientists, and graduate students in the areas of formal methods, verification, model checking, and control. (Alexander O. Ignatyev, Zentralblatt MATH, Vol. 1195, 2010)
"From the reviews: ""The book covers a wide range of foundational topics in verification and control of hybrid systems. ! The exposition is ! smooth and readable. The author is undoubtedly an excellent writer. The book may be strongly recommended to researchers who want to understand the mathematical foundations of this field."" (I. Meznik, Mathematical Reviews, Issue 2010 h) ""The rapidly growing and interdisciplinary research demands that researchers must understand concepts and tools from both computer science and control theory. This is undoubtedly a daunting task, and this is where this book can come to the rescue. It covers a wide range of foundational topics in verification and control of hybrid systems. ! This book will be useful for researchers, engineers, computer scientists, and graduate students in the areas of formal methods, verification, model checking, and control."" (Alexander O. Ignatyev, Zentralblatt MATH, Vol. 1195, 2010)"
From the reviews: The book covers a wide range of foundational topics in verification and control of hybrid systems. ! The exposition is ! smooth and readable. The author is undoubtedly an excellent writer. The book may be strongly recommended to researchers who want to understand the mathematical foundations of this field. (I. Meznik, Mathematical Reviews, Issue 2010 h)
