Nel presente articolo viene presentata una metodologia per la modellazione e l’analisi di processi industriali, il cui scopo è quello di unificare tutti gli aspetti concettuali coinvolti nello sviluppo delle logiche di controllo. In particolare, l’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 metodi formali per la verifica di sistemi ibridi, cioè sistemi nei quali dinamiche tempo-continue interagiscono con dinamiche discrete e regole logiche.

Modelli orientati agli oggetti per sistemi con dinamiche ibride

BONFE', Marcello;FANTUZZI, Cesare;SIMANI, Silvio
2007

Abstract

Nel presente articolo viene presentata una metodologia per la modellazione e l’analisi di processi industriali, il cui scopo è quello di unificare tutti gli aspetti concettuali coinvolti nello sviluppo delle logiche di controllo. In particolare, l’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 metodi formali per la verifica di sistemi ibridi, cioè sistemi nei quali dinamiche tempo-continue interagiscono con dinamiche discrete e regole logiche.
2007
Bonfe', Marcello; Fantuzzi, Cesare; Secchi, C; Simani, Silvio
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11392/519331
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact