Cyber-physical systems theory offers a powerful framework for modeling, analyzing, and
designing real engineering systems integrating communication, control, and computation …

The formal specification provides a uniquely readable description of various aspects of a
system, including its temporal behavior. This facilitates testing and sometimes automatic …

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 …

Techniques of light-weight formal methods, such as monitoring and falsification, are
attracting attention for quality assurance of cyber-physical systems. The techniques require …

Specifying properties can be challenging work. In this paper, we propose an automated
approach to exemplify properties given in the form of automata extended with timing …

In this paper we present ShapEx, a tool that generates random behaviors from shape
expressions, a formal specification language for describing sophisticated temporal …

The correctness problem for reactive systems has been thoroughly explored and is well
understood. Meanwhile, the efficiency problem for reactive systems has not received the …

One of the main challenges in testing artificial intelligence (AI) enabled cyber physical
systems (CPS) such as autonomous driving systems and internet-of-things (IoT) …

Cyber-physical systems (CPS) are increasingly becoming driven by data, using multiple
types of sensors to capture huge amounts of data. Extraction and characterization of useful …

We present a method to verify transient and settling time properties, called band
convergence properties, of digitally controlled continuous systems, wherein we consider a …