New State machine tutorial

Thanks this is just what i was looking for to translate a growing messy project into something reasonable.

I haven't done the exercises leading up to the elevator problem. I just started trying to solve it but it is tougher than I expected. Esp. the part of taking button presses and responding to them as the elevator is moving in the same direction as the request. Sounds like a queue needs to be used but I will go through the tutorials.

In the TwoStateMachines.ino of Part1 tutorial this routine:

void switchMachine() {
byte pinIs = digitalRead(switchPin);
if (switchMode == PULLUP) pinIs = !pinIs;
switch (switchState) {
case IS_OPEN: { if(pinIs == HIGH) switchState = IS_RISING; break; }
case IS_RISING: { switchState = IS_CLOSED; break; }
case IS_CLOSED: { if(pinIs == LOW) switchState = IS_FALLING; break; }
case IS_FALLING: { toggleMachine(); switchState = IS_OPEN; break; }
}

Turns the led off but how does the Led get turned on again ?

Hi,

In fact, it is toggleMachine() that turns the LED on and/or off.

Jacques

Hello Jacques,

Just finished part 2, vending machine & traffic light. I am getting a good handle on state machines. This is

something I have meaning to spend some time learning. Thank you.

I was thinking the led should represent the switch state ie. be on when the switch is closed and off when the switch is open. or visa versa depending on pullups.

The way it is now each time the switch state enters IS_FALLING it is toggled. So for the same state it is on then the next time it enters it is off.

Is that what you intended ?

Hello Jacques
I like Your documentation. I am teaching Electronics/IOT/Network on a 2 year programme, so I would like to hear if You will allow me to use your material. I have allready done a bit of writing and the contents looks much like what you have done. My examples are : the blinkmachine, the vending machine, the elevator, and I also like the "two hand safety machine" illustrated in this video :

You have some excellent videos. I subscribed. Thanks

kajnorman:
Hello Jacques
I like Your documentation. I am teaching Electronics/IOT/Network on a 2 year programme, so I would like to hear if You will allow me to use your material. I have allready done a bit of writing and the contents looks much like what you have done. My examples are : the blinkmachine, the vending machine, the elevator, and I also like the "two hand safety machine" illustrated in this video :
https://www.youtube.com/watch?v=LVToQDLEsVE

Hi kajnorman,

I would love to see your documentation.

Jacques

Good Day Jacques,

I just dove into state machines and while i am limited to programming i have some latter logic from the 80-90s of GE fanuc PLC. I think this type of "thinking" suites my personal way of creating arduino code. I am currently reviewing and trying to understand the part 1 state tutorial but got stuck.

The switch machine (Notice the change in the IS_FALLING state):
void switchMachine() {
byte pinIs = digitalRead(switchPin);
if (switchMode == PULLUP) pinIs = !pinIs;
switch (switchState) {
case IS_OPEN: { if(pinIs == HIGH) switchState = IS_RISING; break; }
case IS_RISING: { switchState = IS_CLOSED; break; }
case IS_CLOSED: { if(pinIs == LOW) switchState = IS_FALLING; break; }
case IS_FALLING: { toggleMachine(); switchState = IS_OPEN; break; }
}
}
START
FALLING
OPEN
RISING
CLOSED
digitalRead(pin) == HIGH
digitalRead(pin) == LOW
TRUE
TRUE
OFF
ON
START
TRUE
TRUE
The setup:
void setup() {
pinMode(ledPin, OUTPUT);
digitalWrite(ledPin, HIGH);
if (switchMode == PULLDOWN) pinMode(switchPin, INPUT);
else pinMode(switchPin, INPUT_PULLUP);
}

I understand that you are giving the code the option to swtich modes dependent on pullup or pulldown but i cannot rap my head around what is occuring at each case. Can you help me understand this part of the logic?

Thanks Art, i appreciate the time to make the tutorial it has open my eyes to much simple and cleaner arduino projects.

Hello Jacques,
first of all your tutorial is great. For the last two weeks I am trying to find a way for a project, I discovered State Machine and I saw that there is a solution there but now, with your tutorial I am sure that I have to walk in this direction.
I would ask you please for a clue. How I should manage the state machine statement if I have more control devices, in my case I have a motor and its behavior depends of one sensor and two buttons. Sensor always start and stop, and the buttons change direction.
Any suggestion will be very welcome and thank you again for the tutorial

edgardo

Hi @echigard,

Then you have a motor with 3 states : running CW, stopped and running CCW
You would probably want to rember the last direction your motor was running before it was stopped. (last running state)

The sensor changes the state of the motor's state as:

  • if the state is (runningCW or running CCW) then {last running state = motor's state; motor's state = stopped}
  • else: the motor's state is the last running state.

button1 state falling -> motor state : running CW
button2 state falling -> motor state : running CCW

Jacques

Hi @cyrut2,

Read this first.

PullUp is just the exact opposite of PullDown. hence:if (switchMode == PULLUP) pinIs = !pinIs;
If the mode is pullup, pinIs = not pinIs

Jacques

Hello,

Thanks for the tutorial sir, its very helpfull.

Btw, i want to ask you on Part 1 files > TwoStateMachines

enum LedStates{ON, OFF};

*what is [enum] function?

Hi,
its was great!
Thanks for sharing :slight_smile:

I have enjoyed reading the example PDF’s. Very helpful!
I think that there is an error in Part 1, p. 9. The case IS_FALLING should start with a call to toggleMachine() as shown in the c++ files. Without this it is not different from the previous example.

Very grateful for this Jacgues.

It is best that you make all of your time variables for a use the same size unsigned integers. The lower 8 or 16 bits of millis() and micros() returns work fine as timers with limited max intervals.

I have a button class that debounces using 8 bit time variables. They take less room and use fewer cycles.

16 bit unsigned millis() is good to over a minute, Arduino variable type is word.

The compiler might not turn our mixed-math source into what we think it will in all circumstances.

Have you seen Nick Gammon's state machine example in his tutorial on reading text without blocking? It's at the 2nd address in my sig space.

Hi,
Thanks for the push on State Machines. I once told the vendor of a $200,000 semiconductor tool that we wouldn't buy it until they provided us with a State Machine diagram of the factory communications interface. They grumbled for 3 months, sent the diagram, and said "Oh, there's a major upgrade of the software we just installed".

Here's a State Machine example for a Traffic Light that includes vehicle detection on the side street and a Walk request button. This is in a preprogrammed example package for young kids starting to connect hardware to Arduino.

Awww. it didn't fit in 9000 bytes. Ummm...

OK, put it on my wiki here: (NOT good formatting. I will figure it out.. )

https://arduinoinfo.mywikis.net/wiki/Easy-Connect-Software-Outline

Scroll down to last example..

Welease_Woggah:
Bit of a leap of faith to think that someone new to FSMs will know what an enum is.

Why is that?

An enum is a variable type which is present in many programming languages and is not more related to FSMs than any other variable types.

This is a very cool tutorial. I've been doing it somewhat sloppily the past few years, and this may help clean up my act. Also motivates me to look for and/or (eventually) come up with an object oriented version.