(→Materiale di approfondimento sui casi di studio) |
|||
(39 versioni intermedie di 4 utenti non mostrate) | |||
Riga 2: | Riga 2: | ||
__NOTOC__ | __NOTOC__ | ||
− | == | + | == Control Methods for computer networks (6 crediti) == |
− | + | The course introduces the state space approach, the state feedback, the observer design, the state decomposition, the Kalman filtering with application to important case studies such as: GooglePageRank, network congestion contro, TCP congestion control, adaptive videostreaming, cryptography using observers, deep learning for controlling QoE in video streaming. | |
+ | System implementation using kubernets. | ||
==Modalità di esame == | ==Modalità di esame == | ||
− | + | L'esame comprende una prova scritta, una prova orale in cui si discutono 3 articoli scientifici a scelta tra quelli studiati durante il corso e un tema d'anno. Il voto finale è la media della prova scriita, della prova orale e del tema d'anno. | |
+ | |||
+ | ===Laurea Magistrale in Ingegneria Informatica A.A. 2016/17=== | ||
+ | |||
+ | ===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. Il filtro di Kalman. 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 video streaming adattivo. Il controllo di congestion per WebRTC di Google. Controllo attivo delle code (AQM). Il controllo di congestione nel kernel di Linux. WebRTC. PageRank. Esperimenti di laboratorio con con software di simulazione. Caso di studio: la WebTV del Politecnico di Bari. | ||
+ | ===Laurea Magistrale in Ingegneria Informatica A.A. 2015/16=== | ||
+ | |||
+ | ===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. Il filtro di Kalman. 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 video streaming adattivo. Il controllo di congestion per WebRTC di Google. Controllo attivo delle code (AQM). Il controllo di congestione nel kernel di Linux. WebRTC. PageRank. Esperimenti di laboratorio con con software di simulazione. Caso di studio: la WebTV del Politecnico di Bari. | ||
===Laurea Magistrale in Ingegneria Informatica A.A. 2014/15=== | ===Laurea Magistrale in Ingegneria Informatica A.A. 2014/15=== | ||
− | + | ||
− | |||
− | |||
===Programma=== | ===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. Il filtro di Kalman. 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 video streaming adattivo. Il controllo di congestion per WebRTC di Google. Controllo attivo delle code (AQM). Il controllo di congestione nel kernel di Linux. WebRTC. Esperimenti di laboratorio con con software di simulazione. Caso di studio: la WebTV del Politecnico di Bari. | 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. Il filtro di Kalman. 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 video streaming adattivo. Il controllo di congestion per WebRTC di Google. Controllo attivo delle code (AQM). Il controllo di congestione nel kernel di Linux. WebRTC. Esperimenti di laboratorio con con software di simulazione. Caso di studio: la WebTV del Politecnico di Bari. | ||
Riga 29: | Riga 37: | ||
*Slotine, Nonlinear applied control, Prenhall | *Slotine, Nonlinear applied control, Prenhall | ||
− | === Materiale di approfondimento sui | + | === Materiale di approfondimento sui casi di studio === |
+ | * [https://c3lab.poliba.it/images/0/07/Webrtc_cc-Fhcmn2013.pdf Experimental Investigation of the Google Congestion Control for Real-Time Flows] | ||
+ | * [https://arxiv.org/ftp/arxiv/papers/1805/1805.01631.pdf On continuos versus discrete time models] | ||
* [[Media:AQM-HOLLOT.pdf | Linearizzazione AQM]], | * [[Media:AQM-HOLLOT.pdf | Linearizzazione AQM]], | ||
* [[Media:automatica.pdf | smith predictor TCP]], | * [[Media:automatica.pdf | smith predictor TCP]], | ||
Riga 39: | Riga 49: | ||
* [[Media:vanjacobson.pdf |TCP Van Jacobson]], | * [[Media:vanjacobson.pdf |TCP Van Jacobson]], | ||
* [[Media:automatica.pdf | Congestion control in high-speed communication networks using the Smith principle]], | * [[Media:automatica.pdf | Congestion control in high-speed communication networks using the Smith principle]], | ||
− | * [http://c3lab.poliba.it/images/ | + | * [http://c3lab.poliba.it/images/a/a1/Elastic-pv2013.pdf ELASTIC: a Client-side Controller for Dynamic Adaptive Streaming over HTTP (DASH)] (si veda anche [http://c3lab.poliba.it/images/b/b1/Acc2015.pdf "Characterizing Adaptive Video Streaming Control Systems"] per il modello del playout buffer) |
+ | * [https://c3lab.poliba.it/images/c/c4/Gcc-TNET.pdf Google Congestion Control for Web Real-time communication (WebRTC)] | ||
* [http://c3lab.poliba.it/images/b/b7/Skype_comnet.pdf Skype Video Congestion Control: an Experimental Investigation] | * [http://c3lab.poliba.it/images/b/b7/Skype_comnet.pdf Skype Video Congestion Control: an Experimental Investigation] | ||
* [http://c3lab.poliba.it/images/9/9b/Skype-tac10.pdf A Mathematical Model of the Skype VoIP Congestion Control Algorithm] | * [http://c3lab.poliba.it/images/9/9b/Skype-tac10.pdf A Mathematical Model of the Skype VoIP Congestion Control Algorithm] | ||
* [http://c3lab.poliba.it/images/3/3f/Avs_tnet_decicco_mascolo.pdf An Adaptive Video Streaming Control System: Modeling, Validation, and Performance Evaluation] | * [http://c3lab.poliba.it/images/3/3f/Avs_tnet_decicco_mascolo.pdf An Adaptive Video Streaming Control System: Modeling, Validation, and Performance Evaluation] | ||
* [[Media:contrecc.pdf | Using control theory for reccomender system]], | * [[Media:contrecc.pdf | Using control theory for reccomender system]], | ||
− | * [http://c3lab.poliba.it/images/0/0c/Page_rank.pdf Page Rank] | + | * [http://c3lab.poliba.it/images/0/0c/Page_rank.pdf Page Rank], |
+ | * [[Media:Web_Information_Retrieval.pdf | A Survey of Eigenvector Methods of Web Information Retrieval]] | ||
+ | * [[Media:tcp_mathis.pdf | The Macroscopic Behavior of the TCP Congestion Avoidance Algorithm]] | ||
+ | * [https://static.googleusercontent.com/media/research.google.com/it//pubs/archive/35179.pdf The unreasonable effectiveness of data] | ||
+ | * [https://www.dartmouth.edu/~matc/MathDrama/reading/Wigner.html The unreasonable effectiveness of Mathematics in the Natural Sciences] | ||
+ | <br> | ||
+ | <br> | ||
+ | <br> | ||
===Articoli, Esercitazioni, Temi d'Anno=== | ===Articoli, Esercitazioni, Temi d'Anno=== | ||
+ | |||
+ | == 2018 == | ||
+ | <absHTML> | ||
+ | <a href="https://docs.google.com/document/d/e/2PACX-1vTt0LiqCPdNUbanzhq6QBen9-QyxomWhy7p9s9WtZKLQfvd9JdAz6s9avIszxsFqh7RfxZTsdPdyVoz/pub">Link</a> | ||
+ | <iframe src="https://docs.google.com/document/d/e/2PACX-1vTt0LiqCPdNUbanzhq6QBen9-QyxomWhy7p9s9WtZKLQfvd9JdAz6s9avIszxsFqh7RfxZTsdPdyVoz/pub?embedded=true" frameborder="0" marginwidth="0" style="width: 100%; min-height: 400px;"></iframe> | ||
+ | </absHTML> | ||
+ | |||
+ | ===2017=== | ||
+ | * [https://docs.google.com/presentation/d/e/2PACX-1vROaO7j6c7UlYf64pn6s7jmscSvDefSqpojibOLhwXr5Renk4wMtjE6WybpBGAt4iJvtHhApi6tBYEM/pub?start=false&loop=false&delayms=60000 Introduction to Docker and Kubernetes] | ||
+ | * [https://docs.google.com/presentation/d/e/2PACX-1vSo4MzpE_NksEWUP4bxfL_ltoLvc_zc3Cea82IN-XBA59vz3jfTyXStJb3ttsF3cQGjcShQZYPJQZtK/pub?start=false&loop=false&delayms=3000 Introduction to VR and AR programming] | ||
+ | |||
+ | ===2016=== | ||
+ | * Comunicazione real-time con WebRTC ([[Media:webrtc-metoditlc-decicco.pdf | Slides ]]) | ||
====2015==== | ====2015==== | ||
Riga 54: | Riga 85: | ||
* Implementazione di un testbed SDN emulato mediante [http://mininet.org/ mininet] per realizzare un piano di controllo per una piattaforma di video streaming adattativo - Documentazione: [http://mininet.org/walkthrough/ mininet walkthrough ] | * Implementazione di un testbed SDN emulato mediante [http://mininet.org/ mininet] per realizzare un piano di controllo per una piattaforma di video streaming adattativo - Documentazione: [http://mininet.org/walkthrough/ mininet walkthrough ] | ||
* Stabilizzazione dei movimenti di un visore stereoscopico. Link utili: [http://threejs.org/examples/#webgl_video_panorama_equirectangular Threejs demo] | * Stabilizzazione dei movimenti di un visore stereoscopico. Link utili: [http://threejs.org/examples/#webgl_video_panorama_equirectangular Threejs demo] | ||
+ | * Trasmissione sicura tra laptop usando oscillatori caotici. Link utili: [ ] | ||
====2014==== | ====2014==== |
Saverio Mascolo | |
Professore Ordinario (Full Professor)
IEEE Fellow |
The course introduces the state space approach, the state feedback, the observer design, the state decomposition, the Kalman filtering with application to important case studies such as: GooglePageRank, network congestion contro, TCP congestion control, adaptive videostreaming, cryptography using observers, deep learning for controlling QoE in video streaming. System implementation using kubernets.
L'esame comprende una prova scritta, una prova orale in cui si discutono 3 articoli scientifici a scelta tra quelli studiati durante il corso e un tema d'anno. Il voto finale è la media della prova scriita, della prova orale e del tema d'anno.
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. Il filtro di Kalman. 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 video streaming adattivo. Il controllo di congestion per WebRTC di Google. Controllo attivo delle code (AQM). Il controllo di congestione nel kernel di Linux. WebRTC. PageRank. Esperimenti di laboratorio con con software di simulazione. Caso di studio: la WebTV del Politecnico di Bari.
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. Il filtro di Kalman. 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 video streaming adattivo. Il controllo di congestion per WebRTC di Google. Controllo attivo delle code (AQM). Il controllo di congestione nel kernel di Linux. WebRTC. PageRank. Esperimenti di laboratorio con con software di simulazione. Caso di studio: la WebTV del Politecnico di Bari.
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. Il filtro di Kalman. 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 video streaming adattivo. Il controllo di congestion per WebRTC di Google. Controllo attivo delle code (AQM). Il controllo di congestione nel kernel di Linux. WebRTC. Esperimenti di laboratorio con con software di simulazione. Caso di studio: la WebTV del Politecnico di Bari.
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.
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 video streaming adattivo. 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. WebRTC. Esperimenti di laboratorio con con software di simulazione. Caso di studio: la WebTV del Politecnico di Bari.
L'obiettivo è lo studio delle performance dei diversi TCP Stacks disponibili sui seguenti sistemi operativi:
Lo studente dovrà utilizzare applicazioni per l'auditing di reti e deve avere un background minimo sull'utilizzo di sistemi operativi GNU/Linux.
Riferimenti
Saverio Mascolo | |
Professore Ordinario (Full Professor)
IEEE Fellow |
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. Particolare enfasi è riservato a casi di studio di corrente interesse applicativo.
Prova scritta e orale con la discussione di 3 articoli scientifici a scelta tra quelli studiati durante il corso.
Mailing list: metodi_di_controllo@googlegroups.com
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. Il filtro di Kalman. 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 video streaming adattivo. Il controllo di congestion per WebRTC di Google. Controllo attivo delle code (AQM). Il controllo di congestione nel kernel di Linux. WebRTC. Esperimenti di laboratorio con con software di simulazione. Caso di studio: la WebTV del Politecnico di Bari.
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.
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 video streaming adattivo. 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. WebRTC. Esperimenti di laboratorio con con software di simulazione. Caso di studio: la WebTV del Politecnico di Bari.
L'obiettivo è lo studio delle performance dei diversi TCP Stacks disponibili sui seguenti sistemi operativi:
Lo studente dovrà utilizzare applicazioni per l'auditing di reti e deve avere un background minimo sull'utilizzo di sistemi operativi GNU/Linux.
Riferimenti