Towards Energy-aware Cyber-Physical Systems Verification and Optimization

Reza Soltani*, Eun-Young Kang, Juan Esteban Heredia Mena

*Kontaktforfatter for dette arbejde

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Abstrakt

Optimizing CPS behavior in terms of energy consumption can have a significant impact on system reliability. The environment influences the system’s behavior, and neglecting the environmental behavior has an indirect negative impact on optimizing the system’s behavior. In this work, to increase the system’s flexibility, the behavior of the environment is modeled dynamically to apply the disorderliness of its behavior. The resulting models are formally verified. By examining the past environmental behavior and predicting its future behavior, energy optimization is done more dynamically. The verification results acquired using a UPPAAL-SMC show that the optimization of system behavior by predicting the environmental behavior has been successful. Our approach is demonstrated using a case study within an I4 setting.
OriginalsprogEngelsk
TitelPosition and Communication Papers of the 16th Conference on Computer Science and Intelligence Systems
Vol/bind26
ForlagPolish Information Processing Society
Publikationsdato2021
Sider205-210
ISBN (Elektronisk)978-83-959183-9-1
DOI
StatusUdgivet - 2021
Begivenhed16th Conference on Computer Science and Intelligence Systems, FedCSIS 2021 - Virtual, Sofia, Bulgarien
Varighed: 2. sep. 20215. sep. 2021

Konference

Konference16th Conference on Computer Science and Intelligence Systems, FedCSIS 2021
Land/OmrådeBulgarien
ByVirtual, Sofia
Periode02/09/202105/09/2021
NavnAnnals of Computer Science and Information Systems
Vol/bind26
ISSN2300-5963

Fingeraftryk

Dyk ned i forskningsemnerne om 'Towards Energy-aware Cyber-Physical Systems Verification and Optimization'. Sammen danner de et unikt fingeraftryk.

Citationsformater