Verification and analysis of autonomic systems for networked enterprises

被引：0
|
作者：
Bertolino, Antonia [1 ]
De Angelis, Guglielmo [1 ]
Di Giandomenico, Felicita [1 ]
Marchetti, Eda [1 ]
Sabetta, Antonino [1 ]
Spoletini, Paola [2 ]
机构：
[1] ISTI-CNR, Via Moruzzi 1, Pisa, Italy
[2] Universitá dell'Insubria, Via Ravasi 2, Varese, Italy
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012年 / 7200 LNCS卷
关键词：
Compendex;
D O I：
10.1007/978-3-642-31739-2_8
中图分类号：
学科分类号：
摘要：
Model checking
引用
收藏
页码：143 / 169
相关论文
共 50 条
  • [41] Networked Control Systems Analysis and Design: An Overview
    Magdi S. Mahmoud
    Arabian Journal for Science and Engineering, 2016, 41 : 711 - 758
  • [42] Stability analysis of stochastic networked control systems
    Donkers, M. C. F.
    Heemels, W. P. M. H.
    Bernardini, D.
    Bemporad, A.
    Shneer, V.
    AUTOMATICA, 2012, 48 (05) : 917 - 925
  • [43] Survey on the performance analysis of networked control systems
    Yu, JY
    Yu, SM
    Wang, HQ
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 5068 - 5073
  • [44] Communications reliability analysis in networked embedded systems
    Aza-Vallina, Damien
    Denis, Bruno
    Faure, Jean-Marc
    ADVANCES IN SAFETY, RELIABILITY AND RISK MANAGEMENT, 2012, : 2639 - 2646
  • [45] Stability Analysis of Decentralized Networked Control Systems
    Wei, Junyu
    2008 7TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-23, 2008, : 5477 - 5482
  • [46] Structured Sum of Squares for Networked Systems Analysis
    Hancock, Edward J.
    Papachristodoulou, Antonis
    2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 7236 - 7241
  • [47] Stability analysis of networked impulsive control systems
    Guan, Zhi-Hong
    Huang, Jian
    Chen, Guanrong
    2006 CHINESE CONTROL CONFERENCE, VOLS 1-5, 2006, : 1160 - +
  • [48] Modeling and Analysis of the Reliability of Digital Networked Control Systems Considering Networked Degradations
    Mo, Huadong
    Wang, Wei
    Xie, Min
    Xiong, Junlin
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2017, 14 (03) : 1491 - 1503
  • [49] Networked Control Systems Analysis and Design: An Overview
    Mahmoud, Magdi S.
    ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 2016, 41 (03) : 711 - 758
  • [50] Stochastic stabilization analysis of networked control systems
    Ma Changlin & Fang Huajing 1. Dept. of Computer Science
    2. Dept. of Control Science and Engineering
    Journal of Systems Engineering and Electronics, 2007, (01) : 137 - 141
12345