Modern cyber-physical systems (CPS) are often developed in a model-based development
(MBD) paradigm. The MBD paradigm involves the construction of different kinds of …

Complex systems are designed using the model-based design paradigm in which
mathematical models of systems are created and checked against specifications. Cyber …

Today, embedded systems are ubiquitous in our everyday life, in cell phones and washing
machines, but also in cars and even medical equipment. With this escape from their former …

Formal verification and validation play a crucial role in making cyber-physical systems (CPS)
safe. Formal methods make strong guarantees about the system behavior if accurate models …

Cyber-physical systems are becoming more and more complex, thereby increasing the cost
and time to ensure safety. They range from highly complex but finite state to infinite state …

Cyber-physical systems (CPS) span the communication, computation and control domains.
Creating a single, complete, and detailed model of a CPS is not only difficult, but, in terms of …

Designing and modeling complex cyber-physical systems (CPS) faces the double challenge
of combined discrete-continuous dynamics and concurrent behavior. Existing formal …

Cyber-Physical Systems form a class of complex, large-scale systems of frequently safety-
critical nature in various industrial applications. Formal verification approaches can provide …

A graduate-level textbook that presents a unified mathematical framework for modeling and
analyzing cyber-physical systems, with a strong focus on verification. Verification aims to …

It is widely held that debugging cyber-physical systems (CPS) is challenging; many strongly
held beliefs exist regarding how CPS are currently debugged and tested and the suitability …