Introducere

Se d un SED definit dup cum urmeaz:

fie un sistem real;
fie un model matematic care descrie funcionarea unui sistem a crei evoluie este
raportat la apariia unui eveniment real.

Astfel, producerea evenimentelor joac rolul de cauz pentru dinamica sistemului i are drept efect
modificarea strilor sistemului, evideniind o similitudine cu modelele tip I-S-E ale sistemelor
continue sau discrete n timp (chiar i n cazul unui SED se poate vorbi despre o funcie de tranziie
a strilor, care formalizeaz riguros faptul c sistemul trece dintr-o stare n alta numai ca urmare a
producerii unui eveniment i c sistemul pstreaz starea n care se afl pn la producerea unui nou
eveniment).

Analogia cu sistemele continue sau discrete n timp, la care referirea se va face sub denumirea de
sisteme clasice, trebuie utilizat concomitent cu nelegerea deosebirilor privind interpretarea
cauzal a comportrii. Astfel:
n cazul sistemelor clasice, cauzele i efectele sunt valorile unor semnale care acoper
intervale (au cardinalitatea lui R);
n cazul sistemelor SED, mulimea evenimentelor ce pot aprea, precum i mulimea
strilor n care poate tranzita, sistemele sunt discrete (de tip N cardinalitatea lui N);
dinamica sistemelor clasice este raportat la un ceas sincron ce msoar scurgerea
uniform a timpului (continuu sau discret);
dinamica SED se raporteaz la un ceas asincron care marcheaz succesiunea
evenimentelor i, nu obligatoriu, momentele de producere a acestora.

Modelele de tip ecuaii difereniale, sau cu diferene, specifice modelelor clasice, sunt neadecvate
descrierii dinamicii pilotate de evenimente (se folosesc instrumente matematice de alt factur).

A existat o direcie proprie de cercetare SED n ultimii 15 ani, cu impact considerabil asupra
dezvoltrii tehnologice din diverse arii de inginerie:

Pag. 1
 sisteme de fabricaie;
sisteme de transport;
sisteme de comunicaie;
sisteme de operare i platforme software dedicate;
control de tip procedural a numeroase clase de procese automatizate.
Resursele domeniului SED provin din spectrul informaticii teoretice i a matematicii aplicate. Cele
mai importante sunt:
teoria automaticii i a limbajelor formale;
tina RP;
teoria sistemelor de ateptare;
analiza perturbaiilor.

1.1. Terminologii i concepte de baz

SED constituie o clas de sisteme dinamice neliniare a cror investigaie necesit instrumente
matematice proprii, diferite de ecuaiile difereniale sau de ecuaiile cu diferene, utilizate curent n
teoria i practica reglrii automate. Conceptul de SDED este introdus plecnd de la noiuni i tipuri
de comportri care se presupun cunoscute celor familiarizai cu domeniile de studiu tradiionale
automatiste.

n automatica clasic, formalizarea matematic este orientat asupra modelelor cu stri continue,
pentru care spaiul strilor este o mulime a lui n. Reprezentrile de stare liniare sau neliniare,
continue n timp sau discrete n timp, constituie binecunoscute exemple de astfel de modele, utilizate
n studierea fenomenelor fizico-tehnice i nu numai. Totui, acest mod de a privi i nelege
modelarea proceselor nu este unic, ntruct nenumratele aplicaii practice pun n eviden sisteme
pentru care spaiul strilor este o mulime discret numrabil (finit sau nu).

Modelele matematice de tip I-E sau I-S-E, continue sau discrete n timp, sunt guvernate de o
variabil independent, cu semnificaie temporal. Astfel, evoluia acestor modele se raporteaz la
timpul continuu sau discret care se scurge ntr-o manier uniform.
Sistemele cu stri discrete pot pune ns n eviden o comportare guvernat de evenimente
asincrone, care se petrec la momente de timp repartizate neuniform.

