Studiu de caz: Modelarea sistemelor hibride folosind Stateflow

Exemplul 1: Se consider un rezervor cu ap i se urmrete ca rezervorul s nu se

goleasc sau s se umple peste limit.

Graful de stare pentru acest sistem se prezint astfel:

=reprezinta intarzierea dintre momentul in care este trimisa comanda de pompare si

momentul in care ea este executata

Reprezentarea sistemului automat:

Q= multimea starilor discrete
R n este mulimea strilor continue
f(.,.): QX R n este un vector cmp;

: Q R n Q R n tranziii discrete

Simularea sistemului in Stateflow:

Reprezentarea rezervorului cu apa in Simulink :

In Stateflow:
Pentru simulare se va construi mai nti diagrama Stateflow. Aceasta va cuprinde 4 stri
discrete si anume: off, won, on, woff. Dup definirea diagramei ce are ca intrare variabila x i ieire
starea discret q, trebuie completat modelul Simulink cu ecuaiile ce descriu evoluia continu a
sistemului.

Blocul

este un subsistem ce descrie evoluia continu n funcie de starea select

cu urmtoarea configuraie:

Diagram Stateflow este: