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 条
  • [11] System Assisted Vocal Response Analysis and Assessment of Autism in Children: A Machine Learning Based Approach
    Khan, Soma
    Basu, Tulika
    Basu, Joyanta
    Pal, Madhab
    Roy, Rajib
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14338 LNAI : 506 - 519
  • [12] Machine Learning and Deep Learning Architectures for Intrusion Detection System (IDS): A Survey
    Thankappan, Manesh
    Narayanan, Nikhil
    Sanaj, M.S.
    Manoj, Anusha
    Menon, Aravind P.
    Gokul Krishna, M.
    2024 1st International Conference on Trends in Engineering Systems and Technologies, ICTEST 2024, 2024,
  • [13] Design and Implementation of Machine Learning Algorithm in Question Bank System
    Zhang, Jihong
    Li, Zhe
    Proceedings - 2023 International Conference on Artificial Intelligence and Education, ICAIE 2023, 2023, : 35 - 39
  • [14] Journaling System with Embedded Machine Learning Text Depression Detection Alert
    Hung, Lai Po
    Tadius, Esther Mary
    4th IEEE International Conference on Artificial Intelligence in Engineering and Technology, IICAIET 2022, 2022,
  • [15] Solution on network teaching system based on open source framework
    Software College, Shenyang Normal University, Shenyang, China
    Int. Conf. Inf. Sci. Eng., ICISE, (3439-3442):
  • [16] Humidity Prediction in Crop Monitoring System through Machine Learning and web based application in finance and Smart Agriculture 4.0
    Kaur, Sukhdeep
    Jeevan, R.N.
    Joshi, Kapil
    Anandaram, Harishchander
    Kanti, Puneet
    Pandey, Richa
    2022 International Conference on 4th Industrial Revolution Based Technology and Practices, ICFIRTP 2022, 2022, : 226 - 229
  • [17] Integrating Fingerprint Verification into the Smart Card-Based Healthcare Information System
    Moon, Daesung
    Chung, Yongwha
    Pan, Sung Bum
    Park, Jin-Won
    EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, 2009,
  • [18] Invoice Detection and Recognition System Based on Deep Learning
    Yao, Xunfeng
    Sun, Hao
    Li, Sijun
    Lu, Weichao
    SECURITY AND COMMUNICATION NETWORKS, 2022, 2022
  • [19] Collaborative mechanism of project management based on complex system theory
    Tian, Jiale
    Computer Modelling and New Technologies, 2014, 18 (11): : 945 - 950
  • [20] Automatic Calibration System of Japanese Translation Machine Based on Logistic Algorithm
    Sun, Kansheng
    International Conference on Distributed Computing and Optimization Techniques, ICDCOT 2024, 2024,
12345