Hybrid Sequential Function Charts
Johanna Nellen, Erika Ábrahám · RWTH Publications (RWTH Aachen) · 2012
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 model the continuous dynamics of the controlled system. We give syntax and semantics of this hybrid extension for sequential function charts and define a reachability-preserving transformation to hybrid automata.