24 citations · 80 across the 26 of their papers we have counts for
27 papers
Target Control of Asynchronous Boolean Networks
Cui Su, Jun Pang
We study the target control of asynchronous Boolean networks, to identify efficacious interventions that can drive the dynamics of a given Boolean network from any initial state to…
A Dynamics-based Approach for the Target Control of Boolean Networks
Cui Su, Jun Pang
We study the target control problem of asynchronous Boolean networks, to identify a set of nodes, the perturbation of which can drive the dynamics of the network from any initial s…
Sequential Control of Boolean Networks with Temporary and Permanent Perturbations
Cui Su, Jun Pang
Direct cell reprogramming makes it feasible to reprogram abundant somatic cells into desired cells. It has great potential for regenerative medicine and tissue engineering. In this…
Characterising Probabilistic Alternating Simulation for Concurrent Games
Chenyi Zhang, Jun Pang
Probabilistic game structures combine both nondeterminism and stochasticity, where players repeatedly take actions simultaneously to move to the next state of the concurrent game.…
Online Observability of Boolean Control Networks
Guisen Wu, Liyun Dai, Zhiming Liu +2
Observabililty is an important topic of Boolean control networks (BCNs). In this paper, we propose a new type of observability named online observability to present the sufficient…
Formal Analysis of an E-Health Protocol
Naipeng Dong, Hugo Jonker, Jun Pang
Given the sensitive nature of health data, security and privacy in e-health systems is of prime importance. It is crucial that an e-health system must ensure that users remain priv…