Model matching of switched asynchronous sequential machines via matrix approach

DOI10.1080/00207179.2018.1441552MaRDI QIDQ5197948zbMATH OpenOpenAlexWikidataFDO

Authors Biao Wang, Min Meng, Jun-e Feng

Publication date 2 October 2019

Published in International Journal of Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207179.2018.1441552

zbMATH Keywords

asynchronous sequential machinesmodel matchingsemi-tensor productswitched systems

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Design techniques (robust design, computer-aided design, etc.) (93B51) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Model matching of input/state switched asynchronous sequential machines with the external switching signal
• Static feedback control of switched asynchronous sequential machines
• Model matching inclusion for input/state asynchronous sequential machines
• Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences
• Model matching of input/state asynchronous sequential machines with actuator saturation and bounded delays

Cites work

• \(l_{1}\)-gain analysis and model reduction problem for Boolean control networks
• A Linear Representation of Dynamics of Boolean Networks
• A note on observability of Boolean control networks
• Active learning of nondeterministic finite state machines
• An introduction to semi-tensor product of matrices and its applications
• Analysis and control of Boolean networks. A semi-tensor product approach.
• Asymptotic model matching for nonlinear systems
• Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Cycles of periodically time-variant Boolean networks
• scientific article; zbMATH DE number 3282328 (Why is no real title available?)
• Input-state incidence matrix of Boolean control networks and its applications
• Input/output control of asynchronous sequential machines
• Input/output control of asynchronous sequential machines with races
• Matrix Approach to Model Matching of Asynchronous Sequential Machines
• Mix-valued logic-based formation control
• Model matching for finite-state machines
• Modeling and Control of Switched Asynchronous Sequential Machines
• On input-revolving deterministic and nondeterministic finite automata
• On potential equations of finite games
• On reachability and controllability of switched Boolean control networks
• On the control of asynchronous machines with races
• On the control of asynchronous sequential machines with infinite cycles
• On the existence of minimum asynchronous automata and on the equivalence problem for unambiguous regular trace languages
• On the Hadamard product
• Output tracking control of Boolean control networks via state feedback: constant reference signal case
• Static feedback control of switched asynchronous sequential machines
• Switching and Finite Automata Theory

Cited in

(16)

• 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
• Efficient static corrective control for model matching and fault tolerance of asynchronous sequential machines
• State feedback corrective control with a self-repair scheme against transient faults
• Modeling and Control of Switched Asynchronous Sequential Machines
• Static feedback control of switched asynchronous sequential machines
• Stability and stabilisation of networked pairing problem via event-triggered control
• Model Matching for Asynchronous Sequential Machines with Uncontrollable Inputs
• Matrix Approach to Model Matching of Asynchronous Sequential Machines
• Model matching of input/state switched asynchronous sequential machines with the external switching signal
• Controllability and set controllability of periodically switched Boolean control networks
• Design and implementation of robust corrective control systems with permanent sensor faults
• Input/output corrective control of switched asynchronous sequential machines under arbitrary switching
• Static corrective control with model matching indicator and its application to payload data managers
• Attack-resilient corrective control of nondeterministic asynchronous sequential machines and its application to a space-borne digital system
• Model matching inclusion for input/state asynchronous sequential machines

This page was built for publication: Model matching of switched asynchronous sequential machines via matrix approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5197948)