Automatic defensive control of asynchronous sequential machines
From MaRDI portal
Publication:2792709
DOI10.1080/00207179.2015.1064547zbMath1332.93268OpenAlexW1545603538MaRDI QIDQ2792709
Publication date: 14 March 2016
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207179.2015.1064547
Nonlinear systems in control theory (93C10) Control/observation systems involving computers (process control, etc.) (93C83) Discrete-time control/observation systems (93C55)
Related Items (13)
Efficient static corrective control for model matching and fault tolerance of 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 ⋮ Design and implementation of robust corrective control systems with permanent sensor faults ⋮ Fault tolerant control for a class of interconnected asynchronous sequential machines ⋮ State feedback corrective control with a self-repair scheme against transient faults ⋮ 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 corrective control of asynchronous sequential machines with control input and feedback faults ⋮ Fault tolerant control of asynchronous sequential machines with transient faults in non-fundamental mode ⋮ Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults ⋮ Coordinated corrective control for model matching of asynchronous sequential machines
Cites Work
- Unnamed Item
- Model matching inclusion for input/state asynchronous sequential machines
- Compositionally progressive solutions of synchronous FSM equations
- Bisimulation, the supervisory control problem and strong model matching for finite state machines
- A discrete event systems approach for protocol conversion
- Bursts and output feedback control of non-deterministic asynchronous sequential machines
- State feedback control of asynchronous sequential machines with adversarial inputs
- Input/output control of asynchronous sequential machines with races
- Control of Infinite Behavior of Finite Automata
- Model matching for finite-state machines
- On the corrective control of sequential machines
- Asynchronous sequential machines with adversarial intervention: the use of bursts
- On the control of asynchronous machines with races
- Input/output control of asynchronous sequential machines
- On the control of asynchronous sequential machines with infinite cycles
This page was built for publication: Automatic defensive control of asynchronous sequential machines
