On the stabilization of nondeterministic finite automata via static output feedback (Q2284307): Difference between revisions

@@ Property / author @@
-Cheng-yi Xia
@@ Property / author: Cheng-yi Xia / rank @@
-Normal rank
@@ Property / author @@
-Zeng-Qiang Chen
@@ Property / author: Zeng-Qiang Chen / rank @@
-Normal rank
@@ Property / author @@
+Cheng-yi Xia
@@ Property / author: Cheng-yi Xia / rank @@
+Normal rank
@@ Property / author @@
+Zeng-Qiang Chen
@@ Property / author: Zeng-Qiang Chen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.amc.2019.124687
+Normal rank
@@ Property / OpenAlex ID @@
+W2971667961
@@ Property / OpenAlex ID: W2971667961 / rank @@
+Normal rank
@@ Property / cites work @@
+Output feedback stabilization of Boolean control networks
+Normal rank
@@ Property / cites work @@
+A Linear Representation of Dynamics of Boolean Networks
+Normal rank
@@ Property / cites work @@
+Q3224871
@@ Property / cites work: Q3224871 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998992
@@ Property / cites work: Q3998992 / rank @@
+Normal rank
@@ Property / cites work @@
+Tight bounds on the number of states of DFAs that are equivalent to \(n\)-state NFAs
+Normal rank
@@ Property / cites work @@
+Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization
+Normal rank
@@ Property / cites work @@
+Stabilization of finite automata with application to hybrid systems control
+Normal rank
@@ Property / cites work @@
+Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming
+Normal rank
@@ Property / cites work @@
+Q5375230
@@ Property / cites work: Q5375230 / rank @@
+Normal rank
@@ Property / cites work @@
+Controllability of Boolean control networks with time delays in states
+Normal rank
@@ Property / cites work @@
+Finite-time stability analysis of stochastic switched Boolean networks with impulsive effect
+Normal rank
@@ Property / cites work @@
+Synchronization of Boolean networks with time delays
+Normal rank
@@ Property / cites work @@
+On algorithms for state feedback stabilization of Boolean control networks
+Normal rank
@@ Property / cites work @@
+Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
+Normal rank
@@ Property / cites work @@
+The transformation between the Galois NLFSRs and the Fibonacci NLFSRs via semi-tensor product of matrices
+Normal rank
@@ Property / cites work @@
+Stabilization of Boolean Control Networks Under Aperiodic Sampled-Data Control
+Normal rank
@@ Property / cites work @@
+Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
+Normal rank
@@ Property / cites work @@
+Stability and Stabilization of Boolean Networks with Stochastic Delays
+Normal rank
@@ Property / cites work @@
+Output stabilizability of discrete-event dynamic systems
+Normal rank
@@ Property / cites work @@
+Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models
+Normal rank
@@ Property / cites work @@
+Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
+Normal rank
@@ Property / cites work @@
+Control of Infinite Behavior of Finite Automata
@@ Property / cites work: Control of Infinite Behavior of Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Static output feedback set stabilization for context-sensitive probabilistic Boolean control networks
+Normal rank
@@ Property / cites work @@
+The impact of awareness diffusion on SIR-like epidemics in multiplex networks
+Normal rank
@@ Property / cites work @@
+A Finite Convergence Criterion for the Discounted Optimal Control of Stochastic Logical Networks
+Normal rank
@@ Property / cites work @@
+A new coupled disease-awareness spreading model with mass media on multiplex networks
+Normal rank
@@ Property / cites work @@
+STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
+Normal rank
@@ Property / cites work @@
+Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
+Normal rank
@@ Property / cites work @@
+Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
+Normal rank
@@ Property / cites work @@
+On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
+Normal rank
@@ Property / cites work @@
+Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
+Normal rank
@@ Property / Wikidata QID @@
+Q127319679
@@ Property / Wikidata QID: Q127319679 / rank @@
+Normal rank