Verification and Control of Hybrid Systems A Symbolic Approach

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)