| Presentation | 2023-07-07 Finite-Time Control of Boolean Networks Considering Specifications on Control Inputs Fuma Motoyama, Koichi Kobayashi, Yuh Yamashita, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | A Boolean network (BN) is widely used as a mathematical model for control of gene regulatory networks. 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 large-scale BNs. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | BDD / Boolean networks / finite-time control / gene regulatory networks |
| Paper # | CAS2023-16,VLD2023-16,SIP2023-32,MSS2023-16 |
| Date of Issue | 2023-06-29 (CAS, VLD, SIP, MSS) |
| Conference Information | |
| Committee | MSS / CAS / SIP / VLD |
|---|---|
| Conference Date | 2023/7/6(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Shingo Yamaguchi(Yamaguchi Univ.) / Yasutoshi Aibara(OmniVision) / Takayuki Nakachi(Ryukyu Univ.) / Shigetoshi Nakatake(Univ. of Kitakyushu) |
| Vice Chair | Toshiyuki Miyamoto(Osaka Inst. of Tech.) / Norihiko Shinomiya(Soka Univ.) / Koichi Ichige(Yokohama National Univ.) / Kiyoshi Nishikawa(okyo Metropolitan Univ.) / Yuichi Sakurai(Hitachi) |
| Secretary | Toshiyuki Miyamoto(Osaka Univ.) / Norihiko Shinomiya(NEC) / Koichi Ichige(Soka Univ.) / Kiyoshi Nishikawa(Renesas Electronics) / Yuichi Sakurai(Chiba Univ.) |
| Assistant | Masato Shirai(Shimane Univ.) / Nao Ito(NIT, Toyama college) / Motoi Yamaguchi(TECHNOPRO) / Shinji Shimoda(Sony Semiconductor Solutions) / Shunsuke Koshita(Hachinohe Inst. of Tech.) / Taichi Yoshida(UEC) / Sayaka Shiota(Tokyo Metropolitan Univ.) / Takuma Nishimoto(Hitachi) |
| Paper Information | |
| Registration To | Technical Committee on Mathematical Systems Science and its Applications / Technical Committee on Circuits and Systems / Technical Committee on Signal Processing / Technical Committee on VLSI Design Technologies |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Finite-Time Control of Boolean Networks Considering Specifications on Control Inputs |
| Sub Title (in English) | |
| Keyword(1) | BDD |
| Keyword(2) | Boolean networks |
| Keyword(3) | finite-time control |
| Keyword(4) | gene regulatory networks |
| 1st Author's Name | Fuma Motoyama |
| 1st Author's Affiliation | Hokkaido University(Hokkaido Univ.) |
| 2nd Author's Name | Koichi Kobayashi |
| 2nd Author's Affiliation | Hokkaido University(Hokkaido Univ.) |
| 3rd Author's Name | Yuh Yamashita |
| 3rd Author's Affiliation | Hokkaido University(Hokkaido Univ.) |
| Date | 2023-07-07 |
| Paper # | CAS2023-16,VLD2023-16,SIP2023-32,MSS2023-16 |
| Volume (vol) | vol.123 |
| Number (no) | CAS-97,VLD-98,SIP-99,MSS-100 |
| Page | pp.pp.78-83(CAS), pp.78-83(VLD), pp.78-83(SIP), pp.78-83(MSS), |
| #Pages | 6 |
| Date of Issue | 2023-06-29 (CAS, VLD, SIP, MSS) |