Matrix Approach to Model Matching of Asynchronous Sequential Machines
From MaRDI portal
Publication:5353417
DOI10.1109/TAC.2013.2259957zbMath1369.93354OpenAlexW1971318969MaRDI QIDQ5353417
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 (45)
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
This page was built for publication: Matrix Approach to Model Matching of Asynchronous Sequential Machines