A Digital Twin Setup for Safety-aware Optimization of a Cyber-physical System

Jalil Boudjadar, Martin Tomko

2022

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.

Paper Citation

in Harvard Style

Boudjadar J. and Tomko M. (2022). A Digital Twin Setup for Safety-aware Optimization of a Cyber-physical System. In Proceedings of the 19th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-758-585-2, pages 161-168. DOI: 10.5220/0011272100003271

in Bibtex Style

@conference{icinco22,
author={Jalil Boudjadar and Martin Tomko},
title={A Digital Twin Setup for Safety-aware Optimization of a Cyber-physical System},
booktitle={Proceedings of the 19th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2022},
pages={161-168},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011272100003271},
isbn={978-989-758-585-2},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 19th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - A Digital Twin Setup for Safety-aware Optimization of a Cyber-physical System
SN - 978-989-758-585-2
AU - Boudjadar J.
AU - Tomko M.
PY - 2022
SP - 161
EP - 168
DO - 10.5220/0011272100003271