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
- Chinese Journal of Chemical Engineering Vol. 16, Issue 1, Pages: 43-47(2008)
- Affiliations：
  
  Process Dynamics and Operations (dyn.), Department of Biochemical and Chemical Engineering, Technical University Dortmund, 44221. Dortmund,Germany
- Author bio：
- Funds：
- DOI：
  CLC：
- Published：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.
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

Views

2290

Downloads

CSCD

Alert me when the article has been cited

Submit

Tools

Publicity Resources

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

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

CFD-PBM simulation of liquid-liquid dispersions in an industrial pulsed disc and doughnut column with directly measured breakup and coalescence kernels

Enhanced plasma-catalytic steam reforming of methane to methanol on a hydrophobically modified Cu/silicalite-1 catalyst

Synthesis of chemiluminescent carbonized polymer dots under atmospheric conditions for multimode luminescence anti-counterfeiting

Related Author

No data

Related Institution

No data

⁰