(→Modalità di esame) |
(→Materiale di approfondimento sui casi di studio) |
||
(39 versioni intermedie di 4 utenti non mostrate) | |||
Riga 2: | Riga 2: | ||
__NOTOC__ | __NOTOC__ | ||
− | == | + | == Control of network systems (6 crediti) - A.A 2022-2023== |
− | + | 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. | 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. | + | ===Control methods for computer networks - Laurea Magistrale in Ingegneria Informatica e ing. Telecomunicazioni A.A. 2022/23=== |
− | + | ||
===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. 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. 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. | ||
Riga 17: | Riga 18: | ||
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. 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=== | + | ===Control methods for computer networks - 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. | ||
===Laurea Magistrale in Ingegneria Informatica A.A. 2013/14=== | ===Laurea Magistrale in Ingegneria Informatica A.A. 2013/14=== | ||
+ | === Control methods for computer networks=== | ||
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. | 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. | ||
Riga 37: | Riga 39: | ||
=== Materiale di approfondimento sui casi di studio === | === 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]], | ||
+ | * [[Media:controlengpractice.pdf | modelling TCP]], | ||
* [[Media:CasOct97.pdf | sincronizzazione con osservatore]], | * [[Media:CasOct97.pdf | sincronizzazione con osservatore]], | ||
* [[Media:CasSep99.pdf | sincronizzazione + osservatore + crittografia]], | * [[Media:CasSep99.pdf | sincronizzazione + osservatore + crittografia]], | ||
Riga 46: | Riga 51: | ||
* [[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/a/a1/Elastic-pv2013.pdf ELASTIC: a Client-side Controller for Dynamic Adaptive Streaming over HTTP (DASH)] | + | * [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] | ||
Riga 54: | Riga 60: | ||
* [[Media:Web_Information_Retrieval.pdf | A Survey of Eigenvector Methods of Web Information Retrieval]] | * [[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]] | * [[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://maths-it.org.uk/Wigner.html The unreasonable effectiveness of Mathematics in the Natural Sciences] | ||
+ | *[https://www.teunisott.com/Papers/TCP_Paradigm/Macroscopic_CCR97.pdf The Macroscopic Behavior of the TCP Congestion Avoidance Algorithm] | ||
+ | <br> | ||
+ | <br> | ||
+ | <br> | ||
===Articoli, Esercitazioni, Temi d'Anno=== | ===Articoli, Esercitazioni, Temi d'Anno=== | ||
− | ====2016 | + | == 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 ]]) | * Comunicazione real-time con WebRTC ([[Media:webrtc-metoditlc-decicco.pdf | Slides ]]) | ||
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.
=== Control methods for computer networks===
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.
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