Comments16 pages, including appendices. v2: second soft-survival system (Duffing double well, pre-registered) with a linear-oscillator anchor; 5-seed and step-size hardening of the state-Kepler result; 8-seed SympNet confirmation of the lift null. Code: https://github.com/TimothyWang418/se3-ejepa
机构
*
School of Information Science and Technology, Harbin Institute of Technology (Shenzhen)(哈尔滨工业大学(深圳)信息科学与技术学院)
;
Shenzhen Loop Area Institute(深圳河套学院)
;
School of Computer Science and Technology, Harbin Institute of Technology (Shenzhen)(哈尔滨工业大学(深圳)计算机科学与技术学院)
;
Pengcheng Laboratory(鹏城实验室)
;
School of Computer Science and Technology, Shandong Jianzhu University(山东建筑大学计算机科学与技术学院)
;
Zhongguancun Academy(中关村学院)
;
City University of Hong Kong(香港城市大学)
Hardware-Enforced Semantic Coordination for Safety-Critical Real-Time Autonomous Systems
面向安全关键实时自主系统的硬件强制语义协调
Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
机构
*
Department of Computer Science University of the Bundeswehr Munich Neubiberg, Germany
;
Department of Computer Science Sapienza University of Rome Rome, Italy
;
STAKE Lab University of Molise Campobasso, Italy