Cyber-Physical Systems: The Linguistic Aspect

被引:1
|
作者
Godlevsky, A. B. [1 ]
Morokhovets, M. K. [1 ]
机构
[1] Natl Acad Sci Ukraine, VM Glushkov Inst Cybernet, Kiev, Ukraine
关键词
control system; linguistically driven design; methodology for designing control systems; cyber-physical system; SPECIFICATIONS;
D O I
10.1007/s10559-020-00308-8
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
An approach to the design of control systems of technical objects is proposed. Its peculiarity is linguistically driven design. A methodology for designing control systems is presented, which is developed based on this approach and is destined for use at the design stage preceding the construction of a formal model.
引用
收藏
页码:878 / 892
页数:15
相关论文
共 50 条
  • [21] Security in Cyber-Physical Systems
    Dsouza, Joanita
    Elezabeth, Laura
    Mishra, Ved Prakash
    Jain, Rachna
    [J]. PROCEEDINGS 2019 AMITY INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AICAI), 2019, : 840 - 844
  • [22] Engineering Cyber-Physical Systems
    Gruhn, Volker
    Gries, Stefan
    Hesenius, Marc
    Ollesch, Julius
    Ur Rehman, Shafiq
    Schwenzfeier, Nils
    Wahl, Christian
    Wessling, Florian
    [J]. NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2017, 297 : 3 - 18
  • [23] Cyber-Physical Manufacturing Systems
    Tilbury, Dawn M.
    [J]. ANNUAL REVIEW OF CONTROL, ROBOTICS, AND AUTONOMOUS SYSTEMS, VOL 2, 2019, 2 : 427 - 443
  • [24] Quantum cyber-physical systems
    Villalba-Diez, Javier
    Gonzalez-Marcos, Ana
    Ordieres-Mere, Joaquin
    [J]. SCIENTIFIC REPORTS, 2022, 12 (01)
  • [25] Cyber-Physical Systems – Security
    Tanja Zseby
    [J]. e & i Elektrotechnik und Informationstechnik, 2018, 135 (3) : 249 - 249
  • [26] Quantum cyber-physical systems
    Javier Villalba-Diez
    Ana González-Marcos
    Joaquín Ordieres-Meré
    [J]. Scientific Reports, 12
  • [27] Review on Cyber-physical Systems
    Liu, Yang
    Peng, Yu
    Wang, Bailing
    Yao, Sirui
    Liu, Zihe
    [J]. IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2017, 4 (01) : 27 - 40
  • [28] Medical Cyber-Physical Systems
    Sokolsky, Oleg
    [J]. 18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011), 2011, : 2 - 2
  • [29] Cyber-physical systems in manufacturing
    Monostori, L.
    Kadar, B.
    Bauernhansl, T.
    Kondoh, S.
    Kumara, S.
    Reinhart, G.
    Sauer, O.
    Schuh, G.
    Sihn, W.
    Ueda, K.
    [J]. CIRP ANNALS-MANUFACTURING TECHNOLOGY, 2016, 65 (02) : 621 - 641
  • [30] Modeling Cyber-Physical Systems
    Derler, Patricia
    Lee, Edward A.
    Vincentelli, Alberto Sangiovanni
    [J]. PROCEEDINGS OF THE IEEE, 2012, 100 (01) : 13 - 28