Cyber-Physical Systems

被引：23
|
作者：
Letichevsky A.A. [1 ]
Letychevskyi O.O. [1 ]
Skobelev V.G. [1 ]
Volkov V.A. [1 ]
机构：
[1] V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv
来源：
Letichevsky, A.A. (aaletichevsky78@gmail.com) | 2017年 / Springer Science and Business Media, LLC卷 / 53期
关键词：
cyber-physical systems; hybrid automata; verification;
D O I：
10.1007/s10559-017-9984-9
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A retrospective analysis of cyber-physical systems theory is given, and its current state is characterized. A number of problems arising in the theory of hybrid automata is investigated. A semigroup transition system is considered, which underlies the extension of the algebraic theory of interaction of labeled transition systems to cyber-physical systems. © 2017, Springer Science+Business Media, LLC, part of Springer Nature.
引用
收藏
页码：821 / 834
页数：13
相关论文
共 50 条
  • [1] Cyber-physical Systems
    Wolf, Wayne
    [J]. COMPUTER, 2009, 42 (03) : 88 - 89
  • [2] Cyber-Physical Systems
    Lamnabhi-Lagarrigue, Francoise
    Di Benedetto, Maria Domenica
    Schoitsch, Erwin
    [J]. ERCIM NEWS, 2014, (97): : 6 - 7
  • [3] Cyber-physical Systems
    Vogel-Heuser, Birgit
    Kowalewski, Stefan
    [J]. AT-AUTOMATISIERUNGSTECHNIK, 2013, 61 (10) : 667 - 668
  • [4] CYBER-PHYSICAL SYSTEMS
    Zanero, Stefano
    [J]. COMPUTER, 2017, 50 (04) : 15 - 16
  • [5] Engineering with cyber-physical systems - From mechatronic to cyber-physical engineering
    Scheifele, Stefan
    Verl, Alexander
    Riedel, Oliver
    [J]. ATP MAGAZINE, 2018, (11-12): : 68 - 78
  • [6] Cyber-Physical Zero Trust Architecture for Industrial Cyber-Physical Systems
    Feng, Xiaomeng
    Hu, Shiyan
    [J]. IEEE Transactions on Industrial Cyber-Physical Systems, 2023, 1 : 394 - 405
  • [7] Cyber-Physical Systems Attestation
    Valente, Junia
    Barreto, Carlos
    Cardenas, Alvaro A.
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS (IEEE DCOSS 2014), 2014, : 354 - 357
  • [8] EDA for Cyber-Physical Systems
    Chakraborty, Samarjit
    [J]. 2017 7TH INTERNATIONAL SYMPOSIUM ON EMBEDDED COMPUTING AND SYSTEM DESIGN (ISED), 2017,
  • [9] Cyber-Physical Systems for SmartGrid
    Dillon, Tharam S.
    Chang, Elizabeth
    Wu, Chen
    [J]. IECON 2010: 36TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2010,
  • [10] Cyber-Physical Systems - Security
    Zseby, T.
    [J]. ELEKTROTECHNIK UND INFORMATIONSTECHNIK, 2018, 135 (03): : 249 - 249
12345