An essential introduction to the analysis and verification of control system software The verification of control system software is critical to a host of techn

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite mo

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also

Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice t

This publication covers all the topics which are relevant to Advanced Robotics today, ranging from Systems Design to Reasoning and Planning. It is based on the