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:

    Opera, next to Gothic architecture, is one of the strangest inventions of Western man. It could not have been foreseen by any logical process.
    Kenneth MacKenzie Clark, Baron of Saltwood (1903–1983)

    Every expansion of government in business means that government in order to protect itself from the political consequences of its errors and wrongs is driven irresistibly without peace to greater and greater control of the nation’s press and platform. Free speech does not live many hours after free industry and free commerce die.
    Herbert Hoover (1874–1964)