Industrial automation is an application field in which logic controllers play a dominant role. These controllers typically interact with an heterogeneous physical system, composed by mechanical parts, electrical drives, chemical processes and so on, which means that the overall system's behavior should be represented and analyzed with tools derived from hybrid systems theory. This paper proposes a modeling approach that aims to provide a unified framework, based on the cardinal principles of object orientation, for the specification and verification of logic controllers for multi-domain physical systems. The proposed modeling methodology allows to describe both control software and physical components using the same basic concepts and the same modeling notation, based on the UML language. Moreover, the paper describes how to analyze the behavior of the closed-loop system with formal verification techniques for hybrid systems, in order to prove the correctness of the designed logic controller.

Formal Verification of Hybrid Models for Physical Systems

BONFE', Marcello;SIMANI, Silvio
2006

Abstract

Industrial automation is an application field in which logic controllers play a dominant role. These controllers typically interact with an heterogeneous physical system, composed by mechanical parts, electrical drives, chemical processes and so on, which means that the overall system's behavior should be represented and analyzed with tools derived from hybrid systems theory. This paper proposes a modeling approach that aims to provide a unified framework, based on the cardinal principles of object orientation, for the specification and verification of logic controllers for multi-domain physical systems. The proposed modeling methodology allows to describe both control software and physical components using the same basic concepts and the same modeling notation, based on the UML language. Moreover, the paper describes how to analyze the behavior of the closed-loop system with formal verification techniques for hybrid systems, in order to prove the correctness of the designed logic controller.
2006
Logic controller verification; heterogeneous physical system; hybrid system theory; modeling approach; object orientation; multi-domain physical systems; UML language.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in SFERA 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/519333
 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