DRIIA

Dipartimento di Sistemi e Informatica
Università degli Studi di Firenze

Dottorato di Ricerca in

Ingegneria Informatica e dell'Automazione

Coordinatore: Prof. Luigi Chisci
chisci@dsi.unifi.it

Obiettivi formativi| Curricula| Collegio dei docenti| Raccolta Tesi di Dottorato

Obiettivi formativi

Il Dottorato di Ricerca in Ingegneria Informatica e dell'Automazione è finalizzato all'approfondimento delle problematiche riguardanti i settori applicativi dell'ingegneria informatica e dell'automazione industriale in una loro visione integrata, avvalendosi di tutte le competenze metodologiche richieste.
L'integrazione tra vari tipi di preparazione tecnica, che pure hanno notevoli caratteristiche proprie, è evidente in specifici settori applicativi quali il controllo dei processi, la robotica, l'ingegneria della produzione, l'automazione dei servizi, etc..
Il Dottorato di Ricerca in Ingegneria Informatica e dell'Automazione, permette di approfondire problematiche riguardanti tali settori applicativi avvalendosi di tutte le competenze metodologiche richieste.
La durata degli studi è 3 anni.

Curricula

Informatica - Scienza e tecnologie informatiche e loro applicazioni sia nell'industria che nei servizi
Automatica ed automazione dei processi industriali - Analisi e sintesi di sistemi di automazione ad elevate prestazioni per processi solo parzialmente noti e con vincoli quali quelli delle applicazioni industriali, robotica, bioingegneria, aerospazio, etc.

Collegio dei docenti

Prof. David Angeli

Prof. Elena Barcucci

Prof. Luigi Chisci - Coordinatore

Prof. Marco Sciandrone

Prof. Giovanni Soda

Dott. Giorgio Battistelli

Dott.ssa Paola Cappanera

Dott.ssa Elisabetta Grazzini

Dott. Simone Marinai

Raccolta tesi di dottorato

Le tesi sono disponibili in formato .pdf o "gzipped postscript"

XXIII-01	Simone Baldi "Discrete-Time Robust Adaptive Control by Mixing Precomputed Controllers"
XXIII-02 ".ps.gz"	Mirko Maischberger "Routing of vehicles. From point to point trips to fleet routing."
XXIII-03	Beatrice Miotti "A general framework for graphical item retrieval and identification in printed and handwritten documents"
XXIII-04	Francesco Papi "A new approach to multitarget multisensor tracking combining PHD filtering and data association"
XXII-01	Stefano Brocchi "Bidimensional pictures: reconstruction, expression and encoding"
XXII-02	Marco Lippi "Statistical Learning for Relational and Structured Data"
XXII-03	Pietro Tesi "Switching Supervisory Control: Adaptive and Input-constrained Systems"
XXI-01	Andrea Cassioli "Global Optimization of Highly Multimodal Problems"
XXI-02	Marc Vincent "Machine Learning Applied To The Prediction Of Amino-acids Properties: study of relevant features and design of Ad-hoc Mercer kernels."
XX-01	Alessio Benavoli "Modelling and efficient fusion of uncertain information: beyond the classical probability approach"
XX-02	Lorenzo Falai "Observing, Monitoring and Evaluating Distributed Systems"
XIX-01	Michele Banci "Metodologie formali di progettazione per sistemi di interlocking ferroviario"
XIX-02	Antonio Bernini "Some properties of pattern avoiding permutations"
XIX-03	Claudia Manuelli "Stability and performance in adaptive switching supervisory control"
XVIII-01	Leonardo Albertoni "Modelizzazione del Sottosistema Aria in Motori Diesel con Turbocompressore a Geometria Variabile"
XVIII-02	Fabio Bacconi "Spacecraft Attitude Dynamics and Control"
XVIII-03	Alessio Ceroni "Prediction of Structure and Function of Proteins and Ligands by means of Neural and Kernel Methods for Strctured Data"
XVIII-04	Claudio Gambelli "Controllo del regime di minimo per sistemi "Torque-Based": un approccio polinomiale"
XVIII-05	Maddalena Poneti "Una struttura tira l'altra: generazione di oggetti combinatori"
XVII-01	Bernardetta Addis "Global optimization using local searches"
XVII-02	Paolo Frosini "Using innovative ICT tools to develop an agency for flexible transport and logistics services in urban and rural areas"
XVII-03	Sauro Menchetti "Learning Preference and Structured Data: Theory and Applications"
XVI-01	Saverio Armeni "Robust Fault Detection and Isolation with a Sensitivity Constraint"
XVI-02 ".ps.gz"	Andrea Passerini "Kernel Methods, Multiclass Classification and Applications to Computational Molecular Biology"
XVI-03 ".ps.gz"	Alessandro Vullo "Learning Protein Structural Representations by Specialised Recursive Connectionist Models"
XV-01	Enrica Duchi "ECO method and Object Grammars: two methods for the enumeration of combinatorial objects"
XV-02	Fabrizio Santini "Depth Perception in a Robot that Replicates Human Eye Movements"
XIV-01	Tommaso Agnoloni "Switching Supervisory Control based on Controller Falsification and Performance Inference"
XIV-02	Fabrizio Costa "A connectionist Approach to First-Pass Attachment Prediction in Natural Language Parsing"
XIV-03	Simone Rinaldi "Succession rules: the whole story"
XIII-01	Sara Brunetti "Convexity and Complexity in Discrete Tomography"
X-01	Enrico Francesconi "A knowledge-based architecture for processing documents of a multi-class domain"