Pag. 2
Un SDED este un sistem dinamic caracterizat printr-un spaiu discret al strilor i prin traiectorii de
stare continue pe poriuni. Modificrile de stare se numesc tranziii i survin ca urmare a apariiei
evenimentelor, n mod asincron.
Caracteristici:
spaiul strilor este o mulime discret;
mecanismul de tranziie a strilor este pilotat de evenimente cu apariie asincron.

Conform acestei definiii, construirea unui sistem de tip SED necesit identificarea a dou mulimi
discrete (finite sau nu):
X spaiul strilor
E mulimea evenimentelor
precum i formularea unei descrieri matematice a legitilor prin care apariia evenimentelor din
mulimea E determin tranziionarea n spaiul strilor X.

Exemplul 1.1
Se consider funcionarea unui recipient caracterizat prin evoluia nivelului de fluid x(t), fig. 1.1.
Variabila x ia valori n intervalul [0, xmax], iar n fig. 1.2 este reprezentat o posibil evoluie
(traiectorie) a lui x.

x(t)

xma
x

xma
y(t)
x(t) x

2
1
t
0
Fig. 1.1 Fig. 1.2

Pag. 3
Nu ntotdeauna, ns, prezint interes cunoaterea efectiv a valorii luate de x n intervalul [0, xmax].
De exemplu, ar putea fi interesante numai urmtoarele aspecte privind funcionarea rezervorului:
dac recipientul este gol;
dac recipientul conine fluid sub cota xmax;
dac fluidul a atins cota xmax.
n acest caz, putem considera o variabil de stare discret y{0, 1, 2}, unde valorile 0, 1 i 2 sunt
associate, n ordine, situaiilor menionate mai sus - evoluia lui y(t). Conform diagramei din figur,
se constat c tranziiile dintr-o stare discret n alta corespund unor evenimente care se produc n
manier asincron:
tranziia din 0 n 1 n rezervorul complet gol tocmai a nceput s se acumuleze lichid;
tranziia din 1 n 0 rezervorul tocmai s-a golit complet;
tranziia din 1 n 2 fluidul tocmai a atins cota maxim xmax;
tranziia din 2 n 1 nivelul de fluid tocmai a sczut sub cota maxim admisibil xmax.

Exemplul 1.2

Se consider funcionarea magaziei automate din fig. 1.3, caracterizat prin evoluia numrului de
piese x(t). Se presupune c n magazie se introduce/se extrage cte o singur pies i durata unei
operaii de introducere/extragere este neglijabil. Se mai presupune c magazia are capacitate
suficient de mare a.. s nu se ajung la ocuparea complet a spaiului de depozitare.
S considerm mrime de intrare funcia
1, cnd se introduce o pies
u1(t)=
0, n rest
pentru a preciza momentul de introducere a pieselor i mrime de ieire funcia
1, cnd se extrage o pies
u2(t)=
0, n rest
pentru a preciza momentul extragerii pieselor.
Se consider c introducerea i extragerea nu pot avea loc simultan, adic nu exist t a.. u 1(t)=
u2(t)=1.
Cu aceste ipoteze, o ecuaie de stare ar putea fi scris sub forma

Pag. 4
 x(t)+1, dac u1(t)=1, u2(t)=0

x(t+)= x(t)-1, dac u1(t)=0, u2(t)=1, x(t)>0

x(t), n rest

unde t+>t noteaz momentul de timp imediat urmtor lui t.

n fig. 1.4 este prezentat evoluia numrului de piese din magazie pentru cazul:
u1(t)=1 momente de introducere
t1<t2<t3<t5<t6<t12<t13
u1(t)=1 momente de extragere
t4<t7<t8<t9<t10<t11
unde tk<tk+1, k=1, 2, , 12.

x(t)

u1(t) x(t) 7
6
5
4
3
u2(t) 2
1

t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13t

Fig. 1.3 Fig. 1.4

