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 条
  • [31] Modeling and analysis of wireless networked systems
    Chen, Phoebus
    Oh, Songhwai
    Sastry, Shankar
    HOMELAND SECURITY TECHNOLOGY CHALLENGES: FROM SENSING AND ENCRYPTING TO MINING AND MODELING, 2008, : 207 - +
  • [32] Collaborative forecasting in networked manufacturing enterprises
    Poler, Raul
    Hernandez, Jorge E.
    Mula, Josefa
    Lario, Francisco C.
    JOURNAL OF MANUFACTURING TECHNOLOGY MANAGEMENT, 2008, 19 (04) : 514 - 528
  • [33] Mass Customisation in Sustainable Networked Enterprises
    Giovannini, Antonio
    Aubry, Alexis
    Panetto, Herve
    El Haouzi, Hind
    COLLABORATIVE SYSTEMS FOR REINDUSTRIALIZATION, 2013, 408 : 670 - 678
  • [34] Supporting decisions in real-time enterprises: autonomic supply chain systems
    O'Leary, Daniel E.
    INFORMATION SYSTEMS AND E-BUSINESS MANAGEMENT, 2008, 6 (03) : 239 - 255
  • [35] Bounded invariant verification for time-delayed nonlinear networked dynamical systems
    Huang, Zhenqi
    Fan, Chuchu
    Mitra, Sayan
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2017, 23 : 211 - 229
  • [36] Formal Specification and Verification of wireless networked self-organized Systems on Chip
    Daoud, Hayat
    Tanougast, Camel
    Belarbi, Mostefa
    Heil, Mikael
    2014 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2014, : 730 - 735
  • [37] Supporting decisions in real-time enterprises: autonomic supply chain systems
    Daniel E. O’Leary
    Information Systems and e-Business Management, 2008, 6 : 239 - 255
  • [38] DESIGN AND EXPERIMENTAL VERIFICATION OF STATE PREDICTIVE LQG CONTROLLERS FOR NETWORKED CONTROL SYSTEMS
    Azuma, Takehito
    INTERNATIONAL JOURNAL ON SMART SENSING AND INTELLIGENT SYSTEMS, 2014, 7 (03) : 1201 - 1220
  • [39] Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems
    Kim, Youngdong
    Kim, Ikhwan
    Kang, Inhye
    Kim, Taehyoun
    Sung, Minyoung
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2014, 20 (14) : 1903 - 1925
  • [40] Stability analysis of networked systems with similar dynamics
    Schuh, Rene
    Lunze, Jan
    2013 EUROPEAN CONTROL CONFERENCE (ECC), 2013, : 4359 - 4364
12345