Model-based Design and Code Generation for Control

摘要

The paper presents a model-based method for generating control code for programmable logic controllers (PLC). First, a modular model of the uncontrolled plant behavior is established. We use Net Condition/Event Systems since these models allow very efficient modeling of rather large systems. This applies to plant as well as controller models as we show. The closed-loop behavior of the system under control can be verified using the tool SESA. If the controller design meets the specifications, it is automatically transformed into PLC code. We illustrate our method using a small but real physical example of a plant.