The new state of the art for deterministic machine behavior
Introduction β From control thinking to the behavior model
Since the beginnings of automation, industrial control has been based on the principle of event reaction:
An input is read, a condition is checked, and an output is switched.
The classical PLC program follows this sequential way of thinking β it describes, what the control should do, not how the system must behave.
Over time these programs have become more complex, but they remained structurally unclear: they grow organically, each adjustment brings side effects, and hardly anyone can trace after years why a plant works exactly the way it does.
Selmo SEQ breaks with this tradition.
It describes machine behavior not as code, but as state model β a formally defined, deterministic system.
The control no longer thinks in instructions, but in states.
And each state is clearly describable, verifiable and reproducible.
Selmo thus introduces a new way of thinking:
away from implementation, toward the declaration of behavior.
One describes, how a machine should behave β and not, how it must be programmed.