The evolution of variant-rich systems is a challenging task. To support developers, the
research community has proposed a range of different techniques over the last decades …

Cyber-physical systems (CPSs) have attracted significant research interest because of their
promising applications across different domains; nonetheless, how to effectively model …

Cyber-physical systems (CPS) integrate a variety of engineering areas such as control,
mechanical, and computer engineering in a holistic design effort. While interdependencies …

This article addresses mainly questions about the roles of fluid systems, in particular of
digital ones, in an “Industrie 4.0 (I4. 0)” environment. There are three roles: the general …

Autonomous systems are composed of several subsystems such as mechanical, propulsion,
perception, planning and control. These are traditionally designed separately which makes …

Constraint programming solvers, such as Satisfiability Modulo Theory (SMT) solvers, are
capable tools in finding preferable configurations for embedded systems from large design …

Embedded control parameters of cyber‐physical systems (CPS), such as sampling rate, are
typically invariant and designed with a worst case scenario in mind. In an over‐engineered …

The design and evaluation of cyber-physical systems are complex as it includes mechanical,
electrical, and software components leading to a high dimensional space for architectural …

In this paper we show how the open standard modeling language Modelica can be
effectively used to support model-based design and verification of cyber-physical systems …

Cyber-Physical Systems (CPS) integrates computing and physical processing: their
behaviour is dictated by both computation and physical components. In this paper, we …