Browsing by Subject "State occupancy measurements"
Now showing items 1-1 of 1
-
Conference Object
Probabilistic fault detection in finite-state machines based on state occupancy measurements
(2002)This paper discusses a probabilistic methodology for detecting permanent or transient functional changes in the state-transition mechanism of a deterministic finite-state machine (FSM). The associated detector observes the ...