In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

Boolean networks (BNs) provide an effective modelling tool for various phenomena from
science and engineering. Any long-term behaviour of a BN eventually converges to a so …

Many operations in workflow systems are dependent on database tables. The classical
workflow net and its extensions (eg, worflow net with data) cannot model these operations …

Digital bifurcation analysis is a new algorithmic method for exploring how the behavior of a
parameter-dependent discrete system varies with a change in its parameters and, in …

Abstract Background Boolean networks (BNs) provide an effective modelling formalism for
various complex biochemical phenomena. Their long term behaviour is represented by …

We consider the parameter synthesis problem for multi-affine hybrid systems and properties
specified using a hybrid extension of CTL (HCTL). The goal is to determine the sets of …