Survey on applications of algebraic state space theory of logical systems to finite state machines
Published 2023 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
Survey on applications of algebraic state space theory of logical systems to finite state machines
Authors
Keywords
-
Journal
Science China-Information Sciences
Volume 66, Issue 1, Pages -
Publisher
Springer Science and Business Media LLC
Online
2023-01-04
DOI
10.1007/s11432-022-3538-4
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- Intelligent anomaly identification in cyber-physical inverter-based systems
- (2021) Asad Ali Khan et al. ELECTRIC POWER SYSTEMS RESEARCH
- Further results on bilinear behavior formulation of finite state machines
- (2021) Jumei Yue et al. Science China-Information Sciences
- A new look at the critical observability of finite state machines from an algebraic viewpoint
- (2021) Yongyi Yan et al. ASIAN JOURNAL OF CONTROL
- State space optimization of finite state machines from the viewpoint of control theory
- (2021) Jumei Yue et al. Frontiers of Information Technology & Electronic Engineering
- Design and Control of a Novel Coaxial Tilt-Rotor UAV
- (2021) Zong-Yang Lv et al. IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
- (2020) Zhipeng Zhang et al. JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS
- Reachability Analysis of Networked Finite State Machine With Communication Losses: A Switched Perspective
- (2020) Zhipeng Zhang et al. IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS
- Human Activity Discovery and Recognition Using Probabilistic Finite-State Automata
- (2020) Kevin Viard et al. IEEE Transactions on Automation Science and Engineering
- Detectability Verification of Probabilistic Boolean Networks
- (2020) Xiao-Guang Han et al. INFORMATION SCIENCES
- Observability analysis of combined finite automata based upon semi-tensor product of matrices approach
- (2020) Zengqiang Chen et al. TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL
- Nondeterministic finite automata based on quantum logic: Language equivalence relation and robustness
- (2020) Haihui Wang et al. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
- Optimal control of random evolutionary Boolean games
- (2019) Xueying Ding et al. INTERNATIONAL JOURNAL OF CONTROL
- A probabilistic finite state machine based strategy for multi-target search using swarm robotics
- (2019) Jie Li et al. APPLIED SOFT COMPUTING
- Matrix approach to simplification of finite state machines using semi‐tensor product of matrices
- (2019) Jumei Yue et al. ASIAN JOURNAL OF CONTROL
- On detectability of probabilistic Boolean networks
- (2019) Biao Wang et al. INFORMATION SCIENCES
- On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
- (2019) Zhipeng Zhang et al. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE
- Identification of predictors of Boolean networks from observed attractor states
- (2019) Jumei Yue et al. MATHEMATICAL METHODS IN THE APPLIED SCIENCES
- Algebraic criteria for finite automata understanding of regular language
- (2019) Yongyi Yan et al. Frontiers of Computer Science
- Approximate reduction of finite automata for high-speed network intrusion detection
- (2019) Milan Češka et al. International Journal on Software Tools for Technology Transfer
- Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
- (2019) Zhipeng Zhang et al. ASIAN JOURNAL OF CONTROL
- Language acceptability of finite automata based on theory of semi‐tensor product of matrices
- (2019) Jumei Yue et al. ASIAN JOURNAL OF CONTROL
- Matrix approach to detectability of discrete event systems
- (2019) Biao Wang et al. JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS
- Three matrix conditions for the reduction of finite automata based on the theory of semi-tensor product of matrices
- (2019) Jumei Yue et al. Science China-Information Sciences
- A congestion game framework for service chain composition in NFV with function benefit
- (2019) Shuting Le et al. INFORMATION SCIENCES
- A Novel Effectiveness Evaluation Method Based on Simultaneous Probabilistic Finite-State Machines
- (2019) Yi Nan et al. IEEE Systems Journal
- Pinning Stabilization of Boolean Control Networks via a Minimum Number of Controllers
- (2019) Jianquan Lu et al. IEEE Transactions on Cybernetics
- From Boolean game to potential game
- (2018) Daizhan Cheng et al. AUTOMATICA
- Pinning Controllers for Activation Output Tracking of Boolean Network Under One-Bit Perturbation
- (2018) Jie Zhong et al. IEEE Transactions on Cybernetics
- Leader-Follower Consensus of Multiagent Systems With Time Delays Over Finite Fields
- (2018) Yalu Li et al. IEEE Transactions on Cybernetics
- Analysis Tools for Interconnected Boolean Networks With Biological Applications
- (2018) Madalena Chaves et al. Frontiers in Physiology
- The transformation between the Galois NLFSRs and the Fibonacci NLFSRs via semi-tensor product of matrices
- (2018) Jianquan Lu et al. AUTOMATICA
- Minimization of lattice multiset finite automata
- (2018) Yongbing Wang et al. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- (2018) Xiao-Guang Han et al. JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS
- Modeling and reachability of probabilistic finite automata based on semi-tensor product of matrices
- (2018) Zhipeng Zhang et al. Science China-Information Sciences
- Matrix expression of Shapley values and its application to distributed resource allocation
- (2018) Yuanhua Wang et al. Science China-Information Sciences
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- (2018) Xiaoguang Han et al. SYSTEMS & CONTROL LETTERS
- Optimal control of Boolean control networks with average cost: A policy iteration approach
- (2018) Yuhu Wu et al. AUTOMATICA
- Toward Occlusion Handling in Visual Tracking via Probabilistic Finite State Machines
- (2018) Chenghuan Liu et al. IEEE Transactions on Cybernetics
- Policy Iteration Approach to Control Residual Gas Fraction in IC Engines Under the Framework of Stochastic Logical Dynamics
- (2017) Yuhu Wu et al. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY
- Survey on semi-tensor product method with its applications in logical networks and other finite-valued systems
- (2017) Jianquan Lu et al. IET Control Theory and Applications
- The detection and stabilisation of limit cycle for deterministic finite automata
- (2017) Xiaoguang Han et al. INTERNATIONAL JOURNAL OF CONTROL
- A novel matrix approach to observability analysis of finite automata
- (2017) Na Gao et al. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE
- Minimization of mealy finite-state machines by using the values of the output variables for state assignment
- (2017) V. V. Solov’ev JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL
- A survey on applications of semi-tensor product method in engineering
- (2017) Haitao Li et al. Science China-Information Sciences
- Dynamic networks of finite state machines
- (2017) Yuval Emek et al. THEORETICAL COMPUTER SCIENCE
- Controllability and Synchronization Analysis of Identical-Hierarchy Mixed-Valued Logical Control Networks
- (2017) Jie Zhong et al. IEEE Transactions on Cybernetics
- STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
- (2016) Yongyi Yan et al. ASIAN JOURNAL OF CONTROL
- Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
- (2016) Kuize Zhang et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Static corrective control for asynchronous sequential machines and its application to on-board computers
- (2016) Jung–Min Yang et al. IET Control Theory and Applications
- Shape-instability life scatter prediction of 40Cr steel: Damage-coupled crystal plastic probabilistic finite element method
- (2016) Yuefeng Li et al. INTERNATIONAL JOURNAL OF PLASTICITY
- Tolerating Permanent State Transition Faults in Asynchronous Sequential Machines
- (2016) Jung-Min Yang JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
- Finding graph minimum stable set and core via semi-tensor product approach
- (2016) Jie Zhong et al. NEUROCOMPUTING
- Efficient Deterministic Finite Automata Minimization Based on Backward Depth Information
- (2016) Desheng Liu et al. PLoS One
- A note on observability of Boolean control networks
- (2016) Daizhan Cheng et al. SYSTEMS & CONTROL LETTERS
- Algebraic state space approach to model and control combined automata
- (2016) Yongyi Yan et al. Frontiers of Computer Science
- Finite automata approach to observability of switched Boolean control networks
- (2016) Kuize Zhang et al. Nonlinear Analysis-Hybrid Systems
- Formulation and optimization control of a class of networked evolutionary games with switched topologies
- (2016) Guodong Zhao et al. Nonlinear Analysis-Hybrid Systems
- Design of Feedback Control for Networked Finite-Distributed Delays Systems with Quantization and Packet Dropout Compensation
- (2015) Wen-Chiung Hsu et al. DISCRETE DYNAMICS IN NATURE AND SOCIETY
- Semi-tensor product approach to controllability and stabilizability of finite automata
- (2015) Yongyi Yan et al. Journal of Systems Engineering and Electronics
- Controlled finite automata
- (2014) Alexander Meduna et al. ACTA INFORMATICA
- Construction of a Boolean model of gene and protein regulatory network with memory
- (2014) Meng Yang et al. NEURAL NETWORKS
- Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition
- (2014) Yongyi Yan et al. Frontiers of Computer Science
- Observability of Boolean networks: A graph-theoretic approach
- (2013) Dmitriy Laschov et al. AUTOMATICA
- Matrix Approach to Model Matching of Asynchronous Sequential Machines
- (2013) Xiangru Xu et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Observability analysis and observer design for finite automata via matrix approach
- (2013) Xu Xiangru et al. IET Control Theory and Applications
- Observability conditions of Boolean control networks
- (2013) Rui Li et al. INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL
- Minimization of incompletely specified mealy finite-state machines by merging two internal states
- (2013) A. S. Klimowicz et al. JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL
- A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems
- (2012) Yuzhen Wang et al. AUTOMATICA
- Fatigue reliability assessment of steel bridge details integrating weigh-in-motion data and probabilistic finite element analysis
- (2012) Tong Guo et al. COMPUTERS & STRUCTURES
- Multicast Routing for Decentralized Control of Cyber Physical Systems with an Application in Smart Grid
- (2012) Husheng Li et al. IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS
- Observability, Reconstructibility and State Observers of Boolean Control Networks
- (2012) Ettore Fornasini et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Identification of Boolean control networks
- (2011) Daizhan Cheng et al. AUTOMATICA
- Stabilization of Finite Automata with Application to Hybrid Systems Control
- (2011) Koichi Kobayashi et al. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS
- Minimization of mealy finite state machines via internal state merging
- (2011) V. V. Solov’ev JOURNAL OF COMMUNICATIONS TECHNOLOGY AND ELECTRONICS
- A Linear Representation of Dynamics of Boolean Networks
- (2010) Daizhan Cheng et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Minimization of Moore finite automata by internal state gluing
- (2010) V. V. Solov’ev JOURNAL OF COMMUNICATIONS TECHNOLOGY AND ELECTRONICS
- Input-state incidence matrix of Boolean control networks and its applications
- (2010) Yin Zhao et al. SYSTEMS & CONTROL LETTERS
- Controllability and observability of Boolean control networks
- (2009) Daizhan Cheng et al. AUTOMATICA
- State estimation and detectability of probabilistic discrete event systems
- (2008) Shaolong Shu et al. AUTOMATICA
Publish scientific posters with Peeref
Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.
Learn MoreCreate your own webinar
Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.
Create Now