Development of a distributed process control programming tool for function block description

In distributed control systems(DCS), since the entire of designed distributed controllers, which interact complicatedly, each other operated plants. Therefore, in the development of the system, verification whether the controllers satisfy given specification is important. However, the existing description languages, for example, temporal interval, are too complicated to formulize the specification.In this paper, first, Sequence Oriented Language (SOL), which is intelligible language in order to describe specification for distributed sequential control systems, is proposed.Secondly, we developed a tool for it. In this method, Tool automatically verify that behavior of models satisfies specifications which is described by using SOL.

show abstract

Design and validation of distributed control with decentralized intelligence in process industries: A survey

Yang

Vyatkin

2008

2008 6th IEEE International Conference on Industrial Informatics

View full text Add to dashboard Cite

-This paper presents an overview of the works on design and validation of distributed control in process industry. Due to the significant market demand for distributed reconfigurable systems, not just in manufacturing industry but also in process industry, several researches are undertaken to look at the design techniques in implementation of such a decentralized control approach. It has shown that a distributed control can bring benefits such as flexibility, reconfigurability and software reusability. International standards such as IEC61499 and IEC61804 are established for such distributed application with newly introduced Function Block (FB) concepts. Intelligent control and multi-agents approach are emerging techniques for distributed control application. In particular, a process control system is generally considered as a hybrid system because it usually contains both discrete and continuous dynamics. Therefore when handling validation of distributed systems, hybrid verification and simulation will have an important role.

show abstract

Development of a distributed process control programming tool for function block description

Cited by 4 publications

References 0 publications

Application of specification language SOL and its verification method to a flexible manufacturing line

Application of specification language SOL and its verification method to a flexible manufacturing line

Intelligible description language and its rapid verification method for design support of distributed sequential control systems

Design and validation of distributed control with decentralized intelligence in process industries: A survey

Contact Info

Product

Resources

About