Many technical communities are vigorously pursuing research topics that contribute to the
Internet of Things (IoT). Nowadays, as sensing, actuation, communication, and control …

Today's cyber-physical systems (CPS) increasingly operate in social spaces. Examples
include transportation systems, disaster response systems, and the smart grid, where …

For several years, experts from different fields are interested in virtual and physical world
interaction opportunities. Cyber-physical systems (CPSs) are developed to integrate real …

According to a widely shared view, manufacturing is currently un-dergoing its fourth
industrial revolution, termed “Industrie 4.0” in the high-tech strategy of the German …

Embedded systems can be seen as the first generation of a wider class of cyber-physical
systems that integrate possibly large numbers of computing platforms in physical …

The rapid advances in the field of Brain Computer Interfaces (BCI) are expected to enrich the
quality of people's lives. BCI connects computer actions with neural inputs—signals …

We propose a shared control architecture to enable the modeling of human-in-the-loop
cyber physical systems (HiLCPS) in robotics applications. We identify challenges that …

The collaborative development of an embedded system requires productive interaction
between engineers from very different backgrounds. Control engineering and software …

We describe tool support for multidisciplinary modelling of embedded systems using the
Crescendo tool which allows discrete-event models given in the VDM notation using the …

In the development of embedded systems, co-simulation permits the systematic exploration
of the design space with the aim of selecting models of optimal solutions, and allowing trade …