Se constat c tranziiile sistemului dintr-o stare n alta sunt dictate de ctre fluxul de evenimente tip
introducere i, respectiv, fluxul de evenimente de tip extragere. Se observ c alura diagramei din
fig. 1.4 rmne neschimbat dac valorile numerice tk, k=1, 2, , 13, se modific, atta vreme ct
succesiunea acestor momente rmne aceeai. Mulimea evenimentelor este o mulime discret
numrabil (finit sau nu).

n spiritul acestei definiii se observ imediat c magazia automat din ex. 1.2 ar nceta s mai
constituie un sistem cu evenimente discrete n cazul n care introducerea i extragerea din magazie s-
ar realiza sincron cu un ceas de perioad T>0, aprioric cunoscut. ntr-o astfel de situaie ar fi vorba
de un sistem cu stri discrete pilotat de timp, tranziiile neputnd avea loc dect la momentele t=kT,
kN.

Pag. 5
n realitate, funcionarea unei magazii automate este condiionat de ritmul n care se produc piesele
(adic intarea n magazie) i de cerina de distribuire a pieselor (ieirea din magazie). ntruct, n
general, aceste fenomene nu pot fi private (n sensul de modelare matematic), ca sincrone cu un
anumit ceas de perioad cunoscut aprioric, se impune necesitatea utilizrii n modelare a
conceptului de sisteme cu evenimente discrete.

Se remarc i faptul c evenimentele din mulimea E pot fi private ca realiznd o structur de ceas
asincron (neperiodic) care piloteaz desfurarea tranziiilor n X. Aceast structur de ceas asincron
trebuie neleas ca un correspondent al ceasului periodic din cazul sistemelor pilotate de timp.

1.2. Modele i tehnici utilizate n studierea SED

1.2.1. SED parte integrant a TS
Specificul comportrii SED raportat la o clasificare de ansamblu a sistemelor dinamice se reprezint
conform figurii 1.5. Diferena de la o clas de sisteme dinamice la alta este dat de tipul de
instrument matematic la care se face apel pentru descrierea specificului dinamicii. Pentru modelarea,
analiza i sinteza SED se va utiliza un suport teoretic propriu studierii acestei clase de sisteme.

sistem dinamic

variant n timp invariant n timp

liniar neliniar

SED
cu stri cu stri
continue discrete

pilotat de pilotat de
timp evenimente

deterministe stochastice

Fig.1.5.

Pag. 6
1.2.2. Dinamica SED aspecte cantitative si calitative

Referirea asupra momentelor de timp cnd apar evenimente din mulimea E se face numai asupra
faptului c sunt asincrone.

Modelul matematic nu conine nici o informaie asupra momentului timp cnd se produc
evenimentele e1, e2, , en, E, de unde rezult modelul logic sau netemporizat (untimed model)
care pune n eviden numai proprietile de tip calitativ ale comportrii sistemului (se folosete
tehnica RP, teoria automatelor).

Cnd evenimentele din E sunt prezentate sub forma unor perechi (e1, t1), (e2, t2), ,
(en, tn), , vorbim de model temporizat (timed model), care pune n eviden proprietile de tip
cantitativ ale comportrii sistemului (ti noteaz momentul apariiei evenimentului ei). Cunoaterea
momentelor de timp ti poate fi de natur determinist sau probabilistic, iar modelele temporizate se
divizeaz n modele deterministe i modele stochastice.

Din categoria tehnicilor cantitative pot fi distinse:

teoria proceselor Markov;
teoria sistemelor de ateptare.

1.3. Proprieti calitative puse n eviden de comportarea unor sisteme

cu evenimente discrete, tipice. Exemple de SED tipice. Investigarea
comportrii unor procese concrete frecvent ntlnite n practic

1.3.1. Servirea clienilor ntr-un sistem de ateptare

Un sistem de ateptare (queueing system) se compune din trei elemente definitorii, puse n eviden
de reprezentarea din fig. 1.6:
clienii;
resursele (serverele);
firul (coada) de ateptare.

Pag. 7
 Sosirea Plecarea
clienilor clienilor

Fir de Servere
ateptare

Fig. 1.6. Schema unui sistem de ateptare

