엔드 투 엔드 AI 워크플로

요구 사항을 정의하고 데이터를 준비하고 딥러닝 신경망을 훈련시키고 견고성을 검증하고 신경망을 Simulink에 통합하고 모델을 배포합니다. (R2024b 이후)

• 단계 1: Define Requirements for Battery State of Charge Estimation
• 단계 2: Prepare Data for Battery State of Charge Estimation Using Deep Learning
• 단계 3: Train Deep Learning Network for Battery State of Charge Estimation
• 단계 4: Compress Deep Learning Network for Battery State of Charge Estimation
• 단계 5: Test and Verify Deep Learning Network for Battery State of Charge Estimation
• 단계 6: Integrate AI Model into Simulink for Battery State of Charge Estimation
• 단계 7: Generate Code for Battery State of Charge Estimation Using Deep Learning
• 단계 8: Deploy Code for Battery State of Charge Estimation Using Deep Learning

Train and compress a sequence classification network using pruning, projection, and quantization to meet a fixed memory requirement. (R2025a 이후)

• 단계 1: Train Sequence Classification Network for Road Damage Detection
• 단계 2: Compress Sequence Classification Network for Road Damage Detection
• 단계 3: Tune Compression Parameters for Sequence Classification Network for Road Damage Detection
• 단계 4: Generate Simulink Model from Sequence Classification Network for Road Damage Detection

This example shows how to develop and verify a deep learning model that classifies electrocardiogram (ECG) signals to detect atrial fibrillation (AFib). (R2026a 이후)

• 단계 1: Define Requirements for ECG Signal Classification Using Deep Learning
• 단계 2: Prepare Data for ECG Signal Classification
• 단계 3: Train Deep Learning Network for ECG Signal Classification
• 단계 4: Improve Adversarial Robustness of Deep Learning Network for ECG Signal Classification
• 단계 5: Test Deep Learning Network for ECG Signal Classification
• 단계 6: Out-of-Distribution Detection for ECG Signal Classification
• 단계 7: Uncertainty Quantification for ECG Signal Classification
• 단계 8: Investigate ECG Signal Classifications Using Grad-CAM
• 단계 9: Build Deep Learning ECG Signal Classification App Using App Designer

Verify a set of neural networks trained for airborne collision avoidance integrated into a Simulink model using formal methods and scenario-based closed-loop testing. (R2026a 이후)

• 단계 1: Explore ACAS Xu Neural Networks
• 단계 2: Verify Local Robustness of ACAS Xu Neural Networks
• 단계 3: Verify Global Stability of ACAS Xu Neural Networks
• 단계 4: Verify Global Stability of ACAS Xu Neural Network Using Adaptive Mesh
• 단계 5: Verify VNN-COMP Benchmark for ACAS Xu Neural Networks
• 단계 6: Verify VNN-COMP Benchmark for ACAS Xu Neural Networks Using α,β-CROWN
• 단계 7: Define and Verify AI Constituent Requirements for ACAS Xu Neural Networks
• 단계 8: Integrate ACAS Xu Neural Networks into Simulink
• 단계 9: Define and Verify AI System Requirements for ACAS Xu Neural Networks Integrated Into Simulink

This example shows how to verify a deep learning system for airborne applications and is based on the work in [5,6,7], which includes the development and verification activities required by DO-178C [1], ARP4754A [2], and prospective EASA and FAA guidelines [3,4]. (R2023b 이후)