Hybrid Sequential Function Charts

Sequential function charts are a popular formalism to specify programmable logic controllers. However, in the absence of the controlled system, verification of sequential function charts can only consider the controller’s behavior, but cannot tell anything about the controlled system. In this paper we propose an extension of the language to additionally… CONTINUE READING