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 条
  • [31] Development of learning management system and SCO presentation program based on SCORM
    Watanabe, Hiroyuki
    Koga, Shinichiro
    Kato, Katsuhiro
    Proc. IEEE Int. Conf. Adv. Learn. Technol. ICALT, (870-871):
  • [32] Automatic Monitoring System for Seed Germination Test Based on Deep Learning
    Peng, Qi
    Tu, Lifen
    Wu, Yunyun
    Yu, Zhenyu
    Tang, Gerui
    Song, Wei
    JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING, 2022, 2022
  • [33] Network Intrusion Detection and Prevention System Using Hybrid Machine Learning with Supervised Ensemble Stacking Model
    Mills, Godfrey A.
    Acquah, Daniel K.
    Sowah, Robert A.
    JOURNAL OF COMPUTER NETWORKS AND COMMUNICATIONS, 2024, 2024
  • [34] Blended learning applying interactive discrete event simulation in a web-based learning management system
    Department of Electrical, Information and Media Engineering, University of Wuppertal, D-42119 Wuppertal, Germany
    AEKI; CREAX; ENSAIT; Fraunhofer IPK; Ghent University; UPV, 1600, 109-114 (2005):
  • [35] Design and implementation of a smart learning system for agriculture education based on scientific inquiry
    Fu, Zhiwen
    He, Chaobo
    Proceedings - 10th International Conference on Information Technology in Medicine and Education, ITME 2019, 2019, : 341 - 347
  • [36] Academic Term Search Support System for Beginners in Inquiry-Based Learning
    Sumikawa, Yasunobu
    Ikejiri, Ryohei
    Yamauchi, Yuhei
    Smart Innovation, Systems and Technologies, 2022, 305 SIST : 319 - 329
  • [37] Dose verification of an IMRT treatment planning system with the BEAM EGS4-based Monte Carlo code
    Medical Physics Department, S. Bortolo Hospital, 36100 Vicenza, Italy
    1600, 144-157 (February 1, 2003):
  • [38] Research on the Autonomous Learning System of Vocal Music Knowledge based on Android Platform
    Zhang, Dan
    Proceedings - 2022 International Symposium on Advances in Informatics, Electronics and Education, ISAIEE 2022, 2022, : 658 - 662
  • [39] An intelligent HCI based tutoring system for child-centric learning environment
    Dutt, Sarthika
    Ahuja, Neelu Jyothi
    Multimedia Tools and Applications, 2024, 83 (38) : 85575 - 85596
  • [40] AUTOMATIC HEART-DISEASE DIAGNOSIS SYSTEM USING AN MOS-IC'ED LEARNING MACHINE.
    Nishiyama, Akira
    Yoshino, Hirokazu
    Yoshida, Tomiya
    Yamaguchi, Tetsuo
    1600, (57):
12345