Input/output control of asynchronous sequential machines

DOI10.1109/TAC.2005.860293MaRDI QIDQ5274236zbMATH OpenOpenAlexFDO

Authors Xiaojun Geng, Jacob Hammer

Publication date 12 July 2017

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

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

Mathematics Subject Classification ID

Controllability (93B05) Discrete event control/observation systems (93C65)

Cited in

(36)

• Control design for nondeterministic input/output automata
• Exact fault recovery for asynchronous sequential machines with output bursts
• Bursts and output feedback control of non-deterministic asynchronous sequential machines
• 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
• Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults
• Coordinated static control of 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
• Fault tolerant control of asynchronous sequential machines with transient faults in non-fundamental mode
• A simple fault tolerant control for input/output asynchronous sequential machines
• Automatic defensive control of asynchronous sequential machines
• Static state feedback control of asynchronous sequential machines
• Modeling and Control of Switched Asynchronous Sequential Machines
• State feedback control of asynchronous sequential machines with adversarial inputs
• Input/output control of asynchronous sequential machines with races
• Adaptive control of asynchronous sequential machines with state feedback
• Asynchronous sequential machines with adversarial intervention: the use of bursts
• Coordinated corrective control for model matching of asynchronous sequential machines
• Static feedback control of switched asynchronous sequential machines
• Model matching of switched asynchronous sequential machines via matrix approach
• On the control of asynchronous sequential machines with infinite cycles
• Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system
• 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
• 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
• Optimal control of asynchronous sequential machines
• Calculating skeleton matrix of asynchronous sequential machines based on the semi-tensor product of matrices
• Matrix approach to model matching of composite asynchronous sequential machines
• Static corrective control for asynchronous sequential machines and its application to on-board computers
• 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
• Multi-modal corrective control for input/state asynchronous sequential machines and its FPGA implementation
• Output feedback control of asynchronous sequential machines with disturbance inputs

This page was built for publication: Input/output control of asynchronous sequential machines

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