Volume 4 Number 4
October 2007
Article Contents
Walter Hussak and Shuang-Hua Yang. Formal Reduction of Interfaces to Large-scale Process Control Systems. International Journal of Automation and Computing, vol. 4, no. 4, pp. 413-421, 2007. doi: 10.1007/s11633-007-0413-9
Cite as: Walter Hussak and Shuang-Hua Yang. Formal Reduction of Interfaces to Large-scale Process Control Systems. International Journal of Automation and Computing, vol. 4, no. 4, pp. 413-421, 2007. doi: 10.1007/s11633-007-0413-9

Formal Reduction of Interfaces to Large-scale Process Control Systems

  • Received: 2006-11-29
Fund Project:

This work was supported by the Royal Society in the UK (No.2004R1);An initial study appeared in Proceedings of IEEE International Conference on Systems,Man and Cybernetics,the Hague,Netherlands,pp.124-129,2004.

通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Abstract Views (3642) PDF downloads (1938) Citations (0)

Formal Reduction of Interfaces to Large-scale Process Control Systems

Fund Project:

This work was supported by the Royal Society in the UK (No.2004R1);An initial study appeared in Proceedings of IEEE International Conference on Systems,Man and Cybernetics,the Hague,Netherlands,pp.124-129,2004.

Abstract: A formal methodology is proposed to reduce the amount of information displayed to remote human operators at interfaces to large-scale process control plants of a certain type.The reduction proceeds in two stages.In the first stage,minimal reduced subsets of components,which give full information about the state of the whole system,are generated by determining functional dependencies between components.This is achieved by using a temporal logic proof obligation to check whether the state of all components can be inferred from the state of components in a subset in specified situations that the human operator needs to detect,with respect to a finite state machine model of the system and other human operator behavior.Generation of reduced subsets is automated with the help of a temporal logic model checker.The second stage determines the interconnections between components to be displayed in the reduced system so that the natural overall graphical structure of the system is maintained.A formal definition of an aesthetic for the required subgraph of a graph representation of the full system,containing the reduced subset of components,is given for this purpose. The methodology is demonstrated by a case study.

Walter Hussak and Shuang-Hua Yang. Formal Reduction of Interfaces to Large-scale Process Control Systems. International Journal of Automation and Computing, vol. 4, no. 4, pp. 413-421, 2007. doi: 10.1007/s11633-007-0413-9
Citation: Walter Hussak and Shuang-Hua Yang. Formal Reduction of Interfaces to Large-scale Process Control Systems. International Journal of Automation and Computing, vol. 4, no. 4, pp. 413-421, 2007. doi: 10.1007/s11633-007-0413-9
Reference (26)

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return