共 50 条
- [21] Formal verification of infinite state systems using Boolean methods [J]. 21st Annual IEEE Symposium on Logic in Computer Science, Proceedings, 2006, : 3 - 4
- [22] Reasoning about infinite state systems using Boolean methods [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 [J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 1 - 3
- [24] Double hybrid Kalman filtering for state estimation of dynamical systems [J]. COMPUTER APPLICATIONS IN ELECTRICAL ENGINEERING (ZKWE'2019), 2019, 28
- [26] Optimal Finite-Horizon Sensor Selection for Boolean Kalman Filter [J]. 2017 FIFTY-FIRST ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS, AND COMPUTERS, 2017, : 1481 - 1485
- [29] Optimal State Feedback Preview Control of Boolean Networks [J]. NEURAL PROCESSING LETTERS, 2023, 55 (08) : 11259 - 11272
- [30] Optimal State Feedback Preview Control of Boolean Networks [J]. Neural Processing Letters, 2023, 55 : 11259 - 11272