32
1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari [email protected] http://ftp-dee.poliba.it:8000/ ttp://www-dee.poliba.it/dee-web/Personale/fanti.htm

1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari [email protected]

Embed Size (px)

Citation preview

Page 1: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

1

Modellistica e simulazione

Prof. Maria Pia Fanti

Dipartimento di Elettrotecnica ed Elettronica

Politecnico di Bari

[email protected]

http://ftp-dee.poliba.it:8000/

http://www-dee.poliba.it/dee-web/Personale/fanti.html

Page 2: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

2

Modellistica e simulazione

A. Di Febbraro, A. Giua “Sistemi ad eventi discreti” Mc Graw Hill.

PROGRAMMA: Generalità sui sistemi ad eventi discreti: modelli dinamici, modelli time driven, modelli event driven.

Reti di Petri: Definizioni e analisi delle proprietà strutturali e comportamentali delle reti di Petri.

Reti di Petri temporizzate: valutazione delle prestazioni.Reti di Petri di alto livello (colorate, ibride).

Controllo a supervisione mediante reti di Petri Generalità sulle tecniche di simulazione ad eventi

Page 3: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

3

Modellistica e simulazione

Esercitazioni.Tecniche di analisi con le reti di Petri di sistemi ad eventi delle proprietà comportamentali e strutturali, Modelli di sistemi complessi (sistemi manifatturieri, sistemi logistici, sistemi di traffico stradale, sistemi sanitari)

Laboratorio Esempi di simulazione ad eventi.Tecniche di simulazione con le reti di Petri (Matlab)Tecniche di simulazione con il software Arena.Tecniche di simulazione con le reti di Petri colorate

Page 4: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

4

1. Classificazione dei sistemi e dei modelliLa teoria dei sistemi e del controllo si è sempre tradizionalmente occupata dei sistemi a variabili continue modellati da equazioni differenziali o alle differenze.

Tali modelli sono tuttavia inadeguati nella descrizione dei sistemi man-made.

Sistemi dinamici i cui stati assumono diversi valori logici o simbolici in corrispondenza dell’occorrenza di eventi.Es: processi produttivi, reti di trasporto, di comunicazione, etc.

Page 5: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

5

Es. di eventi: arrivo o partenza di un cliente, completamento di una lavorazione, guasto o riparazione di una macchina, trasmissione o ricezione di un insieme di dati, etc.

L’evoluzione nel tempo di tali sistemi è dettata dall’occorrenza degli eventi mentre i micro-cambiamenti che avvengono continuamente all’interno del sistema vengono ignorati.

Sistemi ad eventi discreti

Page 6: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

6

Sistemi ibridi

Sis. ad avanzamento temporale

Sis. ad eventi discreti

Un sistema la cui evoluzione è dettata sia dall’occorrenza di eventi discreti, sia dal trascorrere del tempo viene detto ibrido.

Page 7: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

7

Principi di base della teoria classica dei sistemi e del controllo

Nozione fondamentale sistema

Dizionario Webster: Un sistema è un’unità complessa formata da molte componenti, spesso diverse tra loro, soggette ad un piano comune o orientate verso un obiettivo comune.

Dizionario IEEE: Un sistema è una combinazione di elementi che cooperano per svolgere una funzione altrimenti impossibile per ciascuno dei singoli componenti.

Page 8: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

8

Per procedere ad un’analisi quantitativa di un sistema è indispensabile la formulazione di un modello formale che riproduca il comportamento del sistema.

Ogni sistema fisico è caratterizzato da un certo numero di variabili fisiche che evolvono nel tempo:

• cause esterne al sistema ingressi del sistema

• effetti uscite del sistemau yS

S realizza la dipendenza degli effetti dalle cause esterne al sistema.

Page 9: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

9

Esempio: pantografo

m

Kw

Kb

u

y

umK

ym

