Software for Computer Control is a collection of papers and lectures presented at the Second IFAC/IFIP Symposium on Software for Computer Control, held in Prague, Czechoslovakia in June 1979. The symposium is organized with the hope of making vital contributions to the development of the computer sciences. The text focuses on the design and programming of process control systems used in various industrial processes and experiments. Topics covered include communication control in computer networks; program generators for process control applications; methods for the design of control software; presentations on software for microprocessors; real-time languages; algorithms for computer control; and applications of computer control in sciences. Computer scientists, systems analysts, programmers, and students of computer science will benefit from this book.

Software for Computer Control 1982 covers the proceedings of the Third IFAC/IFIP Symposium. The book discusses the state of software development for digital computer applications for science and control. With a total of 73 papers, the book covers topics such as real-time language and operating systems; man-machine communication software; software for robots; software for distributed control systems; C.A.D. of digital computer controls systems; algorithms for digital computer control; control software engineering and management; and industrial applications. Computer scientists, engineers, and I.T. professionals will find this book interesting, since it provides discussions on the various applications of computer programs.

This volume studies the advances of software for computers, their development, applications and management. Topics covered include software project management, real time languages and their uses, and computer aided design techniques. The book also discusses how far artificial intelligence is integrated with business and industry to give a complete overview of the role of computer systems today.

Distributed Computer Control Systems: Proceedings of the IFAC Workshop, Tampa, Florida, U.S.A., 2-4 October 1979 focuses on the design, processes, methodologies, and applications of distributed computing systems. The selection first discusses the use of distributed control systems for facility energy management, including space conditioning control, plant design, central plant control, and system design. The book then takes a look at programming distributed computer systems with higher level languages. Topics include design of an application programming language for distributed computing systems; realization of a suitable programming language for distributed computing systems; and optimal structure and capabilities of an automatic control system. The text focuses on the similarities and differences of distributed computer control systems; transaction processing as an efficient conceptual framework for comparing and understanding distributed systems; and multi-processor approach for the automation of quality control in an overall production control system. The selection also deals with transaction processing in distributed control systems; parallel processing for distributed computer control systems; and design and development of distributed control systems. The book is a vital source of data for readers interested in distributed computing.

Safety of Computer Control Systems 1983: Achieving Safe Real Time Computer Systems contains the proceedings of the Third IFAC/IFIP Workshop held at Cambridge, UK on September 20-22, 1983. Composed of 36 chapters, separated into the eight sessions of the workshop, this book begins with a discussion of the safety and reliability of computer control systems. Subsequent chapters explore the systems design for safety and reliability; fault tolerance, recovery, and use of redundancy; and aspects of fault tolerance for system reliability. Other chapters detail specification techniques; system development and quality assurance; verifications and validations; case studies; as well as scheduling, networks, and communications.

The focus of the workshop was on recent advances in the theory, applications and techniques for distributed computer control systems. Topics included: tools and methods for inner layers of DCCS; application papers presenting operational DCCS; the infiltration of true real-time or "time critical" concepts and the emergence of artificial intelligence methods in DCCS applications, leading to novel computer architectures being integrated in computer networks. The book will be of interest not only to those involved in DCCS but also software engineers and distributed computing scientists.

The market for safe, secure and reliable computer systems is expanding continuously and these Proceedings provide an opportunity to review the growth during the last decade and identify skills and technologies required for continued development in the area. The papers cover the experiences gained from specifying, creating, operating, and licensing computers in safety, security and reliability related applications. There are reviews of guidelines and industrial applications, with a section covering methods and tools used in designing, documenting, analysing, testing and assessing systems dependent on the SAFECOMP factors.

This seventh IFAC workshop on distributed control systems (DCCS) discusses the ideas of real-time synchronization and data consistency in industry, with emphasis on the Manufacturing Automation Protocol (MAP). The volume also debates the gulf between the computer scientist's approach to language and the needs of the application programmer. In addition to treating relevant topics, each session has an introductory paper and a panel discussion, to give a complete picture of the progress and research in this computer field today.

Focuses on recent advances in the theory, applications and techniques for distributed computer control systems. Topics covered include: DCCS applications and case studies, DCCS communications, architectural considerations in DCCS, DCCS tools for design and development, DCCS communication management, function and resource allocation in DCCS, design methodologies for DCCS, DCCS applications and systems. Contains 22 papers.

Techniques such as dead time compensation, adaptive control and Kalman filtering have been around for some time, but as yet find little application in industry. This is due to several reasons, including: Articles in the literature usually assume that the reader is familiar with a specific topic and are therefore often difficult for the practicing control engineer to comprehend. Many practicing control engineers in the process industry have a chemical engineering background and did not receive a control engineering education. There is a wide gap between theory and practical implementation, since implementation is primarily concerned with robustness, and theory is not. The user therefore has to build an "expert shell" in order to achieve the desired robustness. Little is published on this issue, however. This book tries to promote the use of advanced control techniques by taking the reader from basic theory to practical implementation. It is therefore of interest to practicing control engineers in various types of industries, especially the process industry. Graduate and undergraduate students in control engineering will also find the book extremely useful since many practical details are given which are usually omitted in books on control engineering. Of special interest are the simulation examples, illustrating the application of various control techniques. The examples are available on a 5-1/4" floppy disk and can be used by anyone who has access to LOTUS 1-2-3. Chapter 1 is the introduction; Chapters 2 through 6 deal with distributed control system networks, computer system software, computer system selection, reliability and security, and batch and continuous control. Chapter 7 gives and introduction to advanced control. Chapters 8 through 11 deal with dead time compensation techniques and model identification. Chapters 12 through 14 discuss constraint control and design, and the adjustment and application of simple process models and optimization. Chapter 15 gives a thorough introduction to adaptive control, and the last two chapters deal with state and parameter estimation. This book is a valuable tool for everyone who realizes the importance of advanced control in achieving improved plant performance. It will take the reader from theory to practical implementation.