Simulation is becoming increasingly important in the development, testing and approval
process in many areas of engineering, ranging from finite element models to highly complex …

Building on the work by Fainekos and Pappas and the one by Donzé and Maler, we
introduce AvSTL, an extension of metric interval temporal logic by averaged temporal …

Cyber physical systems (CPSs) are rapidly develo**, with increasing scale, complexity,
and heterogeneity. However, testing CPSs systematically to ensure that they operate with …

Modern smart grids utilize advanced sensors and digital communication to manage the flow
of electricity from generation source to consumption points. They also employ anomaly …

Model-based development is an important paradigm for develo** cyber-physical systems
(CPS). The underlying assumption is that the functional behavior of a model is related to the …

Abstract Cyber-Physical Systems (CPSs) typically operate in highly indeterminate
environmental conditions, which require the development of testing methods that must …

In model-based design of cyber-physical systems, such as switched mixed-signal circuits or
software-controlled physical systems, it is common to develop a sequence of system models …

Runtime verification (RV) is a pragmatic and scalable, yet rigorous technique, to assess the
correctness of complex systems, including cyber-physical systems (CPSs). Modern RV tools …

Specication guided falsication methods for hybrid systems have recently demonstrated their
value in detecting design errors in models of safety critical systems. In specication guided …

One of the main challenges in software development for safety-critical Cyber-Physical
Systems (CPS) is in achieving a certain level of confidence in the system correctness and …