Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications

Sven Lohmann; Sebastian Engell

Your Location：

Home >

Browse articles >

Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications

Updated：2026-01-06

- Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications
- Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications
- 中国化学工程学报（英文版） 2008年16卷第1期页码：43-47
- Affiliations：
  
  Process Dynamics and Operations (dyn.), Department of Biochemical and Chemical Engineering, Technical University Dortmund, 44221. Dortmund,Germany
- Author bio：
- Funds：
- DOI：
  中图分类号：
- 纸质出版：2008
- Accepted：
Scan QR Code
Sven Lohmann, Sebastian Engell. Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications[J]. 中国化学工程学报（英文版）, 2008,16(1):43-47.

Sven Lohmann, Sebastian Engell. Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications[J]. , 2008, 16(1): 43-47.
Sven Lohmann, Sebastian Engell. Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications[J]. 中国化学工程学报（英文版）, 2008,16(1):43-47. DOI：

Sven Lohmann, Sebastian Engell. Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications[J]. , 2008, 16(1): 43-47. DOI：

摘要

Abstract

Today’s automation industry is driven by the need for an increased productivity

higher flexibility

andhigher individuality

and characterized by tailor-made and more complex control solutions. In the processing industry

logic controller design is often a manual

experience-based

and thus an error-prone procedure. Typically

thespecifications are given by a set of informal requirements and a technical flowchart and both are used to be directlytranslated into the control code. This paper proposes a method in which the control program is constructed as a sequential function chart (SFC) by transforming the requirements

via

clearly defined intermediate formats. For thepurpose of analysis

the resulting SFC can be translated algorithmically into timed automata. A rigorous verificationcan be used to determine whether all specifications are satisfied if a formal model of the plant is available which isthen composed with the automata model of the logic controller (LC).

关键词

Keywords

references

浏览量

2290

Downloads

CSCD

文章被引用时，请邮件提醒。

Submit

工具集

关联资源

Unraveling the methane decomposition mechanism on Fe-Ni-Ca-O composite catalysts: A combined density functional theory and microdynamic study

COS generation behavior during desulfurization for H2S over zeolite in simulated blast furnace gas

Tailoring the molecular structure of cross-linked poly(ethylene oxide) membranes for enhanced CO2 permeation

Nano-confinement construction of FeCo@NCNTs nanocomposite for pH-universal oxygen reduction catalysis and high-power Zn-air battery

Understanding temperature-dependent degradation in proton exchange membrane water electrolyzer: The critical role of porous transport layer