m (→2018) |
(→Materiale di approfondimento sui casi di studio) |
||
(15 versioni intermedie di 3 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] | * [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 57: | Riga 61: | ||
* [[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://static.googleusercontent.com/media/research.google.com/it//pubs/archive/35179.pdf The unreasonable effectiveness of data] | ||
− | * [https:// | + | * [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> | <br> | ||
Riga 67: | Riga 72: | ||
<absHTML> | <absHTML> | ||
<a href="https://docs.google.com/document/d/e/2PACX-1vTt0LiqCPdNUbanzhq6QBen9-QyxomWhy7p9s9WtZKLQfvd9JdAz6s9avIszxsFqh7RfxZTsdPdyVoz/pub">Link</a> | <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: | + | <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> | </absHTML> | ||
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