会议专题

DESIGN APPROACH OF DISTRIBUTED SYSTEMS FOR THE CONTROL OF INDUSTRIAL PROCESS

This article describes a methodological approach to the design of distributed systems for the control of industrial process. The designer tackles the problem by specifying the behaviour of the process rather than by specifying a solution. In this way he defines the “what to control. This specification can then be converted not only into a Petri net to allow the checking of certain properties of the described behaviour, but also into a logical network of communicating modules which defines the logical structure of the process control system. In both cases, the rules of conversion are direct and simple.

Control system Industrial processes Physical processes Temporal dependence Petri nets

D. Boudebous J. Boukachour S. Benmansour N. Smata

Laboratory CERENE, ISEL quai Frissard BP 1137 76603, Le Havre cedex,France

国际会议

13th International Conference on Enterprise Information System(第13届企业信息系统国际会议 ICEIS 2011)

北京

英文

227-234

2011-06-08(万方平台首次上网日期,不代表论文的发表时间)