Studiu de caz: Modelarea sistemelor hibride folosind „Stateflow”

Exemplul 1: Se consideră un rezervor cu apă şi se urmăreşte 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

1
Reprezentarea sistemului automat:

Q= multimea starilor discrete

R n este mulţimea stărilor continue

f(.,.): Q×X→ R n este un vector câmp;

φ: Q× R n→ Q× R n tranziţii discrete

2
Simularea sistemului in Stateflow:

Reprezentarea rezervorului cu apa in Simulink :

3
4
 In Stateflow:

Pentru simulare se va construi mai întâi diagrama Stateflow. Aceasta va cuprinde 4 stări
discrete si anume: off, won, on, woff. După definirea diagramei ce are ca intrare variabila x şi ieşire
starea discretă q, trebuie completat modelul Simulink cu ecuaţiile ce descriu evoluţia continuă a
sistemului.

Blocul este un subsistem ce descrie evoluţia continuă în funcţie de starea selectă

cu următoarea configurație:

Diagram Stateflow este:

5
6