中文
相关论文

相关论文: The Safe Trusted Autonomy for Responsible Space Pr…

200 篇论文

Unmanned Traffic Management (UTM) federated ecosystems, such as InterUSS, enable secure coordination among UAS Service Suppliers (USSs). However, they bring up some security challenges at the infrastructure level that haven't been fully…

With the rise of increasingly complex autonomous systems powered by black box AI models, there is a growing need for Run Time Assurance (RTA) systems that provide online safety filtering to untrusted primary controller output. Currently,…

系统与控制 · 电气工程与系统科学 2022-09-05 Umberto Ravaioli , Kyle Dunlap , Kerianne Hobbs

Modern astronomical experiments are designed to achieve multiple scientific goals, from studies of galaxy evolution to cosmic acceleration. These goals require data of many different classes of night-sky objects, each of which has a…

天体物理仪器与方法 · 物理学 2023-12-01 Franco Terranova , M. Voetberg , Brian Nord , Amanda Pagul

This vision paper presents initial research on assessing the robustness and reliability of AI-enabled systems, and key factors in ensuring their safety and effectiveness in practical applications, including a focus on accountability. By…

软件工程 · 计算机科学 2025-06-23 Filippo Scaramuzza , Damian A. Tamburri , Willem-Jan van den Heuvel

The integration of Autonomous Weapon Systems (AWS) into military operations presents both significant opportunities and challenges. This paper explores the multifaceted nature of trust in AWS, emphasising the necessity of establishing…

计算机与社会 · 计算机科学 2024-10-22 Kasper Cools , Clara Maathuis

We explore space traffic management as an application of collision-free navigation in multi-agent systems where vehicles have limited observation and communication ranges. We investigate the effectiveness of transferring a collision…

多智能体系统 · 计算机科学 2023-05-17 Sydney Dolan , Siddharth Nayak , Hamsa Balakrishnan

Robotics in Australia have a long history of conforming with safety standards and risk managed practices. This chapter articulates the current state of trust and safety in robotics including society's expectations, safety management systems…

Autonomous robots are projected to significantly augment the manual workforce, especially in repetitive and hazardous tasks. For a successful deployment of such robots in human environments, it is crucial to guarantee human safety.…

机器人学 · 计算机科学 2025-07-30 Jakob Thumm , Julian Balletshofer , Leonardo Maglanoc , Luis Muschal , Matthias Althoff

The last half-decade has seen a steep rise in the number of contributions on safe learning methods for real-world robotic deployments from both the control and reinforcement learning communities. This article provides a concise but holistic…

机器人学 · 计算机科学 2021-12-08 Lukas Brunke , Melissa Greeff , Adam W. Hall , Zhaocong Yuan , Siqi Zhou , Jacopo Panerati , Angela P. Schoellig

We study the problem of learning controllers for discrete-time non-linear stochastic dynamical systems with formal reach-avoid guarantees. This work presents the first method for providing formal reach-avoid guarantees, which combine and…

机器学习 · 计算机科学 2022-11-30 Đorđe Žikelić , Mathias Lechner , Thomas A. Henzinger , Krishnendu Chatterjee

Satellite constellations are transforming space systems from isolated spacecraft into networked, software-defined platforms capable of on-orbit perception, decision making, and adaptation. Yet much of the existing AI studies remains…

机器人学 · 计算机科学 2026-04-21 Ziyang Wang

STARR (STAnford Research Repository) is a clinical research support ecosystem that supports basic science research, population health research and translational research at Stanford University. STARR consists of raw and analysis ready…

数据库 · 计算机科学 2024-12-06 SC Weber , J Pallas , G Olson , D Love , S Malunjkar , S Boosi , E Loh , S Datta , TA Ferris

Run Time Assurance (RTA) systems are online safety verification techniques that filter the output of a primary controller to assure safety. RTA approaches are used in safety-critical control to intervene when a performance-driven primary…

系统与控制 · 电气工程与系统科学 2023-03-28 Kyle Dunlap , Michael Hibbard , Mark Mote , Kerianne Hobbs

The growing need for autonomous on-orbit services such as inspection, maintenance, and situational awareness calls for intelligent spacecraft capable of complex maneuvers around large orbital targets. Traditional control systems often fall…

机器人学 · 计算机科学 2025-10-28 Matteo El-Hariry , Andrej Orsula , Matthieu Geist , Miguel Olivares-Mendez

Current invasive assistive technologies are designed to infer high-dimensional motor control signals from severely paralyzed patients. However, they face significant challenges, including public acceptance, limited longevity, and barriers…

机器人学 · 计算机科学 2025-05-19 Ali Rabiee , Sima Ghafoori , MH Farhadi , Robert Beyer , Xiangyu Bai , David J Lin , Sarah Ostadabbas , Reza Abiri

Recent advances in artificial intelligence, specifically machine learning, contributed positively to enhancing the autonomous systems industry, along with introducing social, technical, legal and ethical challenges to make them trustworthy.…

计算机与社会 · 计算机科学 2022-03-11 Mohammad Naiseh , Caitlin Bentley , Sarvapali D. Ramchurn

Autonomous spacecraft control via Shielded Deep Reinforcement Learning (SDRL) has become a rapidly growing research area. However, the construction of shields and the definition of tasking remains informal, resulting in policies with no…

机器学习 · 计算机科学 2024-03-15 Robert Reed , Hanspeter Schaub , Morteza Lahijanian

This paper presents the framework for a novel Unified Socially-Aware Navigation (USAN) architecture and explains its need in Socially Assistive Robotics (SAR) applications. Our approach emphasizes interpersonal distance and how spatial…

机器人学 · 计算机科学 2018-10-15 Santosh Balajee Banisetty , David Feil-Seifer

Traditional Smooth Transition Autoregressive (STAR) models offer an effective way to model these dynamics through smooth regime changes based on specific transition variables. In this paper, we propose a novel approach by drawing an analogy…

机器学习 · 计算机科学 2025-02-03 Hugo Inzirillo , Remi Genet

Each new concept of operation and equipment generation in aviation becomes more automated, integrated and interconnected. In the case of Unmanned Aircraft Systems (UAS), this evolution allows drastically decreasing aircraft weight and…