Automatic defensive control of asynchronous sequential machines
From MaRDI portal
Recommendations
- State feedback control of asynchronous sequential machines with adversarial inputs
- Asynchronous sequential machines with adversarial intervention: the use of bursts
- Robust corrective control against a class of actuator attacks in input/state asynchronous sequential machines
- A simple fault tolerant control for input/output asynchronous sequential machines
- Input/output control of asynchronous sequential machines with races
Cites work
- A discrete event systems approach for protocol conversion
- Asynchronous sequential machines with adversarial intervention: the use of bursts
- Bisimulation, the supervisory control problem and strong model matching for finite state machines
- Bursts and output feedback control of non-deterministic asynchronous sequential machines
- Compositionally progressive solutions of synchronous FSM equations
- Control of Infinite Behavior of Finite Automata
- scientific article; zbMATH DE number 3598362 (Why is no real title available?)
- Input/output control of asynchronous sequential machines
- Input/output control of asynchronous sequential machines with races
- Model matching for finite-state machines
- Model matching inclusion for input/state asynchronous sequential machines
- On the control of asynchronous machines with races
- On the control of asynchronous sequential machines with infinite cycles
- On the corrective control of sequential machines
- State feedback control of asynchronous sequential machines with adversarial inputs
Cited in
(19)- Fault tolerant control for a class of interconnected 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
- 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
- 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
- Asynchronous sequential machines with adversarial intervention: the use of bursts
- Coordinated corrective control for model matching of asynchronous sequential machines
- scientific article; zbMATH DE number 5587278 (Why is no real title available?)
- 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
- Optimal control of asynchronous sequential machines
- Attack-resilient corrective control of nondeterministic asynchronous sequential machines and its application to a space-borne digital system
- Fault recovery for cascaded asynchronous sequential machines
This page was built for publication: Automatic defensive control of asynchronous sequential machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2792709)
