Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Signal Temporal Logic"”.
-
A framework for testing cyber-physical systems : input generation and causal analysis
… strategy the main goal is to provide input signals for a system in such a way that they maximise the distance between the system’s output and its ideal one, thus leading the system towards a fault. Additionally, we take into consideration the discrete locations (of hybrid system models) and …
-
Formal approaches to security-aware robotic motion planning using hyperproperties
… Usually, such problems are formulated as temporal logic specifications over a discrete representation of the given system. Despite the expressivity of conventional logic such as Linear Temporal Logic (LTL), Metric Temporal Logic (MTL), Signal Temporal logic (STL), etc., they cannot be used …
-
Dynamic analysis of Cyber-Physical Systems
… happens. In particular we consider invariant and temporal precedence properties; temporal precedence properties ensure that the temporal ordering of certain events in every execution satisfy a given specification. This thesis introduces the notion of a discrepancy function that aids in dynamic …