Special issue: Formal verification of cyber-physical systems

被引：0
|
作者：
Geretti, Luca [1 ,3 ]
Abate, Alessandro [2 ]
Nuzzo, Pierluigi [3 ]
Villa, Tiziano [1 ]
机构：
[1] Univ Verona, Verona, Italy
[2] Univ Oxford, Oxford, England
[3] Univ Southern Calif, Los Angeles, CA 90007 USA
来源：
INFORMATION AND COMPUTATION | 2022年 / 289卷
关键词：
D O I：
10.1016/j.ic.2022.104979
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页数：3
相关论文
共 50 条
  • [1] Special issue on cyber-physical systems
    Stojanovic, Radovan
    Jozwiak, Lech
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 2017, 52 : 219 - 220
  • [2] Special Issue on Cyber-Physical Systems
    Poovendran, Radha
    Sampigethaya, Krishna
    Gupta, Sandeep Kumar S.
    Lee, Insup
    Prasad, K. Venkatesh
    Corman, David
    Paunicka, James L.
    [J]. PROCEEDINGS OF THE IEEE, 2012, 100 (01) : 6 - 12
  • [3] Special issue on cyber-physical systems
    Guo, Song
    [J]. INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED SYSTEMS, 2014, 29 (03) : 213 - 214
  • [4] Formal Verification of Control Modules in Cyber-Physical Systems
    Grobelna, Iwona
    [J]. SENSORS, 2020, 20 (18) : 1 - 23
  • [5] Special Issue on Control of Cyber-Physical Systems
    Johansson, Karl H.
    Pappas, George J.
    Tabuada, Paulo
    Tomlin, Claire J.
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (12) : 3120 - 3121
  • [6] Special Issue on Scalable Cyber-Physical Systems
    Qiu, Meikang
    Garg, Saurabh
    Buyya, Rujkumar
    Yu, Bei
    Hu, Shiyan
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2017, 103 : 1 - 2
  • [7] Introduction to special issue on cyber-physical systems
    Quaglia, Davide
    Geilen, Marc
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 2015, 39 (08) : 817 - 817
  • [8] Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements
    Sanwal, Muhammad Usman
    Hasan, Osman
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PT I, 2013, 7971 : 358 - 371
  • [9] Towards Formal Verification of Neural Networks in Cyber-Physical Systems
    Rossi, Federico
    Bernardeschi, Cinzia
    Cococcioni, Marco
    Palmieri, Maurizio
    [J]. NASA FORMAL METHODS, NFM 2024, 2024, 14627 : 207 - 222
  • [10] Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems
    Krishna, Shankara Narayanan
    Trivedi, Ashutosh
    [J]. JOURNAL OF THE INDIAN INSTITUTE OF SCIENCE, 2013, 93 (03) : 419 - 440
12345