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

  1. Informatica - Scienza e tecnologie informatiche e loro applicazioni sia nell'industria che nei servizi
  2. 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. Luca Ferrari
Prof. Paolo Frasconi
Prof. Russel Johnson
Prof. Edoardo Mosca
Prof. Elisa Pergola
Prof. Renzo Pinzani
Prof. Fabio Schoen
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"

XXV-01

Stefano Bilotta
"Pattern avoiding words and cross-bifix-free sets: a general approach"

XXV-02

Daniele Mari
"Performance-oriented Adaptive Switching Control"

XXIV-01

Andrea Ceccarelli
"Analyss of Critical Systems Through Rigorous , Reproducible and Comparable Experimental Assessment"

XXIV-02

David Di Lorenzo
"Decomposition methods and global optimization algorithms for large scale nonlinear problems"

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"