K)(Ky

mb

y ww

Y: posizione di equilibrio di m

u: posizione di equilibrio del punto di contatto con la catenaria

ybKyy)(uKfym wi

Page 10: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

10

In generale l’uscita ad un dato istante di tempo dipende anche dalla storia del sistema.

Lo stato di un sistema all’istante di tempo 0 è la grandezza che contiene l’informazione necessaria in 0 per determinare univocamente l’andamento dell’uscita y(), per 0, sulla base della conoscenza dell’andamento dell’ingresso u(), 0 e dello stato in 0.

Page 11: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

11

Si definiscono equazioni di stato l’insieme di equazioni che determinano lo stato x() per ogni 0 sulla base di x(0 ) e di u() , 0.

t)u(t),g(x(t),y(t)x)x(tt),u(t),f(x(t),(t)x 00 Modello

a tempo continuo

t)u(t),f(x(t),(t)x t)u(t),g(x(t),y(t) u x y

Page 12: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

12

Esempio: pantografo

(t)y(t)xy(t)(t)x

2

1

Cx(t)y(t)Bu(t)Ax(t)(t)x

01CmK0

Bmb

mKK

10A ww

N.B. La scelta del modello in termini di variabili di stato non è mai unica.

Page 13: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

13

Se il tempo è discreto, cioè rappresentato dall’intero k, k=0,1,… , il sistema può venire descritto mediante un insieme di equazioni alle differenze:

k)u(k),g(x(k),y(k)x)x(kk),u(k),f(x(k),1)(kx 00 Modello

a tempo discreto

k)u(k),f(x(k),1)x(k k)u(k),g(x(k),y(k)u x y

Page 14: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

14

I sistemi ad eventi discreti

La ricerca nell’abito dei sistemi ad eventi discreti (SED) sta acquistando un ruolo sempre più rilevante nella comunità scientifica e ciò è una immediata conseguenza della crescente complessità dei sistemi creati dall’uomo.

La teoria dei SED si sta evolvendo ora in analogia alla teoria classica dei sistemi e del controllo concetti di stabilità, controllabilità, osservabilità, etc.

Page 15: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

15

L’evoluzione in questo caso è asincrona ossia basata sui tempi di occorrenza degli eventi e non su una temporizzazione regolare.

Un sistema ad eventi discreti è un sistema dinamico il cui comportamento è caratterizzato dall’occorrenza di eventi istantanei con un cadenzamento irregolare non necessariamente noto. Alcuni sistemi sono intrinsecamente ad eventi e la risoluzione di un problema di controllo in questo caso consiste nella determinazione di una politica di gestione e di coordinamento degli eventi.

Page 16: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

16

Definizione formale: Un SED è un sistema il cui comportamento dinamico è caratterizzato dall’accadimento asincrono di eventi che individuano lo svolgimento di attività di durata non necessariamente nota. Un SED è caratterizzato da:

• insieme degli eventi E

• spazio di stato X (insieme discreto)

• evoluzione dello stato regolata dagli eventi

xk+1=(xk,ek) kN

funzione di transizione di stato

Page 17: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

17

Esempio: il sistema a coda

Un sistema a coda si basa su 3 componenti fondamentali:

• le entità che attendono per poter utilizzare le risorse (clienti)

• le risorse (servitori o serventi)

• lo spazio in cui si attente (coda)

arrivo clienti

partenza clienti

coda servitore

Page 18: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

18

Insieme degli eventi E={a,p}

a : evento di arrivo di un cliente

p : evento di partenza di un cliente

I clienti possono essere: persone, veicoli di trasporto, messaggi, etc.

I serventi possono essere: persone, macchine, semafori, canali di comunicazione, etc.

Page 19: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

19

Se scegliamo come variabile di stato il numero di clienti in coda

Spazio di stato X={0,1,2,…}=N

0 1 2 3

a a a

p p p

Il sistema a coda può venire rappresentato mediante il seguente grafo

Page 20: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

20

Esempio: macchina soggetta a guasti

• X = {F (macchina ferma),

L (macchina che lavora),

G (macchina guasta)} spazio di stato

• E = {inizio,fine,rottura,riparazione} spazio degli eventi

F L

G

inizio

fine

rotturariparazione

Page 21: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

21

Esempio: circuito elettrico

l1

l2

s

d

L’interruttore può ruotare a sinistra o a destra di 1/4 di giro.

Ci sono 4 possibili posizioni

s s s

d d dd

s

Page 22: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

22

Possiamo individuare 3 insiemi:

• X = {x1,x2,x3,x4} posizioni dell’interruttore

• U = {s,d} rotazioni

• Y = {l1,l2,b} condizioni delle lampadeTale sistema può essere rappresentato mediante il seguente grafo.

x1 x4

x2 x3

ds

s

s

s d d

d

x1

x2

x3

x4

Page 23: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

23

Se assumiamo l’insieme Y come spazio di stato, allora il sistema può essere rappresentato mediante il seguente grafo

l1 b

s,d

s,d

l2

s,d

s,d

Se poi volessimo addirittura limitarci a distinguere il buio dalla luce

l

b

s,ds,d

Page 24: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

24

A tale sistema possiamo anche associare una evoluzione temporale

X

x1

x2

x3

x4

tt1 t2

s d s s

s

t3 t4 t5

x1 x4

x2 x3

ds

s

s

s d d

d

Page 25: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

25

Modellazione di sistemi ad eventi discreti

Un modello ad eventi discreti è un modello matematico in grado di rappresentare l’insieme delle traiettorie (o tracce) degli eventi che possono essere generate da un sistema.

In generale l’insieme delle possibili traiettorie degli eventi è infinito, mentre il modello deve comunque essere finito.

A seconda del livello di astrazione con cui le diverse traiettorie possono venire rappresentate, i modelli vengono distinti in due diverse categorie:

Modelli logici e Modelli temporizzati

Page 26: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

26

Modelli logici

La traccia è una sequenza di eventi {e1,e2,e3…} in ordine di occorrenza. La traiettoria è allora la sequenza degli stati raggiunti {x0,x1,x2,…}.Modelli temporizzati

La traccia è una sequenza di coppie {(e1,t1),(e2,t2),(e3,t3),...} in ordine di occorrenza. La traiettoria è ancora la sequenza degli stati raggiunti {x0,x1,x2,…}. In questo caso tuttavia conosciamo esattamente l’istante di tempo in cui ciascuno stato viene raggiunto.

Page 27: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

27

I modelli logici rendono agevole lo studio delle proprietà qualitative del sistema

analisi strutturale.

I modelli temporizzati permettono di studiare l’evoluzione temporale di un sistema analisi prestazionale.

I modelli temporizzati possono essere:

• deterministici (gli intervalli tra 2 eventi sono noti)

• stocastici (gli intervalli sono variabili casuali)

Una trattazione analitica diventa estremamente complessa simulazione

Page 28: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

28

Automi: modello logico

Definizione: Un AFD è una 5-upla G=(X,E,,x0,Xm) dove:

• X è un insieme finito di stati;

• E è un insieme finito di eventi (alfabeto);

• : X E X è la funzione di transizione;

• x0 X è lo stato iniziale;

• Xm X è l’insieme di stati finali.

(x,e) è lo stato raggiunto quando si verifica l’evento e a partire dallo stato x.

Page 29: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

29

Esempio:

x0 x1 x2

a

d

b

d

c

a b c dx0 x1

x1 x2 x0

x2 x2 x0

x0: m. spenta

x1: m. accesa

x2: in avviamento

a: accensione

b: predisposizione

c: lavorazione

d: spegnimentoPossibile evoluzione:

2

c

2

c

2

b

1

a

0 x x x x x w = abcc parola

x0: stato iniziale e finale

Page 30: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

30

• Ad ogni AFD è possibile associare un linguaggio generato e un linguaggio

accettato (o marcato)

• Le proprietà fondamentali degli automi sono:

la raggiungibilità

la reversibilità

la vivezza• Esiste poi un altro modello di SED che può essere visto come una

generalizzazione degli AFD, ossia gli automi finiti non deterministici (AFN)

Page 31: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

31

Esempio di AFN:

x0

x1

x2

x3 x4

a

aa

a

abb b

b

Vi sono:

• transizioni etichettate con la parola vuota

• più transizioni uscenti dallo stesso nodo e aventi la stessa etichetta

Page 32: 1 Modellistica e simulazione Prof. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari fanti@deemail.poliba.it

32

Sistemi ibridi

Sistemi ad avanzamento temporale (SAT)

Sistemi ad eventi discreti (SED)

SAT a tempo continuo

SAT a tempo discreto

SAT a t. continuo lineari

SAT a t. continuo non lineari

SAT a t. discreto lineari

SAT a t. discreto non lineari

SED temporizzati

SED logici

SED deterministici

SED stocastici