English
Related papers

Related papers: HEMA: A Hands-on Exploration Platform for MEMS Sen…

200 papers

This paper describes the comprehensive safety framework that underpinned the development, release process, and regulatory approval of BMW's first SAE Level 3 Automated Driving System. The framework combines established qualitative and…

Robotics · Computer Science 2025-03-27 Moritz Werling , Rainer Faller , Wolfgang Betz , Daniel Straub

Leveraging human motion data to impart robots with versatile manipulation skills has emerged as a promising paradigm in robotic manipulation. Nevertheless, translating multi-source human hand motions into feasible robot behaviors remains…

Robotics · Computer Science 2025-09-03 Zhecheng Yuan , Tianming Wei , Langzhe Gu , Pu Hua , Tianhai Liang , Yuanpei Chen , Huazhe Xu

HADES is a fully automated verification tool for pipeline-based microprocessors that aims at flaws caused by improperly handled data hazards. It focuses on single-pipeline microprocessors designed at the register transfer level (RTL) and…

Hardware Architecture · Computer Science 2016-12-16 Lukáš Charvát , Aleš Smrčka , Tomáš Vojnar

Security-critical system requirements are increasingly enforced through mandatory access control systems. These systems are controlled by security policies, highly sensitive system components, which emphasizes the paramount importance of…

Cryptography and Security · Computer Science 2017-06-13 Peter Amthor

Electronic structure simulation (ESS) has been used for decades to provide quantitative scientific insights on an atomistic scale, enabling advances in chemistry, biology, and materials science, among other disciplines. Following standard…

Machine Learning · Computer Science 2024-06-06 Hatem Helal , Andrew Fitzgibbon

In vehicular communications, in-vehicle devices' mobile and multihoming characteristics bring new requirements for devicevsecurity authentication. On the one hand, the existing network layer authentication methods rely on the PKI system; on…

Cryptography and Security · Computer Science 2022-02-09 Zongzheng Wang , Ping Dong

The amount of software in modern cars is increasing continuously with traditional electric/electronic (E/E) architectures reaching their limit when deploying complex applications, e.g., regarding bandwidth or computational power. To…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-06-18 Kevin Klein , Pascal Hirmer , Steffen Becker

While the most visible part of the safety verification process of automated vehicles concerns the planning and control system, it is often overlooked that safety of the latter crucially depends on the fault-tolerance of the preceding…

Robotics · Computer Science 2021-11-25 Cornelius Buerkle , Florian Geissler , Michael Paulitsch , Kay-Ulrich Scholl

Since the 2004 DARPA Grand Challenge, the autonomous driving technology has witnessed nearly two decades of rapid development. Particularly, in recent years, with the application of new sensors and deep learning technologies extending to…

Cryptography and Security · Computer Science 2022-10-21 Hui Cao , Wenlong Zou , Yinkun Wang , Ting Song , Mengjun Liu

Inspired by the human ability to perform complex manipulation in the complete absence of vision (like retrieving an object from a pocket), the robotic manipulation field is motivated to develop new methods for tactile-based object…

Robotics · Computer Science 2022-07-22 Jingxi Xu , Shuran Song , Matei Ciocarlie

The present cross-disciplinary research explores pedestrian-autonomous vehicle interactions in a safe, virtual environment. We first present contemporary tools in the field and then propose the design and development of a new application…

Computers and Society · Computer Science 2021-10-01 Georgios Pappas , Joshua E. Siegel , Jacob Rutkowski , Andrea Schaaf

We present a novel method for testing the safety of self-driving vehicles in simulation. We propose an alternative to sensor simulation, as sensor simulation is expensive and has large domain gaps. Instead, we directly simulate the outputs…

Computer Vision and Pattern Recognition · Computer Science 2020-08-14 Kelvin Wong , Qiang Zhang , Ming Liang , Bin Yang , Renjie Liao , Abbas Sadat , Raquel Urtasun

With the advent of clean energy awareness and systems that rely on extensive battery usage, the community has seen an increased interest in the development of more complex and secure Battery Management Systems (BMS). In particular, the…

Cryptography and Security · Computer Science 2023-11-10 Fikret Basic , Christian Steger , Christian Seifert , Robert Kofler

Active microelectromechanical systems can couple the nanomechanical domain with the electronic domain by integrating electronic sensing and actuation mechanisms into the micromechanical device. This enables very fast and sensitive…

The need for improved network situational awareness has been highlighted by the growing complexity and severity of cyber-attacks. Mobile phones pose a significant risk to network situational awareness due to their dynamic behaviour and lack…

Networking and Internet Architecture · Computer Science 2023-09-18 Lachlan Simpson , Kyle Millar , Adriel Cheng , Hong Gunn Chew , Cheng-Chew Lim

Authentication and authorization are critical security layers to protect a wide range of online systems, services and content. However, the increased prevalence of wearable and mobile devices, the expectations of a frictionless experience…

Cryptography and Security · Computer Science 2018-02-21 Tim Van hamme , Vera Rimmer , Davy Preuveneers , Wouter Joosen , Mustafa A. Mustafa , Aysajan Abidin , Enrique Argones Rúa

We introduce MecQaBot, an open-source, affordable, and modular autonomous mobile robotics framework developed for education and research at Macquarie University, School of Engineering, since 2019. This platform aims to provide students and…

Robotics · Computer Science 2024-11-21 Alice James , Avishkar Seth , Subhas Mukhopadhyay

Safe deployment of autonomous robots in diverse scenarios requires agents that are capable of efficiently adapting to new environments while satisfying constraints. In this work, we propose a practical and theoretically-justified approach…

Robotics · Computer Science 2022-02-17 Thomas Lew , Apoorva Sharma , James Harrison , Andrew Bylard , Marco Pavone

Safety assurance of automated driving systems must consider uncertain environment perception. This paper reviews literature addressing how perception testing is realized as part of safety assurance. We focus on testing for verification and…

Robotics · Computer Science 2022-02-28 Michael Hoss , Maike Scholtes , Lutz Eckstein

Surveillance is essential for the safety of power substation. The detection of whether wearing safety helmets or not for perambulatory workers is the key component of overall intelligent surveillance system in power substation. In this…

Human-Computer Interaction · Computer Science 2018-02-02 Kang Li , Xiaoguang Zhao , Jiang Bian , Min Tan