On the control of asynchronous machines with races

DOI10.1109/TAC.2003.812814zbMath1364.93477MaRDI QIDQ5266838

Jacob Hammer, Thomas E. Murphy, Xiaojun Geng

Publication date: 20 June 2017

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

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Discrete event control/observation systems (93C65)

Related Items (32)

Coordinated static control of asynchronous sequential machines ⋮ Efficient static corrective control for model matching and fault tolerance of asynchronous sequential machines ⋮ Adaptive control of asynchronous sequential machines with state feedback ⋮ Bursts and output feedback control of non-deterministic asynchronous sequential machines ⋮ 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 ⋮ Output feedback control of asynchronous sequential machines with disturbance inputs ⋮ Static state feedback control of asynchronous sequential machines ⋮ Bisimulations of Boolean Control Networks ⋮ 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 ⋮ Exact fault recovery for asynchronous sequential machines with output bursts ⋮ Fault-tolerant control of a class of asynchronous sequential machines with permanent faults ⋮ State feedback control of asynchronous sequential machines with adversarial inputs ⋮ Input/output control of asynchronous sequential machines with races ⋮ State feedback corrective control with a self-repair scheme against transient faults ⋮ Static feedback control of switched 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 ⋮ Asynchronous sequential machines with adversarial intervention: the use of bursts ⋮ Model matching inclusion for input/state asynchronous sequential machines ⋮ Automatic defensive control of asynchronous sequential machines ⋮ Robust corrective control of asynchronous sequential machines with control input and feedback faults ⋮ Model matching of switched asynchronous sequential machines via matrix approach ⋮ Fault tolerant control of asynchronous sequential machines with transient faults in non-fundamental mode ⋮ On the control of asynchronous sequential machines with infinite cycles ⋮ Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults ⋮ Reduction and Analysis of Boolean Control Networks by Bisimulation ⋮ Inference in a structural heteroskedastic calibration model ⋮ A simple fault tolerant control for input/output asynchronous sequential machines ⋮ Coordinated corrective control for model matching of asynchronous sequential machines

This page was built for publication: On the control of asynchronous machines with races