On the stabilization of nondeterministic finite automata via static output feedback

DOI10.1016/J.AMC.2019.124687MaRDI QIDQ2284307zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

finite automatastatic output feedback stabilizationmatrix semi-tensor productalgebraic state space methodfinite-valued systemslogical dynamical systems

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 47926 (Why is no real title available?)
• scientific article; zbMATH DE number 6936842 (Why is no real title available?)
• A Finite Convergence Criterion for the Discounted Optimal Control of Stochastic Logical Networks
• A Linear Representation of Dynamics of Boolean Networks
• A new coupled disease-awareness spreading model with mass media on multiplex networks
• An introduction to semi-tensor product of matrices and its applications
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Control of Infinite Behavior of Finite Automata
• Controllability of Boolean control networks with time delays in states
• Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
• Finite-time stability analysis of stochastic switched Boolean networks with impulsive effect
• Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
• Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
• On algorithms for state feedback stabilization of Boolean control networks
• On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
• Output feedback stabilization of Boolean control networks
• Output stabilizability of discrete-event dynamic systems
• Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
• Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models
• STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
• Stability and Stabilization of Boolean Networks with Stochastic Delays
• Stabilization of Boolean control networks under aperiodic sampled-data control
• Stabilization of finite automata with application to hybrid systems control
• Static output feedback set stabilization for context-sensitive probabilistic Boolean control networks
• Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
• Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization
• Synchronization of Boolean networks with time delays
• The impact of awareness diffusion on SIR-like epidemics in multiplex networks
• The transformation between the Galois NLFSRs and the Fibonacci NLFSRs via semi-tensor product of matrices
• Tight bounds on the number of states of DFAs that are equivalent to \(n\)-state NFAs
• Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming

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

Describes a project that uses

Uses Software

• UMDES

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)