A bisimulation-based methodology is then proposed to reduce the size of the state space of a BCN. Applying the reduction methodology allows one to infer control ...
Mar 15, 2021 · Abstract. The concept of bisimulation has been recently introduced in the study of Boolean control networks (BCNs).
Sep 24, 2024 · In these two works, Li et al. established the bisimulation relation for discrete-time Boolean control networks, which are equivalently converted ...
This paper addresses the bisimulations of Boolean control networks (BCNs) with impulsive effects. First, by analyzing the state transitions of BCNs with ...
Jan 1, 2018 · The analysis developed in this paper is based on the semitensor product approach, which gives algorithms that have exponential time complexity.
This thesis is a compendium of four research articles that introduce two reduction techniques and their software implementation.
Missing: Control | Show results with:Control
This paper investigates bisimulation relations of delayed switched Boolean control networks (DSBCNs), using the semi‐tensor product (STP) approach.
In this article, we study the network conversion by regarding it as a bisimulation process applied to any Boolean coding of the integers. Based on this study, ...
This study is concerned with probabilistic Boolean control networks (PBCNs) with state feedback control. A novel definition of bisimilar PBCNs is proposed to ...
Missing: Reduction | Show results with:Reduction
Jan 30, 2023 · The reader shall be familiar with logic, validity of logical formulas, equivalence rela- tions, partitions, bisimulations, isomorphisms, and ...