Automata-based Programming (Shalyto's Approach) - Logical Control

Logical Control

In 1996 Russian Foundation for Basic Research in the context of publishing project #96-01-14066 had supported publishing of a book (Shalyto 1998), in which the offered technology was described in application to the logical control systems.

In such systems there are no events, but input and output actions are binary variables and operating system is working in the scanning mode. Systems of this class are usually to be implemented on programmable logic controllers, which have relatively small amount of memory and programming is to be performed using specialized languages (for example, the language of ladder schemes or functional blocks). Methods of formal source code generation for such languages were developed for the cases in which the specification of the project being developed is represented by a system of transition graphs of interacting automata (Shalyto 1998).

Read more about this topic:  Automata-based Programming (Shalyto's Approach)

Famous quotes containing the words logical and/or control:

    The logical English train a scholar as they train an engineer. Oxford is Greek factory, as Wilton mills weave carpet, and Sheffield grinds steel. They know the use of a tutor, as they know the use of a horse; and they draw the greatest amount of benefit from both. The reading men are kept by hard walking, hard riding, and measured eating and drinking, at the top of their condition, and two days before the examination, do not work but lounge, ride, or run, to be fresh on the college doomsday.
    Ralph Waldo Emerson (1803–1882)

    Teenage boys, goaded by their surging hormones ... run in packs like the primal horde. They have only a brief season of exhilarating liberty between control by their mothers and control by their wives.
    Camille Paglia (b. 1947)