EE200_Weber_9-11

EE200_Weber_9-11 - EE 200 Infinite State Machines A state...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
1 EE 200 Infinite State Machines A state machine is define by a five-tuple M = (States, Inputs, Outputs, update, initialState) Assumptions: We can have an infinite number of states. The input set, output set and state space are numeric sets so we can work with them mathematically. States, s(n), are N-tuples in Real N Inputs, x(n), are M-tuples in Real M Outputs, y(n), are K-tuples in Real K
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 EE 200 Infinite State Machines Each state the system can be in is defined by a collection of N real numbers, not a just a single value. Each input to and output from the system are a collection of M or K real numbers. The update function is defined as update: Real N × Real M Real N × Real K Or separately update = (nextState, output) nextState: Real N × Real M Real N output: Real N × Real M Real K
Background image of page 2
3 EE 200 Infinite State Machines For a input sequence of M-tuples (x(0), x(1), x(2), …) the state update equation n Integers, n 0, s(n+1) = nextState(s(n), x(n)) generates a state response of N-tuples (s(1), s(2), s(3), … ), and an output equation n Integers, n 0, y(n) = output(s(n), x(n)) generates an output response of K-tuples (y(0), y(1), y(2), … ). The state update equation and output equation together are the state-space model of the system.
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
4 EE 200 Infinite State Machines The state update and output equations can both be viewed as collections of equations, one for each element of the tuple: nextState(s,x) = (nextState 1 (s,x), … , nextState M (s,x)) output(s,x) = (output 1 (s,x), … , output K (s,x)) where nextState i (s,x): Real N × Real M Real, i = 1, … , M output i (s,x): Real N × Real M Real, i = 1, … , K
Background image of page 4
5 EE 200 Infinite State Machines
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 20

EE200_Weber_9-11 - EE 200 Infinite State Machines A state...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online