Authors:
Jalil Boudjadar
1
and
Martin Tomko
2
Affiliations:
1
ECE Department, Aarhus University, Aarhus, Denmark
;
2
Systematic, Aarhus, Denmark
Keyword(s):
Digital Twins, Model-based Engineering, Safety, Optimization, Formal Verification, Uppaal.
Abstract:
Digital twin technology offers a sophisticated and flexible methodology to design high fidelity models of cyber-physical systems for simulation, optimization, formal verification and validation purposes. This has made such a technology a nascent process being currently adopted in many industries. This paper introduces a digital twin setup for safety-aware performance optimization of a cyber-physical system (Energy Buck converter EBC). This is achieved by designing a high fidelity digital twin model of the Buck converter through synchronization of the model with the physical system, namely calibration. The behavior model is originally built in MATLAB to identify potential runtime optimization patterns using a genetic algorithm. Such a model is translated to a Uppaal model to perform formal verification of the safety properties. The behavior patterns from optimization are provided as inputs to the verification engine for approval, where only valid and feasible patterns are pushed into
the actual control loop of EBC. The proposed setup has led to maintain the system safety while optimizing the performance and reducing the output errors.
(More)