中文
相关论文

相关论文: Towards Declarative Safety Rules for Perception Sp…

200 篇论文

Modern autonomous systems rely on perception modules to process complex sensor measurements into state estimates. These estimates are then passed to a controller, which uses them to make safety-critical decisions. It is therefore important…

Perception is a critical component of high-integrity applications of robotics and autonomous systems, such as self-driving vehicles. In these applications, failure of perception systems may put human life at risk, and a broad adoption of…

机器人学 · 计算机科学 2021-10-19 Pasquale Antonante , David I. Spivak , Luca Carlone

With the rise of deep learning, there is a fundamental change in visual SLAM algorithms toward developing different modules trained as end-to-end pipelines. However, regardless of the implementation domain, visual SLAM's performance is…

机器人学 · 计算机科学 2025-03-06 Olaya Alvarez-Tunon , Yury Brodskiy , Erdal Kayacan

The increasing use of deep neural networks for safety-critical applications, such as autonomous driving and flight control, raises concerns about their safety and reliability. Formal verification can address these concerns by guaranteeing…

人工智能 · 计算机科学 2018-02-06 Lindsey Kuper , Guy Katz , Justin Gottschlich , Kyle Julian , Clark Barrett , Mykel Kochenderfer

To address the problem of online automatic inspection of drug liquid bottles in production line, an implantable visual inspection system is designed and the ensemble learning algorithm for detection is proposed based on multi-features…

计算机视觉与模式识别 · 计算机科学 2021-02-09 Le Ma , Xiaoyue Wu , Zhiwei Li

Aquaculture is a big marine industry and contributes to securing global food demands. Underwater vehicles such as remotely operated vehicles (ROVs) are commonly used for inspection, maintenance, and intervention (IMR) tasks in fish farms.…

机器人学 · 计算机科学 2024-04-22 Herman B. Amundsen , Marios Xanthidis , Martin Føre , Sveinung J. Ohrem , Eleni Kelasidi

Vision-based reinforcement learning (RL) is a promising technique to solve control tasks involving images as the main observation. State-of-the-art RL algorithms still struggle in terms of sample efficiency, especially when using image…

机器学习 · 计算机科学 2021-09-29 Elie Aljalbout , Maximilian Ulmer , Rudolph Triebel

This survey provides an analysis of current methodologies integrating legal and logical specifications into the perception, prediction, and planning modules of automated driving systems. We systematically explore techniques ranging from…

机器人学 · 计算机科学 2025-10-30 Kumar Manas , Mert Keser , Alois Knoll

In situ robotic automation in construction is challenging due to constantly changing environments, a shortage of robotic experts, and a lack of standardized frameworks bridging robotics and construction practices. This work proposes a…

机器人学 · 计算机科学 2025-07-09 Jonathan Külz , Michael Terzer , Marco Magri , Andrea Giusti , Matthias Althoff

Machine Vision Components (MVC) are becoming safety-critical. Assuring their quality, including safety, is essential for their successful deployment. Assurance relies on the availability of precisely specified and, ideally,…

软件工程 · 计算机科学 2022-02-09 Boyue Caroline Hu , Lina Marsso , Krzysztof Czarnecki , Rick Salay , Huakun Shen , Marsha Chechik

Safety and reliability play a crucial role when designing Robotic Autonomous Systems (RAS). Early consideration of hazards, risks and mitigation actions -- already in the concept study phase -- are important steps in building a solid…

机器人学 · 计算机科学 2026-01-23 Atef Azaiez , David Alireza Anisi

Vision systems, i.e., systems that allow to detect and track objects in images, have gained substantial importance over the past decades. They are used in quality assurance applications, e.g., for finding surface defects in products during…

软件工程 · 计算机科学 2021-05-11 Franz Wotawa , Lorenz Klampfl , Ledio Jahaj

Incident in water distribution systems (WDS) cause water loss and water contamination that requires the utility managers to assess the condition of pipelines in a timely manner. However, pipelines are long and access to all parts of it is a…

机器人学 · 计算机科学 2022-01-31 Saber Kazeminasab , M Katherine Banks

This paper aims to provide a clear and rigorous understanding of commonly recognized safety constraints in physical human-robot interaction, particularly regarding ISO/TS 15066. We investigate the derivation of these constraints, critically…

系统与控制 · 电气工程与系统科学 2026-04-03 Riccardo Zanella , Federico Califano , Stefano Stramigioli

The need to accurately estimate the speed of road vehicles is becoming increasingly important for at least two main reasons. First, the number of speed cameras installed worldwide has been growing in recent years, as the introduction and…

计算机视觉与模式识别 · 计算机科学 2021-05-27 David Fernández Llorca , Antonio Hernández Martínez , Iván García Daza

In manufacturing processes, surface inspection is a key requirement for quality assessment and damage localization. Due to this, automated surface anomaly detection has become a promising area of research in various industrial inspection…

The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns. This work summarizes applied research on such concepts and practices with a focus on the last two…

软件工程 · 计算机科学 2019-02-15 Mario Gleirscher , Stefan Kugele

Radar sensors play a crucial role for perception systems in automated driving but suffer from a high level of noise. In the past, this could be solved by strict filters, which remove most false positives at the expense of undetected…

信号处理 · 电气工程与系统科学 2025-07-08 Tim Brühl , Jenny Glönkler , Robin Schwager , Tin Stribor Sohn , Tim Dieter Eberhardt , Sören Hohmann

This paper presents a comprehensive review of ground agricultural robotic systems and applications with special focus on harvesting that span research and commercial products and results, as well as their enabling technologies. The majority…

Although AI systems have been applied in various fields and achieved impressive performance, their safety and reliability are still a big concern. This is especially important for safety-critical tasks. One shared characteristic of these…

人工智能 · 计算机科学 2023-08-08 Shuang Ao