The requirements engineering of Industrial Cyber-Physical Systems is extremely
challenging due to large system sizes, component heterogeneity, involvement of multi …

The ever-increasing deployment of autonomous Cyber-Physical Systems (CPSs)(eg,
autonomous cars, UAV) exacerbates the need for efficient formal verification methods. In this …

The increasing spreading of small commercial unmanned aerial vehicles (UAVs, also known
as drones) presents serious threats for critical areas, such as airports, power plants, and …

Model-based approaches to the verification of non-terminating Cyber-Physical Systems
(CPSs) usually rely on numerical simulation of the System Under Verification (SUV) model …

Abstract A Cyber–Physical System (CPS) comprises physical as well as software
subsystems. Simulation-based approaches are typically used to support design and …

Cyber-Physical Systems (CPSs), comprising both software and physical components, arise
in many industry-relevant domains and are often mission-or safety-critical. System-Level …

Within electrical distribution networks, substation constraint management requires that
aggregated power demand from residential users is kept within suitable bounds. Efficiency …

The paper presents the existing verification methods for control algorithms in power
electronics systems, including the application of model checking techniques. In the industry …

Statistical model checking (SMC) is used as a method for examining system be havior in all
possible scenarios, and it has been successfully implemented in embedded automotive …

Given a communication network, we address the problem of computing a lower bound to the
transmission rate between two network nodes notwithstanding the presence of an intelligent …