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 …

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

Safety regulation of safety-critical agent-based cyber-physical systems (CPS) which are
manufactured in large scale such as next-gen aircrafts, autonomous driving vehicles, and …

Conformance testing is a formal and structured approach to verifying system correctness.
We propose a conformance testing algorithm for cyber-physical systems, based on the …

We propose a multi-objective strategy for finding effective inputs for fault detection in Cyber
Physical Systems (CPSs). The main goal is to provide input signals for a system in such a …

In what is commonly referred to as cyber-physical systems (CPSs), computational and
physical resources are closely interconnected. An example is the closed-loop behavior of …

Conformance testing is a formal and structured approach to verifying system correctness.
We propose a conformance testing algorithm for cyber-physical systems, based on the …

Logical characterisation of a behavioural equivalence relation precisely specifies the set of
formulae that are preserved and reflected by the relation. Such characterisations have been …

Conformance is defined as a measure of distance between the behaviors of two dynamical
systems. The notion of conformance can accelerate system design when models of varying …

AI enabled cyber-physical systems such as artificial pancreas suffer from the” no oracle
problem”. The system is subjected to inputs and scenarios which are not observed during …