Model-based development is an important paradigm for developing cyber-physical systems
(CPS). The underlying assumption is that the functional behavior of a model is related to the …

In Model-Based Design of Cyber-Physical Systems (CPS), it is often desirable to develop
several models of varying fidelity. Models of different fidelity levels can enable mathematical …

Cyber-physical systems (CPSs) are the result of the integration of connected computer
systems with the physical world. They feature complex interactions that go beyond traditional …

Cyber-physical systems (CPS) are becoming indispensable in our modern way of life. As an
application domain CPS is not new. As an intellectual discipline, however, it is. This paper …

We review and compare three notions of conformance testing for cyber-physical systems.
We begin with a review of their underlying semantic models and present conformance …

Cyber-physical systems (CPSs) have emerged as a potential enabling technology to handle
the challenges in social and economic sustainable development. Since it was proposed in …

In this dissertation, two problems are addressed in the verification and control of Cyber-
Physical Systems (CPS): 1) Falsification: given a CPS, and a property of interest that the …

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 …

Modeling Cyber‐physical systems (CPS) is a challenging step that requires a lot of
background from both the cyber and physical fields. However, there is a lack of studies in the …

Assuring the correct behavior of cyber-physical systems requires significant modeling effort,
particularly during early stages of the engineering and design process when a system is not …