Caracterizarea complet a sistemului de ateptare presupune furnizarea urmtoarelor informaii:

numrul de servere;
capacitatea firului de ateptare;
disciplina de servire a clienilor (n ordinea venirii / aleatorie / dup anumite prioriti).

Descrierea ca SED se bazeaz pe o mulime de evenimente E ce cuprinde evenimente de dou tipuri:

S (sosire);
P (plecare).

Starea sistemului, x(t), este dat de numrul total de clieni care se gsesc la un moment arbitrar de
timp, t, n sistem (clieni care ateapt n fir, plus clieni care sunt servii), adic spaiul strilor este
mulimea X = {0, 1, 2, }.

Sistemul de ateptare poate fi privit ca o structur tipic ce poate fi ntlnit n funcionarea multor
procese. Exemple:
ateptarea joburilor sau taskurilor ntr-un sistem de calcul pentru a beneficia de o anumit
resurs;
ateptarea pieselor ntr-un sistem de fabricaie pentru a fi prelucrate pe o anumit main;
ateptarea mesajelor ntr-un sistem de comunicaii pentru a fi transmise.
Din interconectarea a dou sau mai multe sisteme de ateptare rezult o reea de ateptare.

1.3.2. Prelucrarea pieselor ntr-un sistem de fabricaie

n funcionarea sistemelor de fabricaie se utilizeaz frecvent fire de ateptare sub forma unor
depozite care permit stocarea pieselor ce trebuie prelucrate pe o anumit main.

Pag. 8
n fig. 1.7 este reprezentat schematizat configuraia unui sistem de fabricaie alctuit din dou
maini, M1 i M2, ambele prevzute cu depozite de intrare.

x1 x2
M1 M2
(s) (c1) (p)

Fig. 1.7. Schema prelucrrii unui lot de piese ntr-un sistem de fabricaie

Se presupune c depozitul ce precede M1 are capacitate nelimitat (nu se poate ajunge, practic, la
umplerea lui complet), n timp ce n depozitul ce precede M2 se pot stoca numai dou piese.
Mulimea evenimentelor se compune din evenimente de tipul:
s sosirea unei piese brute n sistemul de fabricaie;
p plecarea unei piese prelucrate complet din sistemul de fabricaie;
c1 terminarea prelucrrii unei piese pe M1.

Pentru a identifica variabila stare, se pleac de la observaia c fiecare din cele 2 maini reprezint
serverul unei structuri de tip sistem de ateptare. n consecin, procesul de prelucrare a pieselor
poate fi privit ca o conexiune a celor dou sisteme de ateptare, ale cror stri se descriu conform
punctului 1.3.1, rezultnd c:
vectorul de stare al modelului ntregului sistem de fabricaie este de forma (x 1, x2)T,
x1{0, 1, 2, }, x2{0, 1, 2, 3};
spaiul strilor este de forma X1={(x1, x2)T / x10, x2{0, 1, 2, 3}}.

Examinnd funcionarea sistemului de fabricaie se observ c modelarea bazat pe X1 definit mai

sus nu poate surprinde urmtorul aspect privind utilizarea mainii M1: n caul n care M2
prelucreaz o pies i alte dou piese ateapt n depozitul ce precede M2, piesa de pe M1 poate fi n
curs de prelucrare sau complet prelucrat, dar rmas pe main din lips de spaiu pentru
depozitarea ei, situaie care este cunoscut sub numele de blocaj. Astfel, dac prin variabilele de
stare x1 i x2 identificm strile celor dou maini fr a mai fi interesai de numrul de piese din
fiecare sistem de ateptare, putem utiliza drept spaiu al strilor mulimea:
X2={(x1, x2)T / x2{N, L, B}, x2{N, L}},

Pag. 9
unde N, L, B simbolizeaz urmtoarele stri posibile:
N maina este neutilizabil (idle);
L maina lucreaz;
B maina este blocat.

