Runtime model validation for partially-observable hybrid systems

• 1. 基于模型检测的系统运行时验证方法、系统和计算机设备 [P] . 中国专利： CN113778860A . 2021-12-10
• 2. 一种基于抽象解释和模型验证的运行时错误分析方法 [P] . 中国专利： CN103617115B . 2016.02.10
• 3. RUNTIME MODEL VALIDATION FOR PARTIALLY-OBSERVABLE HYBRID SYSTEMS [P] . 美国专利： US2020089570A1 . 2020-03-19

  机译： 部分可观察的混合系统的运行时模型验证

• 4. Verified Runtime Validation of Verified Cyber-Physical System Models [P] . 美国专利： US2016253437A1 . 2016-09-01

  机译： 经验证的网络物理系统模型的经验证的运行时验证

• 5. VERIFIED RUNTIME VALIDATION OF VERIFIED CYBER-PHYSICAL SYSTEM MODELS [P] . 世界知识产权组织专利： WO2015102717A3 . 2015-08-27

  机译： 经验证的网络物理系统模型的经验证的运行时验证

• 1. A New Method with High Confidence for Validation of Computer Simulation Models of Flight Systems [J] . 系统工程与电子技术：英文版 . 1993,第004期
• 2. Hybrid Petri Nets for Modeling and Analysis of Microgrid Systems [J] . Xiaoyu Lu, MengChu Zhou, Ahmed Chiheb Ammari, 自动化学报：英文版 . 2016,第004期
• 3. The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems [C] . Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Euromicro Conference on Digital System Design . 2017
• 4. Model-based validation of fuel cell hybrid vehicle control systems. [D] . Wilhelm, Erik. 2007
• 5. Review of stochastic hybrid systems with applications in biological systems modeling and analysis [O] . Xiangfang Li, Oluwaseyi Omotere, Lijun Qian, 2017
• 6. The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems [O] . Afzal, Wasif, Bruneliere, Hugo, Di Ruscio, Davide, 2017

• 1. VALIDATION OF NEAR-SURFACE WINDS OBTAINED BY A HYBRID WRF/CALMET MODELING SYSTEM OVER A COASTAL ISLAND WITH COMPLEX TERRAIN [J] . 路屹雄 ,汤剑平 ,王元 . 热带气象学报：英文版 . 2012,第3期
• 2. Hybrid Enterprise Modelling: Integrating Modelling Mechanisms for Socio-Technical Systems Analysis and Design [J] . Amjad Fayoumi ,Pericles Loucopoulos ,Ayham Fayyoumi . 软件工程与应用（英文） . 2014,第1期
• 3. Modeling and Simulation of a Hybrid Energy Storage System for Residential Grid-Tied Solar Microgrid Systems [J] . Abdrahamane Traore ,Allan Taylor ,M. A. Zohdy . 电力能源（英文） . 2017,第5期
• 4. 风切变对风力机气动性能影响的数值模拟研究第一部分:准三维模型及验证 [C] . 康顺 ,范忠瑶 ,赵萍 . 中国工程热物理学会2010年流体机械学术会议 . 2010
• 5. 第一部分 孤立肺结节良恶性鉴别诊断模型的建立及验证;第二部分 非小细胞肺癌复发监测血清分子标志物的研究 [A] . 董静思 . 2014