Creating a Foundation for Next-Generation Autonomous Systems

被引:6
作者
Harel, David [1 ]
Marron, Assaf [1 ]
Sifakis, Joseph [2 ]
机构
[1] Weizmann Inst Sci, Dept Comp Sci & Appl Math, IL-76100 Rehovot, Israel
[2] Univ Grenoble Alpes, Verimag Lab, F-38401 St Martin Dheres, France
基金
以色列科学基金会;
关键词
Autonomous systems; Next generation networking; Vehicle dynamics; Robots; Ontologies; Decision making;
D O I
10.1109/MDAT.2021.3069959
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Editor's notes: This article advocates the need for a new autonomics foundation with a focus on decision-making logic and its processes for building trustworthy autonomous systems. -Selma Saidi, TU Dortmund
引用
收藏
页码:49 / 56
页数:8
相关论文
共 14 条
[1]  
[Anonymous], AUTOMATED DRIVING LE
[2]  
[Anonymous], 2017, ARXIV170806374
[3]  
Boschert S., 2019, Symbiotic Autonomous Systems: White Paper III
[4]  
Damm Werner, 2018, Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. Lecture Notes in Computer Science (LNCS 10760), P182, DOI 10.1007/978-3-319-95246-8_11
[5]  
Harel D., 1985, LOGICS MODELS CONCUR, VF13
[6]   Autonomics: In search of a foundation for next-generation autonomous systems [J].
Harel, David ;
Marron, Assaf ;
Sifakis, Joseph .
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2020, 117 (30) :17491-17498
[7]  
Harel D, 2019, AAAI CONF ARTIF INTE, P9770
[8]   Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks [J].
Katz, Guy ;
Barrett, Clark ;
Dill, David L. ;
Julian, Kyle ;
Kochenderfer, Mykel J. .
COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 :97-117
[9]  
Kone T. F., 2019, PROC INT C COMPLEX S, P176
[10]  
Kounev Samuel, 2017, Self-Aware Computing Systems