Matrix Approach to Model Matching of Asynchronous Sequential Machines

From MaRDI portal
Publication:5353417


DOI10.1109/TAC.2013.2259957zbMath1369.93354OpenAlexW1971318969MaRDI QIDQ5353417

Xiangru Xu, Yiguang Hong

Publication date: 8 September 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2013.2259957



Related Items

State feedback based output tracking control of probabilistic Boolean networks, On robust control invariance of Boolean control networks, A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata, Output tracking of switched Boolean networks under open-loop/closed-loop switching signals, Algebraic formulation and Nash equilibrium of competitive diffusion games, Synchronization of switched logical control networks via event-triggered control, Control design for output tracking of delayed Boolean control networks, Set stability of switched delayed logical networks with application to finite-field consensus, Further results on feedback stabilization control design of Boolean control networks, Efficient static corrective control for model matching and fault tolerance of asynchronous sequential machines, Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints, Lyapunov-Based Stability and Construction of Lyapunov Functions for Boolean Networks, Output tracking control of Boolean control networks via state feedback: constant reference signal case, Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system, Necessary and sufficient conditions for asymptotic model matching of switching linear systems, Event-triggered set stabilization of impulsive logical control networks based on the hybrid index model approach, Model matching of input/state switched asynchronous sequential machines with the external switching signal, Design and implementation of robust corrective control systems with permanent sensor faults, Model matching of input/state asynchronous sequential machines with actuator saturation and bounded delays, Robust stability and stabilisation of Boolean networks with disturbance inputs, Algebraic formulation and topological structure of Boolean networks with state-dependent delay, Exact fault recovery for asynchronous sequential machines with output bursts, Topologies on quotient space of matrices via semi‐tensor product, Disturbance decoupling control design for switched Boolean control networks, Stochastic stability and stabilization of \(n\)-person random evolutionary Boolean games, Static feedback control of switched asynchronous sequential machines, Stabilization and set stabilization of delayed Boolean control networks based on trajectory stabilization, Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences, Robust corrective control against a class of actuator attacks in input/state asynchronous sequential machines, Burst-feedback corrective control of asynchronous sequential machines in non-fundamental mode, Model matching of switched asynchronous sequential machines via matrix approach, Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata, Robust set stabilization of Boolean control networks with impulsive effects, A real method for solving quaternion matrix equation \(\mathbf{X}-\mathbf{A}\hat{\mathbf{X}}\mathbf{B} = \mathbf{C}\) based on semi-tensor product of matrices, Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach, Minimum-Time State Feedback Stabilization of Constrained Boolean Control Networks, Matrix approach to detectability of discrete event systems, Semi-tensor product approach to networked evolutionary games, A Control Lyapunov Function Approach to Feedback Stabilization of Logical Control Networks, Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults, On the observability of free Boolean networks via the semi-tensor product method, A simple fault tolerant control for input/output asynchronous sequential machines, Coordinated corrective control for model matching of asynchronous sequential machines, Stability analysis of multi-valued logical networks with Markov jump disturbances, Pinning control design for robust output tracking of \(k\)-valued logical networks