Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Information Science and Technology / Faculty of Information Science and Technology >
Peer-reviewed Journal Articles, etc >
A BDD-Based Approach to Finite-Time Control of Boolean Networks
Title: | A BDD-Based Approach to Finite-Time Control of Boolean Networks |
Authors: | Motoyama, Fuma Browse this author | Kobayashi, Koichi Browse this author →KAKEN DB | Yamashita, Yuh Browse this author →KAKEN DB |
Keywords: | key binary decision diagram (BDD) | Boolean networks | finite-time control | gene regulatory networks |
Issue Date: | 1-May-2024 |
Publisher: | IEICE - Institute of the Electronics, Information and Communication Engineers |
Journal Title: | IEICE transactions on fundamentals of electronics communications and computer sciences |
Volume: | E107A |
Issue: | 5 |
Start Page: | 793 |
End Page: | 798 |
Publisher DOI: | 10.1587/transfun.2023MAP0006 |
Abstract: | Control of complex networks such as gene regulatory networks is one of the fundamental problems in control theory. A Boolean network (BN) is one of the mathematical models in complex networks, and represents the dynamic behavior by Boolean functions. In this paper, a solution method for the finite -time control problem of BNs is proposed using a BDD (binary decision diagram). In this problem, we find all combinations of the initial state and the control input sequence such that a certain control specification is satisfied. The use of BDDs enables us to solve this problem for BNs such that the conventional method cannot be applied. First, after the outline of BNs and BDDs is explained, the problem studied in this paper is given. Next, a solution method using BDDs is proposed. Finally, a numerical on a 67 -node BN is |
Rights: | copyright©2024 IEICE |
Type: | article |
URI: | http://hdl.handle.net/2115/92831 |
Appears in Collections: | 情報科学院・情報科学研究院 (Graduate School of Information Science and Technology / Faculty of Information Science and Technology) > 雑誌発表論文等 (Peer-reviewed Journal Articles, etc)
|
Submitter: 小林 孝一
|