Efficient asynchronous simulation of a class of synchronous parallel algorithms
Journal of Computer and System Sciences
A soft-computing framework for fault diagnosis
Information Sciences: an International Journal - Intelligent manufacturing and fault diagnosis (II). Soft computing approaches to fault diagnosis
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation
Reaching fault diagnosis agreement on an unreliable general network
Information Sciences—Informatics and Computer Science: An International Journal
Fault diagnosis in discrete time hybrid systems - A case study
Information Sciences: an International Journal
Prediction-based diagnosis and loss prevention using qualitative multi-scale models
Information Sciences: an International Journal
Concurrent Error Detection Methods for Asynchronous Burst-Mode Machines
IEEE Transactions on Computers
Direct Implementation of Asynchronous Control Units
IEEE Transactions on Computers
Encoding fuzzy possibilistic diagnostics as a constrained optimization problem
Information Sciences: an International Journal
Fault detection and isolation based on fuzzy automata
Information Sciences: an International Journal
A new performance measure for characterizing fault rings in interconnection networks
Information Sciences: an International Journal
An efficient reconfiguration scheme for fault-tolerant meshes
Information Sciences: an International Journal
Calibrating embedded protocols on asynchronous systems
Information Sciences: an International Journal
Self-adaptive system for addressing permanent errors in on-chip interconnects
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Switching fault tolerant control design via global dissipativity
International Journal of Systems Science - Fault Diagnosis and Fault Tolerant Control
Average-case technology mapping of asynchronous burst-mode circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.07 |
This paper presents a control scheme for input/output asynchronous sequential machines with disturbance inputs. An unobservable and uncontrollable disturbance input can infiltrate into asynchronous machines and provoke unauthorized state transitions. We present the existence condition for a corrective controller that automatically counteracts the effects of disturbance inputs and restores desirable behavior to the controlled machine. Unlike input/state asynchronous machines, access to the machine's state is not available in the control procedure of input/output machines, so the control scheme requires state observation and fault detection modules. As a case study, the architecture of an asynchronous clock divider with the corrective controller is implemented and experimental verification on FPGA is provided for showing the applicability of the proposed controller.