Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems

被引：9

作者：

Tran, Hoang-Dung ^{[1
]}

Xiang, Weiming ^{[2
]}

Johnson, Taylor T. ^{[3
]}

机构：

[1] Univ Nebraska, Dept Comp Sci & Engn, Lincoln, NE 68588 USA

[2] Augusta Univ, Sch Comp & Cyber Sci, Augusta, GA USA

[3] Vanderbilt Univ, Elect Engn & Comp Sci, 221 Kirkland Hall, Nashville, TN 37212 USA

来源：

IEEE DESIGN & TEST | 2022年 / 39卷 / 01期

关键词：

Biological neural networks; Neurons; Safety; Encoding; Formal verification; Machine learning; Cyber-physical systems; verification; machine learning; autonomy; cyber-physical systems; NETWORKS;

D O I：

10.1109/MDAT.2020.3015712

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Editor's notes: Neural network control systems are often at the heart of autonomous systems. The authors classify existing verification methods for these systems and advocate the necessity of integrating verification techniques in the training process to enhance robustness. -Selma Saidi, TU Dortmund

引用

页码：24 / 34

页数：11

共 50 条

[1] Causal Repair of Learning-Enabled Cyber-Physical Systems
Lu, Pengyuan
Ruchkin, Ivan
Cleaveland, Matthew
Sokolsky, Oleg
Lee, Insup
[J]. 2023 IEEE INTERNATIONAL CONFERENCE ON ASSURED AUTONOMY, ICAA, 2023, : 1 - 10
[2] INVITED: Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems
Tuncali, Cumhur Erkan
Kapinski, James
Ito, Hisahiro
Deshmukh, Jyotirmoy V.
[J]. 2018 55TH ACM/ESDA/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2018,
[3] Certifying Learning-Enabled Autonomous Cyber Physical Systems - A Deployment Perspective
Singh, Suraj
Hazra, Somnath
Dey, Sumanta
Dey, Soumyajit
[J]. PROCEEDINGS OF THE 37TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, VLSID 2024 AND 23RD INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, ES 2024, 2024, : 270 - 275
[4] NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Tran, Hoang-Dung
Yang, Xiaodong
Lopez, Diego Manzanas
Musau, Patrick
Luan Viet Nguyen
Xiang, Weiming
Bak, Stanley
Johnson, Taylor T.
[J]. COMPUTER AIDED VERIFICATION (CAV 2020), PT I, 2020, 12224 : 3 - 17
[5] Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems
Pugh, Sydney
Ruchkin, Ivan
Weimer, James
Lee, Insup
[J]. PROCEEDINGS 15TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS, ICCPS 2024, 2024, : 212 - 223
[6] Ensemble Learning-Enabled Security Anomaly Identification for IoT Cyber-Physical Power Systems
Zhao, Hongjun
Li, Changjun
Yin, Xin
Li, Xiujun
Zhou, Rui
Fu, Rong
[J]. ELECTRONICS, 2022, 11 (23)
[7] Detecting Adversarial Examples in Learning-Enabled Cyber-Physical Systems using Variational Autoencoder for Regression
Cai, Feiyang
Li, Jiani
Koutsoukos, Xenofon
[J]. 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (SPW 2020), 2020, : 208 - 214
[8] Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach
Zheng, Xi
Mok, Aloysius K.
Piskac, Ruzica
Lee, Yong Jae
Krishnamachari, Bhaskar
Zhu, Dakai
Sokolsky, Oleg
Lee, Insup
[J]. COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024, 2024, : 467 - 471
[9] Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems
Xie, Yuan
Wang, Yixuan
Huang, Chao
Zhu, Qi
[J]. 2020 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED-DESIGN (ICCAD), 2020,
[10] Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems
Cai, Feiyang
Koutsoukos, Xenofon
[J]. 2020 ACM/IEEE 11TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2020), 2020, : 174 - 183

← 1 2 3 4 5 →