On the stabilization of nondeterministic finite automata via static output feedback
DOI10.1016/J.AMC.2019.124687zbMATH Open1433.93111OpenAlexW2971667961WikidataQ127319679 ScholiaQ127319679MaRDI QIDQ2284307FDOQ2284307
Authors: Zhipeng Zhang, Cheng-Yi Xia, Zengqiang Chen 
Publication date: 14 January 2020
Published in: Applied Mathematics and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.amc.2019.124687
Recommendations
- On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrices.
- Dynamic output feedback stabilization of deterministic finite automata via the semi-tensor product of matrices approach
- Stabilization of finite automata with application to hybrid systems control
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition
finite automatastatic output feedback stabilizationmatrix semi-tensor productalgebraic state space methodfinite-valued systemslogical dynamical systems
Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65) Stabilization of systems by feedback (93D15)
Cites Work
- Title not available (Why is that?)
- An introduction to semi-tensor product of matrices and its applications
- A Linear Representation of Dynamics of Boolean Networks
- Controllability of Boolean control networks with time delays in states
- Finite-time stability analysis of stochastic switched Boolean networks with impulsive effect
- Synchronization of Boolean networks with time delays
- Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
- Control of Infinite Behavior of Finite Automata
- Tight bounds on the number of states of DFAs that are equivalent to \(n\)-state NFAs
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- Stabilization of finite automata with application to hybrid systems control
- Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization
- Output stabilizability of discrete-event dynamic systems
- Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
- Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
- The transformation between the Galois NLFSRs and the Fibonacci NLFSRs via semi-tensor product of matrices
- Stabilization of Boolean control networks under aperiodic sampled-data control
- On algorithms for state feedback stabilization of Boolean control networks
- Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models
- Output feedback stabilization of Boolean control networks
- Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming
- The impact of awareness diffusion on SIR-like epidemics in multiplex networks
- Static output feedback set stabilization for context-sensitive probabilistic Boolean control networks
- A Finite Convergence Criterion for the Discounted Optimal Control of Stochastic Logical Networks
- Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
- Stability and Stabilization of Boolean Networks with Stochastic Delays
- A new coupled disease-awareness spreading model with mass media on multiplex networks
- Title not available (Why is that?)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
- STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
- On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
Cited In (12)
- Ability-based asymmetrical fitness calculation promotes cooperation in spatial prisoner's dilemma game
- Security and privacy with opacity-based state observation for finite state machine
- Dynamic output feedback stabilization of deterministic finite automata via the semi-tensor product of matrices approach
- Verification and enforcement of current-state opacity based on a state space approach
- Networked opacity for finite state machine with bounded communication delays
- Matrix formulation of EISs of graphs and its application to WSN covering problems
- Stabilization of finite automata with application to hybrid systems control
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
- Approximate synchronization of coupled multi-valued logical networks
- A state-flipped approach to complete synchronization of Boolean networks
- On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrices.
- Pinning detectability of Boolean control networks with injection mode
Uses Software
This page was built for publication: On the stabilization of nondeterministic finite automata via static output feedback
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2284307)
