Modern cyber-physical systems would often fall victim to unanticipated anomalies. Humans
are still required in many operations to troubleshoot and respond to such anomalies, such …

Many robot control scenarios involve assessing system robustness against a task
specification. If either the controller or environment are composed of “black-box” …

As industrial production escalates in scale and complexity, the rapid localization and
diagnosis of equipment failures have become a core technical challenge. In response to the …

Contemporary Cyber-Physical Systems (CPS), such as autonomous vehicles, are driven
mainly by data. Combining timing and data semantics in such Data-Driven systems is crucial …

This paper presents a review of formal methods, covering both timed automata and Signal
Temporal Logic (STL) approaches, and proposes an integration of formal methods with a …

In this work, we propose the utilization of Signal Temporal Logic (STL) for on-the-fly timing
and plausibility analysis of time series produced in an Internet of Things environment and …

The testing and validation of vehicles include several challenges regarding the calibration of
its components to enable the safety and efficiency of a vehicle. This step comprises …

The increasing level of autonomy and intelligence of robotic systems in carrying out complex
tasks can be expected to revolutionize both the industry and our everyday lives. This thesis …