Modeling, Optimization, and Verification for Complex Systems

被引：0
|
作者：
Luo, Guiming [1 ]
Song, Xiaoyu [2 ]
Yang, Xiaojing [3 ]
Thulasiraman, Krishnaiyan [4 ]
Monin, Jean-Francois [5 ]
Yang, Guowu [6 ]
机构：
[1] Tsinghua Univ, Sch Software, Beijing 100084, Peoples R China
[2] Portland State Univ, Dept Elect & Comp Engn, POB 751, Portland, OR 97207 USA
[3] Tsinghua Univ, Dept Math Sci, Beijing 100084, Peoples R China
[4] Univ Oklahoma, Sch Comp Sci, 200 Felgar St,Room 114, Norman, OK 73019 USA
[5] Univ Grenoble Alpes, Verimag, St Martin Dheres, France
[6] Univ Elect Sci & Technol China, Sch Comp Sci & Engn, Chengdu 611731, Sichuan, Peoples R China
来源：
MATHEMATICAL PROBLEMS IN ENGINEERING | 2016年 / 2016卷
关键词：
D O I：
10.1155/2016/2458369
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
引用
收藏
页数：3
相关论文
共 50 条
  • [1] Statistically Sound Verification and Optimization for Complex Systems
    Zhang, Yan
    Sankaranarayanan, Sriram
    Somenzi, Fabio
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, 2014, 8837 : 411 - 427
  • [2] Stochastic modeling and optimization of complex infrastructure systems
    Thoft-Christensen, P
    SYSTEM MODELING AND OPTIMIZATION, 2005, 166 : 109 - 122
  • [3] Modeling, optimization, and control for complex networked systems
    Zhu, Yanzheng
    Zhong, Zhixiong
    Karimi, Hamid Reza
    Ahn, Choon-Ki
    ADVANCES IN MECHANICAL ENGINEERING, 2018, 10 (04):
  • [4] Modeling and optimization in complex systems based on computational intelligence
    Su, Yingying
    Li, Taifu
    Wang, Debiao
    Liu, Xinghua
    KYBERNETES, 2012, 41 (09) : 1235 - 1243
  • [5] MODELING AND OPTIMIZATION OF COMPLEX-SYSTEMS - MARCHUK,GI
    COVALL, D
    BIOMETRICS, 1981, 37 (04) : 868 - 868
  • [6] Optimization in "Self-Modeling" Complex Adaptive Systems
    Watson, Richard A.
    Buckley, C. L.
    Mills, Rob
    COMPLEXITY, 2011, 16 (05) : 17 - 26
  • [7] Mediation systems modeling and verification
    Yang, L
    Ege, RK
    Yu, HQ
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 322 - 331
  • [8] Recent Advances on Modeling, Control, and Optimization for Complex Engineering Systems
    Li, Kang
    Maione, Guido
    Fei, Minrui
    Gu, Xingsheng
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, 2015
  • [9] SCHOOL-SEMINAR ON COMPLEX-SYSTEMS MODELING AND OPTIMIZATION
    BOICHUK, LM
    YURACHKOVSKY, YP
    AVTOMATIKA, 1982, (01): : 91 - 92
  • [10] MODELING AND OPTIMIZATION OF COMPLEX SERVICES IN SERVICE-BASED SYSTEMS
    Grzech, Adam
    Swiatek, Pawel
    CYBERNETICS AND SYSTEMS, 2009, 40 (08) : 706 - 723
12345