Logical Foundations of Cyber-Physical Systems

Abstract

This book presents the logical and mathematical foundations of cyber-physical systems, which integrate computer-based computational processes with physical components. It explores how differential equations, logic, and formal verification methods can be used to model, analyse, and verify the behaviour of systems that combine software, hardware, and continuous physical processes. The book introduces differential dynamic logic and hybrid systems, providing techniques for reasoning about system safety, correctness, and reliability. It is particularly useful for students, researchers, and professionals in computer science, control engineering, robotics, and formal methods, especially those working on the design and verification of safety-critical systems such as autonomous vehicles, industrial automation, and embedded systems.