http://www.tu-ilmenau.de

Logo TU Ilmenau


Ansprechpartner

Prof. Dr.-Ing. habil. Andreas Mitschele-Thiel

Fachgebietsleiter

Telefon +49 3677 / 69 2819

E-Mail senden


INHALTE

Veröffentlichungen

Veröffentlichung

Analysis of the Verification Approaches for the Cyber-Physical Systems

Autoren:
Sergiy Korotunov
Galina Tabunshchyk
Dr.-Ing. Prof. h. c. Karsten Henke
Dr.-Ing. Heinz- Dietrich Wuttke
Typ:
Konferenz
Status:
akzeptiert
Veröffentlichungsdatum
15.04.2019
Abstract:
In the paper the possibility of utilization of the Kripke structures for applying linear-time temporal logic in problems of verification of reactive systems is considered. The definition and main characteristics of the cyberphysical systems, finite state machines, Kripke structures and temporal logics are considered by the authors. Example of modeling on the base of GOLDi is provided.
Bibtex
Weiterführender Link
http://ceur-ws.org/Vol-2353/