Se observ c prin utilizarea spaiului strilor X2 modelul poate face distincia ntre starea B sau L a
mainii M1 pentru situaia semnalat anterior. Totui, n acest caz nu mai sunt disponibile informaii
referitoare la numrul de piese din fiecare sistem de ateptare. Aceste informaii pot fi ncorporate n
model revenind la spaiul strilor X1 i observnd c blocajul lui M1 nu poate aprea dect pentru
x2=3.

Situaia x2=3 corespunde la dou stri distincte:

x2=3L maina lucreaz;
x2=3B maina este blocat.
Astfel, spaiul strilor definit prin mulimea:
X3={(x1, x2)T / x1>0, x2{0, 1, 2, 3L, 3B}}
permite includerea n model att a strilor individuale a mainilor, ct i a numrului de piese aflate
n fiecare din sistemele de ateptare.

Conceptul de SED. Aplicaie

Breviar
Un SED este un sistem dinamic caracterizat printr-un spaiu discret al strilor i prin traiectorii de
stare continue pe poriuni. Modificrile de stare se numesc tranziii i survin ca urmare a apariiei
evenimentelor, n mod asincron.
Evenimentele au durat nul. n afar de cazul n care apar alte specificaii se consider c la un
moment dat are loc un singur eveniment.
Un eveniment poate fi identificat ca:
aciune specific (ex: lansarea unei operaii);
modificare necontrolabil n cadrul unui proces (ex: defectarea unei resurse dintr-un
motiv oarecare);
rezultatul satisfacerii simultane a mai multor condiii.

Pag. 10
Evenimentele sunt, de regul, etichetate. Mulimea evenimentelor legate de funcionarea unui proces
oarecare determin astfel elementele unui alfabet E (mulime finit de simboluri) a.. ele i
pstreaz semnificaia de fenomen calitativ dependent de specificul aplicaiei.

Astfel, din punct de vedere formal, un SED se definete ca un sistem care evolueaz, genernd
spontan evenimente i care poate fi definit ca un cvadruplu G=(Q, E, , q0), unde:
Q mulimea strilor sistemului;
E alfabetul evenimentelor;
q0 starea iniial;
- funcia de tranziie de stare, definit prin : Q x E .
Observaii
n funcie de dimensiunea lui Q, SED se mpart n sisteme cu numr finit de stri i,
respectiv, sisteme cu numr infinit de stri; indiferent, ns, de dimensiune, Q este
numrabil;
funcia de tranziie nu este definit ntotdeauna pentru toate perechile din Q x E, ceea
ce nseamn c nu este obligatoriu ca din fiecare stare a sistemului s poat fi generate
toate evenimentele din E;
alfabetul E are ntotdeauna un numr finit de evenimente.

n concluzie, modelarea unui proces real ca SED include, indiferent de formalismul utilizat,
urmtoarele etape:
1. definirea variabilei de stare, respectiv a formatului elementelor qQ; dac mulimea Q
este finit, atunci se poate defini n ntregime prin enumerare;
2. stabilirea strii iniiale q0Q;
3. definirea tuturor evenimentelor din E ca aciuni care modific valoarea a cel puin unei
variabile de stare;
4. definirea funciei de tranziie , ceea ce revine la descrierea explicit a modelului.
(n funcie de complexitatea procesului modelat, etapele 3 i 4 pot fi complet simultane)
n funcie de modul n care trateaz timpul, modelele SED pot fi mprite n:
modele autonome (netemporizate), utilizate pentru analiza calitativ a funcionrii
sistemelor; n cazul acestor modele nu este considerat dect ordinea n care apar
evenimentele, nu i intervalul de timp dintre dou evenimente;

Pag. 11
 modele temporizate, utilizate att pentru analiza calitativ, ct i pentru analiza
performanelor sistemului (intervalul de timp care apare ntre dou evenimente succesive
este speficicat n mod determinist);
modele stochastice (probabilistice), n care succesiunea evenimentelor este dat prin
intermediul unor distribuii de probabiliti.

Aplicaie

S se modeleze ca SED procesul constnd dintr-un server i o coad de ateptare. Capacitatea

