Modeling and simulation techniques are today extensively used both in industry and
science. Parts of larger systems are, however, typically modeled and simulated by different …

It is essential to find new ways of enabling experts in different disciplines to collaborate more
efficient in the development of ever more complex systems, under increasing market …

This paper presents the design and implementation of a low-cost Supervisory Control and
Data Acquisition system based on a Web interface to be applied to a Hybrid Renewable …

The complexity of cyber–physical systems (CPSs) is commonly addressed through complex
workflows, involving models in a plethora of different formalisms, each with their own …

The industrial tool Matlab/Simulink is widely used in the design of embedded systems. The
main feature of this tool is its ability to model in a common formalism the software and its …

Simulation technologies are imperative for embedded systems development. They enable
the evaluation of decisions already early in development processes. Simulators are focused …

Hybrid Communicating Sequential Processes (HCSP) is a formal model for hybrid systems,
including primitives for evolution along an ordinary differential equation (ODE) …

This open access book coherently gathers well-founded information on the fundamentals of
and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross …

This paper presents a master algorithm for co-simulation of hybrid systems using the
Functional Mock-up Interface (FMI) standard. Our algorithm introduces step revision to …

The growing complexity of cyber-physical systems, together with increasingly available
parallelism provided by multi-core chips, fosters the parallelization of simulation. Simulation …