<< Click to Display Table of Contents >> Navigation: Welcome to Selmo > Method > Comparison of the models in relation to the quality criteria |
An important factor for the control algorithm is that each input vector in the control device leads to a defined result. This means that different signal vectors can be formed for binary input signals
. Since this is possible for each subsequent step, an unmanageable number of possible input sequences can be defined. This is a decisive factor for simulation and testing.
The simulation of an automaton is understood to be the calculation of the sequence of states and the associated output sequence
, which is obtained starting from the initial state on the basis of the input sequence
.