Abstract
The use of programmable logic controllers involves the design, development and generation of programs supervising concurrent, pipeline-like flowing processes. In this paper special attention is paid to the method of automatic synthesis of control programs. In particular, the synchronization mechanism involved in the control procedure operation is outlined and a formal framework capable to describe the automatic generation of programs is developed. It is shown that the approach introduced allows for both the direct implementation in the computer language, and provides a mathematical basis for the searching of dynamic properties of admissible controls. Consequently, the results provided can be applied in the course of the adaptive control design as well as in the computer aided validation of the processes performance.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
