Advances In Cyber-Physical Systems. – 2018. – Vol. 3, No. 1

Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/45642

Науковий журнал

Засновник і видавець Національний університет «Львівська політехніка». Виходить двічі на рік з 2016 року.

Advances in Cyber-Physical Systems / Lviv Polytechnic National University ; editor-in-chief A. Melnyk. – Lviv : Lviv Politechnic Publishing House, 2018. – Volume 3, number 1. – 54 p. : ill.

Зміст


1
7
15
26
33
44
51

Content (Vol. 3, No 1)


1
7
15
26
33
44
51

Browse

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    On the approaches to cyber-physical systems simulation
    (Lviv Politechnic Publishing House, 2018-02-01) Shkarupylo, Vadym; Kudermetov, Ravil; Polska, Olga; Zaporizhzhia National Technical University
    A comparative analysis of existing approaches to Cyber-Physical Systems simulation has been conducted. The intrinsic peculiarities of Cyber-Physical Systems have been reasoned and generalized. The limitations of available simulation tools have been pointed out. The approach to Cyber-Physical Systems design solutions checking on the basis of timed automata, UPPAAL integrated tool environment and Temporal Logic of Actions usage has been proposed. The proposed approach is supposed to be applied at designing stage – to prevent the potential time and computational expenses on overcomplicated or faulty formal models checking. A case study on electric power delivery system usage scenario has been conducted.