Verification of a Smart Power Control System using Hybrid Actors

This paper proposes an approach to modelling and analysis of time-critical cyber-physical systems (CPSs). The approach combines discrete-time actors with continuous modes which reproduce the dynamical laws by which some external variables change their value. In particular, the article introduces Hybrid Theatre which is an original actor formalism and an implementation framework in Java, for the development of CPSs. A Hybrid Theatre model is mapped onto Uppaal hybrid timed automata for property assessment by statistical model checking. A smart power control system in a micro grid is presented as a case study to demonstrate the usefulness of the proposed approach.



Titolo: Verification of a Smart Power Control System using Hybrid Actors
Autori: 
NIGRO, Libero [Membro del Collaboration Group] (Corresponding)
SCIAMMARELLA, PAOLO FRANCESCO [Membro del Collaboration Group]
Data di pubblicazione: 2019
Handle: http://hdl.handle.net/20.500.11770/295157
Appare nelle tipologie:4.1 Contributo in Atti di convegno

File in questo prodotto:
Non ci sono file associati a questo prodotto.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/20.500.11770/295157
  • Citazioni
  • PubMed Central ND
  • Scopus ND
  • WOS ND

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
 
 
 
Powered by IRIS-about IRIS-Utilizzo dei cookie
Logo CINECA  Copyright © 2021