serverului este de un client la un moment dat, iar capacitatea cozii/firului este presupus a fi
nelimitat. Atunci cnd un client intr n sistem, el intr n coada de ateptare. De ndat ce serverul
este liber, el preia cte un client din coada de ateptare, n ordinea sosirii acestora. Intrarea clienilor
n sistem, ca i durata serviciului, sunt aleatoare. Se presupune c durata de schimbare a clientului
servit n cazul n care coada este nevid este nesemnificativ. Iniial, serverul este liber.

Rezolvare
Procesul propus va fi modelat ca SED autonom, ntruct nu exist nici o indicaie temporal.
1. Definirea Q
Evident, sistemul va avea un numr infinit de stri, deoarece capacitatea cozii de ateptare nu este
limitat. n acest caz se va defini structura strilor sistemului prin specificarea variabilelor de stare:
s stare server;
l lungime coad ateptare.
Deoarece serverul nu poate fi dect liber/ocupat, se poate considera S={0, 1}, cu>
S=0: server liber;
S=1: server ocupat.
Q={(s, l) / s(0, 1), lN}
2. Definirea strii iniiale
q0 = (0, 0) - server liber i coad de ateptare goal
3. Definirea alfabetului de evenimente E
Conine 2 elemente:
e1: intrarea unui client n sistem;
e2: ieirea unui client din sistem.

Pag. 12
 4. Definirea funciei de tranziie
(s, l+1), dac s=1
((s, l), e1)=
(s+1, l), dac s=0
respectiv intrarea unui client n sistem incrementeaz lungimea cozii, dac la momentul intrrii
serverul era ocupat, sau trece serverul n stare de ocupat, dac era liber.
(s, l-1), dac s=1
((s, l), e2)=
(s-1, l), dac s=0
respectiv ieirea unui client din sistem decrementeaz lungimea cozii, dac aceasta era nevid, sau
elibereaz serverul n caz contrar.

Observaii
Modelul autonom poate fi modificat n vederea analizei performanelor sistemului, caz n care
informaia despre proces este completat cu informaii temporale. Aceste informaii vor nsoi cele
dou tipuri de evenimente stabilite anterior, n modul urmtor: se presupun cunoscute duratele de
timp dintre dou sosiri succesive i, de asemenea, timpul de sosire aferent fiecrui client.
A1=0,4 A2=1,2 A3=0,5 A4=0,7 A5=0,2 A6=0,6 A7=0,2 A8=1,4
S1=2,0 S2=0,7 S3=0,2 S4=1,1 S5=3,7 S6=0,6
Evoluia numrului de clieni din coada de ateptare este prezentat n figura 1.8.
Q(t)
3

t
0
1 2 3 4 5 6 7 8 9

e1=0,7 e2=1,6 e4=2,4 e8=4 e9=4,9 e12=7,2 e13=8,6=T(6)

e5=3,1 e10=5,6
e3=2,1
e6=3,3
e11=5,8
e7=3,8

Fig. 1.8. Evoluia numrului de clieni din coada de ateptare

Pag. 13
e1, e2, e3, e7, e8, e10, e11, e12 sosiri
e4, e5, e6, e9, e13 plecri
Ocuparea serverului este prezentat n figura 1.9.. Serverul proceseaz clieni o durat de timp de
7,7 uniti din totalul de 8,6 uniti. Aceasta reprezint o ocupare de 89,53%.
Q(t)

t
0
1 2 3 4 5 6 7 8 9

e1=0,7 e2=1,6 e8=4 e10=5,6 e12=7,2

sosiri
e3=2,1 e7=3,8 e11=5,8

e5=3,1
plecri
e4=2,4
e6=3,3 e9=4,9 e13=8,6 (T)

Fig. 1.9.
Ocupaserver
primul client sosete la 0,4
primul client pleac la 0,4+2=2,4
al doilea client sosete la 1,6
al doilea client pleac la 1,6+0,7=2,3

Pag. 14