Optimal State Estimation for Boolean Dynamical Systems using a Boolean Kalman Smoother

被引:0
|
作者
Imani, Mahdi [1 ]
Braga-Neto, Ulisses [1 ]
机构
[1] Texas A&M Univ, Dept Elect & Comp Engn, College Stn, TX 77843 USA
关键词
Boolean Dynamical System; Boolean Kalman Smoother; Gene Regulatory Network;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper is concerned with state estimation at a fixed time point in a given time series of observations of a Boolean dynamical system. Towards this end, we introduce the Boolean Kalman Smoother, which provides an efficient algorithm to compute the optimal MMSE state estimator for this problem. Performance is investigated using a Boolean network model of the p53-MDM2 negative feedback loop gene regulatory network observed through time series of Next-Generation Sequencing (NGS) data.
引用
收藏
页码:972 / 976
页数:5
相关论文
共 50 条
  • [21] Formal verification of infinite state systems using Boolean methods
    Bryant, Randal E.
    [J]. 21st Annual IEEE Symposium on Logic in Computer Science, Proceedings, 2006, : 3 - 4
  • [22] Reasoning about infinite state systems using Boolean methods
    Bryant, RE
    [J]. FST TCS 2003: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 2003, 2914 : 399 - 407
  • [23] Formal verification of infinite state systems using Boolean methods
    Bryant, Randal E.
    [J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 1 - 3
  • [24] Double hybrid Kalman filtering for state estimation of dynamical systems
    Michalski, Jacek
    Kozierski, Piotr
    Zietkiewicz, Joanna
    [J]. COMPUTER APPLICATIONS IN ELECTRICAL ENGINEERING (ZKWE'2019), 2019, 28
  • [25] A generalized uniqueness theorem for generalized Boolean dynamical systems
    Kang, Eun Ji
    [J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2024, 538 (01)
  • [26] Optimal Finite-Horizon Sensor Selection for Boolean Kalman Filter
    Imani, Mahdi
    Braga-Neto, Ulisses M.
    [J]. 2017 FIFTY-FIRST ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS, AND COMPUTERS, 2017, : 1481 - 1485
  • [27] Optimal Strategy Estimation of Random Evolutionary Boolean Games
    Ding, Xueying
    Li, Haitao
    Lu, Jianquan
    Wang, Shuling
    [J]. IEEE TRANSACTIONS ON CYBERNETICS, 2022, 52 (08) : 7899 - 7905
  • [28] Joint state and parameter estimation with an iterative ensemble Kalman smoother
    Bocquet, M.
    Sakov, P.
    [J]. NONLINEAR PROCESSES IN GEOPHYSICS, 2013, 20 (05) : 803 - 818
  • [29] Optimal State Feedback Preview Control of Boolean Networks
    Wu, Linye
    Sun, Jitao
    [J]. NEURAL PROCESSING LETTERS, 2023, 55 (08) : 11259 - 11272
  • [30] Optimal State Feedback Preview Control of Boolean Networks
    Linye Wu
    Jitao Sun
    [J]. Neural Processing Letters, 2023, 55 : 11259 - 11272