PhD Thesis Infomatica e Automazione