Browsing by Subject "Finite-state machines (fsms)"
Now showing items 1-4 of 4
-
Article
Finite-state machine embeddings for nonconcurrent error detection and identification
(2005)In digital sequential systems that operate over several time steps, a state-transition fault at any time step during the operation of the system can corrupt its state and render its future functionality useless. Such ...
-
Article
Periodic and non-concurrent error detection and identification in one-hot encoded FSMs
(2004)State-transition faults in digital sequential systems, such as finite-state logic controllers, have traditionally been handled by embedding the given system into a larger one, in a way that preserves the state evolution ...
-
Article
Probabilistic approaches to fault detection in networked discrete event systems
(2005)In this paper, we consider distributed systems that can be modeled as finite state machines with known behavior under fault-free conditions, and we study the detection of a general class of faults that manifest themselves ...
-
Article
Probabilistic detection of FSM single state-transition faults based on state occupancy measurements
(2005)This note discusses a probabilistic methodology for detecting single permanent or transient functional changes in the state-transition mechanism of a deterministic finite-state machine (FSM). The associated probabilistic ...