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 条
  • [1] WEB based learning system for complex networks
    IEEE
    不详
    CeNTIE; hp; IEEE; UNESCO; UTS: IICT; UTS: IML, 1600, 557-562 (2006):
  • [2] Ensuring SFENCE Instruction Correctness: A Formal Verification Framework Based on Invariants
    Ponugoti, Kushal K.
    IEEE International Conference on Electro Information Technology, 2024, : 215 - 220
  • [3] Machine Learning Based Early Detection System of Cardiac Arrest
    Graduate Institute of Networking and Multimedia, National Taiwan University, Taipei, Taiwan
    不详
    不详
    不详
    Proc. - Int. Conf. Technol. Appl. Artif. Intell., TAAI, 1600,
  • [4] DESIGN OF COMPUTER INFORMATION MANAGEMENT SYSTEM BASED ON MACHINE LEARNING ALGORITHMS
    Li, Yan
    Scalable Computing, 2024, 25 (02): : 944 - 951
  • [5] IoT Based System for Heart Monitoring and Arrhythmia Detection Using Machine Learning
    Cañón-Clavijo R.E.
    Montenegro-Marin C.E.
    Gaona-Garcia P.A.
    Ortiz-Guzmán J.
    Journal of Healthcare Engineering, 2023, 2023
  • [6] Haptic paddle enhancements and a formal assessment of student learning in system dynamics
    Gorlewicz, Jenna L.
    Kratchman, Louis B.
    Webster, Robert J.
    Advances in Engineering Education, 2014, 4 (02):
  • [7] Machine Learning Applications in Power System Condition Monitoring
    Stephen, Bruce
    ENERGIES, 2022, 15 (05)
  • [8] Online Election Management System Using Machine Learning
    Selvaganesh, M.
    Logesh, P.
    Manishkumar, K.
    Proceedings of the 5th International Conference on Inventive Research in Computing Applications, ICIRCA 2023, 2023, : 466 - 470
  • [9] Rapid development and execution of complex agent-based energy system simulations: The FAME framework
    Frey, Ulrich J.
    Schimeczek, Christoph
    Deissenroth-Uhrig, Marc
    Fuchs, Benjamin
    Nienhaus, Kristina
    2023 2nd International Workshop on Open Source Modelling and Simulation of Energy Systems, OSMSES 2023 - Proceedings, 2023,
  • [10] Blockchain-Based Internet of Things: Machine Learning Tea Sensing Trusted Traceability System
    Wu, Yuting
    Jin, Xiu
    Yang, Honggang
    Tu, Lijing
    Ye, Yong
    Li, Shaowen
    Journal of Sensors, 2022, 2022
12345