ABSTRACT

The achieved results were shown by Wagner et al.

The basis of the Vfsm

method

is the concept of a

virtual environment,

which is defined by three

sets of names

:

Input names

representing control values

Output names

representing actions

State names

The Input and Output names represent pure control information derived from some real signals. To distinguish them from real signal values and to underline their abstract content, we consider and call them as virtual values. State names do not have any equivalents in the real world — they are a product of our imagination and help us to describe behavior. As such, there is no need to call them

virtual

but state names are by definition abstract and therefore fit perfectly into the virtual environment.