Robustness Against Time Distortions in Stark

Stark is a tool for the analysis of the robustness of dynamical systems operating under uncertainty. Robustness is expressed as a distance between the nominal and perturbed versions of the behaviour. However, the current version of the tool does not allow for analysing the robustness with respect to time distortions induced by perturbations. To fill this gap, we discuss the integration of a Skorokhod-like technique to the evaluation of distances in Stark. Moreover, we claim that this approach will allow us to extend the expressiveness of Stark with resilience analysis. We make use of a case study from System Biology to showcase the potential of the proposed technique: we analyse the robustness and resilience of the oscillatory behaviour of a gene regulatory network.