ABSTRACT
Stateflow software is the extension of Simulink® and serves as a tool for model building and event-driven hybrid system simulation based on Harel’s Statecharts [1–5]. In Harel’s formalism the discrete variable q = {q1…, qk} finds congruence in Q = {Q1,…, Qk} set of graph nodes (states), one of them being marked as a starting node. Graph nodes are joined by {Qi, Qj} arcs demonstrating what new state can be attained by the statechart at the advent of some preset events. In other words, the statechart key elements are the States and the Transitions. The events are described by predicates over a set of variables, X = {x1,…, xm}, whose true values are treated as the transition functioning conditions. The predicates are called the state change conditions. If X = {x1,…, xm} are continuous variables describing the behavior of the q parameter-dependent dynamical system, then the predicates isolate specific events in its phase space. The statechart operates in continuous time and is the dynamic–system description element.
