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 discreteR n este mulimea strilor continuef(.,.): 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: