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 条

[31] Statistical Verification of Hyperproperties for Cyber-Physical Systems
Wang, Yu
Zarei, Mojtaba
Bonakdarpour, Borzoo
Pajic, Miroslav
[J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (05)
[32] Towards Foundational Verification of Cyber-physical Systems
Malecha, Gregory
Ricketts, Daniel
Alvarez, Mario M.
Lerner, Sorin
[J]. 2016 SCIENCE OF SECURITY FOR CYBER-PHYSICAL SYSTEMS WORKSHOP (SOSCYPS), 2016,
[33] Towards Verification of Uncertain Cyber-Physical Systems
Radojicic, Carna
Grimm, Christoph
Jantsch, Axel
Rathmair, Michael
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (247): : 1 - 17
[34] Modeling Methodology for Autonomous Cyber-Physical Systems
Pinto, Alessandro
[J]. 2ND INTERNATIONAL WORKSHOP ON COMPUTATION-AWARE ALGORITHMIC DESIGN FOR CYBER-PHYSICAL SYSTEMS (CAADCPS 2022), 2022, : 1 - 2
[35] BraceAssertion: Runtime Verification of Cyber-Physical Systems
Zheng, Xi
Julien, Christine
Podorozhny, Rodion
Cassez, Franck
[J]. 2015 IEEE 12th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), 2015, : 298 - 306
[36] A Hybrid Approach to Cyber-Physical Systems Verification
Kumar, Pratyush
Goswami, Dip
Chakraborty, Samarjit
Annaswamy, Anuradha
Lampka, Kai
Thiele, Lothar
[J]. 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 688 - 696
[37] Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems
Naik, Nikhil
Nuzzo, Pierluigi
[J]. 2020 18TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2020, : 46 - 57
[38] Modeling Cyber-Physical Systems for Automatic Verification
Driouich, Youssef
Parente, Mimmo
Tronci, Enrico
[J]. 2017 14TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD), 2017,
[39] Intelligent autonomous cyber-physical systems and applications
Manogaran, Gunasekaran
Qudrat-Ullah, Hassan
Rawal Kshatriya, Bharat S.
[J]. ENTERPRISE INFORMATION SYSTEMS, 2021, 15 (07) : 909 - 910
[40] Cyber/Physical Co-Verification for Developing Reliable Cyber-Physical Systems
Zhang, Yu
Xie, Fei
Dong, Yunwei
Zhou, Xingshe
Ma, Chunyan
[J]. 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 539 - 548

← 1 2 3 4 5 →