Modelli orientati agli oggetti per sistemi con dinamiche ibride

Nel presente articolo viene presentata una metodologia per la modellazione el' analisi di processi industriali, il cui scopo e quello di unificare tutti gli aspetti concettuali coinvolti nello sviluppo delle logiche di controllo. In particolare, I'approccio proposto integra i concetti delle tecniche di modellazione orientate agli oggetti, ampiamente note agli sviluppatori software, con i concetti fondamentali dei Bond Graph, un linguaggio di modellazione per sistemi fisici di natura eterogenea basato sulle interazioni energetiche fra componenti basilari.L' articolo mostra inoltre come i modelli ottenuti con il metodo presentato possano essere analizzati con metodiformali per la verifica di sistemi ibridi, cioe sistemi nei quali dinamiche tempo-continue interagiscono condinamiche discrete e regole logiche.