Propagation of nonsingularity between NFSRs via bisimulation method

DOI10.1016/J.SYSCONLE.2026.106538MaRDI QIDQ7315226zbMATH OpenFDO

Authors Xiang Zhou, Zhe Gao, Jun-e Feng

Publication date 18 August 2026

Published in Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.SYSCONLE.2026.106538

Mathematics Subject Classification ID

Communication, information (94Axx)

Cites work

• A necessary and sufficient condition for a class of nonsingular Galois NFSRs
• A novel method for driven stability of NFSRs via STP
• An Equivalence-Preserving Transformation of Shift Registers
• Analysis and control of Boolean networks. A semi-tensor product approach.
• Bisimulations of Boolean Control Networks
• Bisimulations of nonlinear feedback shift registers
• Bisimulations of probabilistic Boolean networks
• Condition for the nonsingularity of a feedback shift-register over a general finite field (Corresp.)
• Controller synthesis for bisimulation equivalence
• Detectability of Boolean networks: a finite-time convergent matrix approach
• Distributional observability of probabilistic Boolean networks
• Fault Detection Analysis of Boolean Control Networks
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 194139 (Why is no real title available?)
• scientific article; zbMATH DE number 1970438 (Why is no real title available?)
• Improved transformation algorithms for generalized Galois NLFSRs
• Improved transformation between Fibonacci FSRs and Galois FSRs based on semi-tensor product
• Nonsingularity of feedback shift registers
• Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
• Observability, Reconstructibility and State Observers of Boolean Control Networks
• On detectability of Boolean control networks
• On observability of Galois nonlinear feedback shift registers: output restriction relaxed
• Permutation polynomials and nonsingular feedback shift registers over finite fields
• Reduction and analysis of Boolean control networks by bisimulation
• Stability analysis of compositional Boolean networks through different logical operators
• The transformation between the Galois NLFSRs and the Fibonacci NLFSRs via semi-tensor product of matrices
• Trivium

This page was built for publication: Propagation of nonsingularity between NFSRs via bisimulation method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7315226)