-P- -P- -P- -P- -P- This is a stochastic hybrid system modeling hysteresis where the time it takes to react to a threshold crossing is random. Specifically, when the sinewave crosses the lowThreshold going down, then after a random delay, the output goes low. When the sinewave crosses the highThreshold going up, then after another random delay, the output goes high. This is an explicitly Monte Carlo model corresponding to a common hybrid systems model where guards enable transitions rather than triggering transitions. Such models are nondeterministic. HyVisual requires that such nondeterministic models be explicitly given as Monte Carlo models. State machine with one state for each output value plus a state that models the time it takes to make a transition. In this model, the time it takes to make the transition is random. It is uniformly distributed between zero and the value of the maximumDelay parameter. Note that all four states, high, low, wait1, and wait2, have the same refinement, called "constant" which outputs a constant. In addition, the two wait states have a second refinement called "wait" that triggers an event after a specified time. -P- Create a constant sequence. -P- Create a constant sequence. TimedPlotter ?>