ANALISI SIMBOLICA ED OTTIMIZZAZIONE CIRCUITALE DI SISTEMI PIEZO-ELETTROMECCANICI