English
Related papers

Related papers: Engineering the Hardware/Software Interface for Ro…

200 papers

Robots are being designed to help people in an increasing variety of settings--but seemingly little attention has been given so far to the specific needs of women, who represent roughly half of the world's population but are highly…

Robotics · Computer Science 2025-03-04 Martin Cooney , Lena Klasén , Fernando Alonso-Fernandez

Human motion prediction is non-trivial in modern industrial settings. Accurate prediction of human motion can not only improve efficiency in human robot collaboration, but also enhance human safety in close proximity to robots. Among…

Robotics · Computer Science 2020-01-28 Weiye Zhao , Liting Sun , Changliu Liu , Masayoshi Tomizuka

Learning and predicting the performance of a configurable software system helps to provide better quality assurance. One important engineering decision therein is how to encode the configuration into the model built. Despite the presence of…

Software Engineering · Computer Science 2022-04-04 Jingzhi Gong , Tao Chen

Classically, the development of humanoid robots has been sequential and iterative. Such bottom-up design procedures rely heavily on intuition and are often biased by the designer's experience. Exploiting the non-linear coupled design space…

Robotics · Computer Science 2023-01-02 Akhil Sathuluri , Anand Vazhapilli Sureshbabu , Markus Zimmermann

Robot capabilities are maturing across domains, from self-driving cars, to bipeds and drones. As a result, robots will soon no longer be confined to safety-controlled industrial settings; instead, they will directly interact with the…

The design space of current quantum computers is expansive with no obvious winning solution. This leaves practitioners with a clear question: "What is the optimal system configuration to run an algorithm?". This paper explores hardware…

Quantum Physics · Physics 2024-03-04 Justin Kalloor , Mathias Weiden , Ed Younis , John Kubiatowicz , Bert De Jong , Costin Iancu

The correct use of a Hardware Abstraction Layer (HAL) interface in embedded applications is crucial to prevent malfunctions, crashes, or even hardware damage. Software model checking has been successfully applied to check interface…

Logic in Computer Science · Computer Science 2025-12-19 Manuel Bentele , Onur Altinordu , Jan Körner , Andreas Podelski , Axel Sikora

The problem of synthesis of gate-level descriptions of digital circuits from behavioural specifications written in higher-level programming languages (hardware compilation) has been studied for a long time yet a definitive solution has not…

Programming Languages · Computer Science 2009-07-07 Dan R. Ghica

We consider a class of optimization problems that are fundamental to testing in modern configurable software systems, e.g., in automotive industries. In pairwise interaction sampling, we are given a (potentially very large) configuration…

Data Structures and Algorithms · Computer Science 2025-10-08 Sándor P. Fekete , Phillip Keldenich , Dominik Krupke , Michael Perk

Purpose: Over the last few decades, the development of the hardware and software has enabled the application of advanced systems. In the robotics field, the UI design is an intriguing area to be explored due to the creation of devices with…

Robotics · Computer Science 2024-08-31 Daniela Alvarado , Seemal Asif

The ever increasing complexity of hardware platforms poses a challenge to systems programmers. Correctly programming a multitude of components, providing functionality and security, is difficult: semantics of individual units are described…

Cryptography and Security · Computer Science 2026-04-21 Ben Fiedler , Samuel Gruetter , Timothy Roscoe

Coding standards and good practices are fundamental to a disciplined approach to software projects, whatever programming languages they employ. Prolog programming can benefit from such an approach, perhaps more than programming in other…

Programming Languages · Computer Science 2011-05-18 Michael A. Covington , Roberto Bagnara , Richard A. O'Keefe , Jan Wielemaker , Simon Price

In this work we present an experimental setup to show the suitability of ROS 2.0 for real-time robotic applications. We disclose an evaluation of ROS 2.0 communications in a robotic inter-component (hardware) communication case on top of…

Autonomous drones are rapidly reshaping industries ranging from aerial delivery and infrastructure inspection to environmental monitoring and disaster response. Ensuring the safety, reliability, and efficiency of these systems is paramount…

Software Engineering · Computer Science 2025-06-16 Yupeng Jiang , Yao Deng , Sebastian Schroder , Linfeng Liang , Suhaas Gambhir , Alice James , Avishkar Seth , James Pirrie , Yihao Zhang , Xi Zheng

Combinatorial optimization algorithm is essential in computer-aided drug design by progressively exploring chemical space to design lead compounds with high affinity to target protein. However current methods face inherent challenges in…

Biomolecules · Quantitative Biology 2025-07-23 Hao Tuo , Yan Li , Xuanning Hu , Haishi Zhao , Xueyan Liu , Bo Yang

This paper presents the design concept, modeling and motion planning solution for the aerial robotic chain. This design represents a configurable robotic system of systems, consisting of multi-linked micro aerial vehicles that…

Robotics · Computer Science 2019-11-26 Mihir Kulkarni , Huan Nguyen , Kostas Alexis

Analog layout design heavily involves interactive processes between humans and design tools. Electronic Design Automation (EDA) tools for this task are usually designed to use scripting commands or visualized buttons for manipulation,…

Hardware Architecture · Computer Science 2025-01-14 Bingyang Liu , Haoyi Zhang , Xiaohan Gao , Zichen Kong , Xiyuan Tang , Yibo Lin , Runsheng Wang , Ru Huang

This paper presents an experimentation platform for human robot collaboration as a system of systems as well as proposes a conceptual framework describing the aspects of Human Robot Collaboration. These aspects are Awareness, Intelligence…

Robotics · Computer Science 2019-07-15 Celal Savur , Shitij Kumar , Sarthak Arora , Tuly Hazbar , Ferat Sahin

Humanoid robots have apparently similar body structure like human beings. Due to their technical design, they are sharing the same workspace with humans. They are placed to clean things, to assist old age people, to entertain us and most…

Human-Computer Interaction · Computer Science 2018-11-20 Neha Baranwal

The identification of the interface of an inclusion in a diffusion process is considered. This task is viewed as a parameter identification problem in which the parameter space bears the structure of a shape manifold. A corresponding…

Optimization and Control · Mathematics 2021-04-12 Tommy Etling , Roland Herzog , Martin Siebenborn