Hybrid systems modelling and validating using Statecharts and Grafcet

Abstract

The Statechart and Grafcet synchronous models are compared in view of their application to the control of hybrid systems. The Cruise Control case study emphasises the specific features and similarities of both methods. The simulation of the Grafcet model uses an original algorithm. Issues about the coherent management of variables in hybrid systems are raised.