| Saverio Mascolo | |
| Full Professor |
Programma di Metodi di Controlli nei Sistemi di Elaborazione e di Telecomunicazione (6 crediti)
Laurea Magistrale in Ingegneria Informatica A.A. 2012/13
Il corso ha l’obiettivo di integrare le conoscenze fornite nei corsi di Fondamenti di Automatica I e Fondamenti di Automatica II con tecniche di controllo di particolare interesse nel campo delle reti di computer.
Mailing list: metodi_di_controllo@googlegroups.com
Programma
Descrizione nello spazio degli Stati. Realizzazione. Osservabilità e Controllabilità. Retroazione di stato. Osservatore di stato. Retroazione e osservatore: sintesi del regolatore ed esempi. Sincronizzazione di sistemi caotici e applicazioni alla crittografia con tecniche basate sugli osservatori. Tecniche di controllo non lineare. Definizione di stabilita' dello stato di equilibrio alla Lyapunov. Forme quadratiche. Equazione di Lyapunov. Criteri di stabilita' diretto e indiretto (mediante linearizzazione) dello stato di equilibrio. Il controllo di congestione nella rete Internet. Smith predictor e controllo di congestione.Controllo rate-base e window based. Il TCP friendly rate control (2 ore). TCP Reno/NewReno, Vegas, Westwood+. Il controllo di congestione nelle reti a 10Gbps. Il controllo di congestione per applicazioni di audio/video streaming. Il controllo in retroazione per la qualità del servizio su reti IEEE 802.11. Controllo attivo delle code. I sistemi peer-to-peer . Il controllo di congestione in Skype. PageRank. Il controllo di congestione nel kernel di Linux. Esperimenti di laboratorio con con software di simulazione.
Testi di rferimento
- Appunti dale lezioni
- Articoli
- J. Hellerstein, Y Diao, S. Parekh, D.M. Tilbury, Feedback control of computing systems, John Wiley 2004
- Gene F. Franklin, J. David Powell, Abbas Emami-Naeini, Feedback Control of Dynamic Systems, Addison-Wesley, 2002
- Slotine, Nonlinear applied control, Prenhall
Materiale
- Linearizzazione AQM,
- smith predictor TCP,
- sincronizzazione con osservatore,
- sincronizzazione + osservatore + crittografia,
- TCP Westwood,
- TCP Westwood+,
- Adaptive streaming,
- TCP Van Jacobson
Articoli
2007
- Linux Network Testing: Introduzione agli strumenti per il testing di rete su Linux (6,13 Novembre 2007), sorgenti degli esempi
- Pacchetti Debian per Web100:
- Immagine del kernel 2.6.22: linux-image-2.6.22-web100_1_i386.deb
- Userspace utility: web100-userland_1.6-1_i386.deb
- Linux Kernel: introduzione, kernel modules e infrastruttura del Congestion Control (23,30 Ottobre 2007), sorgenti degli esempi
2006
- Laboratorio del 3/02/06: Script in matlab sull'attrattore di Lorenz
Programma
Il programma del corso e' consultabile qui
Temi di esame
Temi d'anno
Testing comparativo di TCP Stacks
L'obiettivo è lo studio delle performance dei diversi TCP Stacks disponibili sui seguenti sistemi operativi:
- Linux 2.6.x
- Linux 2.4.x
- FreeBSD
- NetBSD
- Windows XP
Lo studente dovrà utilizzare applicazioni per l'auditing di reti e deve avere un background minimo sull'utilizzo di sistemi operativi GNU/Linux.
Riferimenti




