In questa tesi viene affrontato il problema dell’approssimazione di un sistema ibrido stocastico mediante un modello più semplice, ai fini della verifica di proprietà di raggiungibilità come quella di safety. L’analisi di raggiungibilità di un sistema ibrido stocastico consiste nella valutazione della probabilità che, per esempio, una certa variabile del sistema entri in un certo insieme desiderato e, nel frattempo, rimanga confinata all’interno di un insieme “safe”. L’idea di questo lavoro di tesi è quella di formulare il problema dell’approssimazione di un sistema ibrido stocastico mediante un modello semplificato come un problema di ottimizzazione chance-constrained” in cui si cerca di minimizzare la distanza fra la variabile di interesse del sistema e quella corrispondente del modello.