English
Related papers

Related papers: The Safe Trusted Autonomy for Responsible Space Pr…

200 papers

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…

Cryptography and Security · Computer Science 2026-05-13 Henrique Curi de Miranda , Ágney Lopes Roth Ferraz , Wagner Comin Sonaglio , Lourenço Alves Pereira Júnior

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,…

Systems and Control · Electrical Eng. & Systems 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…

Instrumentation and Methods for Astrophysics · Physics 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…

Software Engineering · Computer Science 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…

Computers and Society · Computer Science 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…

Multiagent Systems · Computer Science 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.…

Robotics · Computer Science 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…

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…

Machine Learning · Computer Science 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…

Robotics · Computer Science 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…

Databases · Computer Science 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…

Systems and Control · Electrical Eng. & Systems 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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.…

Computers and Society · Computer Science 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…

Machine Learning · Computer Science 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…

Robotics · Computer Science 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…

Machine Learning · Computer Science 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…