Framework for Formal Verification of Machine Learning Based Complex System-of-System

被引：5
|
作者：
Raman, Ramakrishnan [1 ]
Gupta, Nikhil [1 ]
Jeppu, Yogananda [1 ]
机构：
[1] Honeywell Technology Solutions Lab, Bangalore, India
来源：
INCOSE International Symposium | 2021年 / 31卷 / 01期
关键词：
Compendex;
D O I：
10.1002/j.2334-5837.2021.00840.x
中图分类号：
学科分类号：
摘要：
Complex networks - Formal verification - Hierarchical systems - Large scale systems - System of systems
引用
收藏
页码：310 / 326
相关论文
共 50 条
  • [21] A machine learning-based framework for automatic identification of process and product fingerprints for smart manufacturing systems
    Kundu, Pradeep
    Luo, Xichun
    Qin, Yi
    Cai, Yukui
    Liu, Zhanqiang
    Journal of Manufacturing Processes, 2022, 73 : 128 - 138
  • [22] Checklist system based on a web for qualities of distance learning and the operation
    Ogawa, Nobuyuki
    Kanematsu, Hideyuki
    Fukumura, Yoshimi
    Shimizu, Yasutaka
    Smart Innovation, Systems and Technologies, 2012, 14 : 129 - 141
  • [23] Oral English Auxiliary Teaching System Based on Deep Learning
    Qu, Chenhui
    Li, Yuanbo
    ADVANCES IN MULTIMEDIA, 2022, 2022
  • [24] Learning to play minigolf: A dynamical system-based approach
    Khansari-Zadeh, S.M.
    Kronander, Klas
    Billard, Aude
    Advanced Robotics, 2012, 26 (17): : 1967 - 1993
  • [25] Development of healthy wine visible particle detection system based on machine vision
    Zhang, Hui
    Wang, Yaonan
    Zhou, Bowen
    Ge, Ji
    Yi Qi Yi Biao Xue Bao/Chinese Journal of Scientific Instrument, 2009, 30 (05): : 973 - 979
  • [26] Design and experiment of watermelon seed machine vision inspection system based on FPGA
    Zhao, Jiwen
    Gao, Shang
    Wei, Zhengcui
    Wang, Yang
    Nongye Jixie Xuebao/Transactions of the Chinese Society of Agricultural Machinery, 2011, 42 (08): : 173 - 177
  • [27] Studies on the key technology in the network learning system based on NC/Linux
    School of Electrical Engineering, Southwest Jiaotong University, Chengdu
    Sichuan
    610031, China
    不详
    Sichuan
    621010, China
    不详
    8700, Austria
    1600, 183-188 (2004):
  • [28] A Web-based Immediate Diagnosis System for efficient ERM learning
    Dept. of International Business, Ching Yun University, Taoyuan, Taiwan
    IEEE Int. Conf. Commun. Softw. Networks, ICCSN, 2011, (66-70):
  • [29] Enterprise strategic fitness landscape model based on learning classifier system
    Feng, Yan-Jie
    Xu, Bo
    Xitong Gongcheng Lilun yu Shijian/System Engineering Theory and Practice, 2008, 28 (12): : 70 - 75
  • [30] A web-based learning management system with automatic assessment resources
    Moura, Janine G.
    Brandão, Leônidas O.
    Brandão, Anarosa A. F.
    Proc. Front. Educ. Conf. FIE, 1600, (F2D1-F2D6):
12345