We introduce a new logic called Signal Convolution Logic (SCL) that combines temporal
logic with convolutional filters from digital signal processing. SCL enables to reason about …

The behavior of a cyber-physical system (CPS) is usually defined in terms of the input and
output signals processed by sensors and actuators. Requirements specifications of CPSs …

We present a new method for the automated synthesis of safe and robust Proportional-
Integral-Derivative (PID) controllers for stochastic hybrid systems. Despite their widespread …

Abstract Given a Discrete Time Markov Chain M and a probabilistic temporal logic formula φ,
where M violates φ, the problem of Model Repair is to obtain a new model M′, such that …

This paper provides an evaluation of the assertion-based monitoring technology for mixed-
signal systems applied to a real-world case study from the automotive domain. We first …

The verification of complex mixed-signal integrated circuit products in the automotive
industry accounts for around 60%–70% of the total development time. In such scenario, any …

Estimating the probability of events is a significant challenge in many fields, often requiring a
probabilistic model or additional labels and tasks for accurate prediction. However, those …

This paper uses active learning to solve the problem of mining signal temporal requirements
of cyber-physical systems or simply the requirement mining problem. By utilizing robustness …

The knowledge network system was developed based on the needs of the modern iron and
steel enterprise integrated production management. System was mainly composed of …

From the formation of traffic jams to the development of troublesome, whirlpool-like spirals in
the heart's electrical activity, spatio-temporal patterns are key in understanding how complex …