Many industrial cyber-physical system (CPS) designs are too complex to formally verify
system-level properties. A practical approach for testing and debugging these system …

Falsification has garnered much interest recently as a way to validate complex CPS designs
with respect to a specification expressed via temporal logics. Using their quantitative …

Proportional-Integral-Derivative (PID) control is the most common control algorithm used in
industry. The extensive use of electronics and software has resulted in the situation where …

A heat map (or heatmap) is an efficient and convenient way to condense the information into
a single snapshot. It can also be used in the analysis of high-dimensional data structures …

Verification of hybrid systems is very challenging, if not impossible, due to their continuous
dynamics that leads to infinite state space. As a countermeasure, falsification is usually …

An environmental perception aims to detect and classify objects existing in the vehicle's
surroundings to build a virtual representation of the world. It can be considered as an …

The increasing complexity and wide applicability of software control systems requires the
use of advanced and automated development and testing methodologies to meet time-to …

Lokal mieszkalny jest bardzo złożonym obiektem do sterowania. Wzajemnie wykluczające
się wskaźniki jakości np. komfort użytkowników i poziom zużycia energii powoduje, że …

The paper presents an application of model-based approach for testing software systems
with dynamic behavior. Model-based testing concept is introduced and explained …

In last few years, Dynamic metrics was hot area of research in software engineering. A
number of studies have explored how dynamic analysis can measure the quality of Object …