The Internet of Medical Things (IoMT) designates the interconnection of communication-
enabled medical-grade devices and their integration to wider-scale health networks in order …

Interval arithmetic can be seen as one of the workhorses for formal verification approaches.
The popularity of interval arithmetic stems from the fact that the possible outcomes of almost …

Abstract Tool Presentation: Computing guaranteed bounds of function outputs when their
input variables are bounded by intervals is an essential technique for many formal methods …

In this paper, we propose a convex programming based method to address a long-standing
problem of inner-approximating backward reachable sets of state-constrained polynomial …

Recent advances and industry standards in Internet of Things (IoT) have accelerated the
real-world adoption of connected devices. To manage this hybrid system of digital real-time …

The present investigation addresses an innovative method based on explicit form of the
model predictive control (EMPC) for a constrained Piecewise affine (PWA) class of hybrid …

Thanks to significant progress in the adopted implementation techniques, the recent years
have witnessed a renewed interest in the development of analysis tools based on the …

Abstract The design of Cyber-Physical Systems (CPS) poses a number of challenges, in
particular for cyber-security. Eliciting Security Requirements is a key aspect in the early …

As an essential feature of smart cyber-physical systems (CPSs), self-healing behaviors play
a major role in maintaining the normality of CPSs in the presence of faults and uncertainties …

Due to the ability to handle uncertain nonlinear hybrid systems, barrier certificate based
method has been widely used in safety verification problem. In this paper, an efficient …