Correct-by-construction reinforcement learning of cardiac pacemakers from duration calculus requirements
As the complexity of pacemaker devices continues to grow, the importance of capturing its
functional correctness requirement formally cannot be overestimated. The pacemaker …
functional correctness requirement formally cannot be overestimated. The pacemaker …
Temporal Analysis and Classification of Sensor Signals
P Kosiuczenko - Sensors, 2023 - mdpi.com
Understanding the behaviour of sensors, and in particular, the specifications of multisensor
systems, are complex problems. The variables that need to be taken into consideration …
systems, are complex problems. The variables that need to be taken into consideration …
An Interval Temporal Logic for Time Series Specification and Data Integration
P Kosiuczenko - Remote Sensing, 2021 - mdpi.com
The analysis of temporal series—in particular, analysis of multisensor data—is a complex
problem. It depends on the application domain, the way the data have to be used, and …
problem. It depends on the application domain, the way the data have to be used, and …