7 citations · 24 across the 14 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2020★ 1 cited
State Feedback Stabilization of Generic Logic Systems via Ledley Antecedence Solution
Yingzhe Jia, Daizhan Cheng, Jun-e Feng
In this paper, the application of Ledley antecedence solutions in designing state feedback stabilizers of generic logic systems has been proposed. To make the method feasible, two…
math.LO2019
Matrix Expression of Finite Boolean-type Algebras
Daizhan Cheng, Jun-e Feng, Jianli Zhao +1
Boolean-type algebra (BTA) is investigated. A BTA is decomposed into Boolean-type lattice (BTL) and a complementation algebra (CA). When the object set is finite, the matrix expres…