paper-with-me

Papers

Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust

2020-10-27 · Ufuk Topcu, Nadya Bliss, Nancy Cooke, Missy Cummings, Ashley Llorens, Howard Shrobe, Lenore Zuck

The challenge of establishing assurance in autonomy is rapidly attracting increasing interest in the industry, government, and academia. Autonomy is a broad and expansive capability that enables systems to behave without direct control by a human operator. To that end, it is expected to be present in a wide variety of systems and applications. A vast range of industrial sectors, including (but by no means limited to) defense, mobility, health care, manufacturing, and civilian infrastructure, are embracing the opportunities in autonomy yet face the similar barriers toward establishing the necessary level of assurance sooner or later. Numerous government agencies are poised to tackle the challenges in assured autonomy. Given the already immense interest and investment in autonomy, a series of workshops on Assured Autonomy was convened to facilitate dialogs and increase awareness among the stakeholders in the academia, industry, and government. This series of three workshops aimed to help create a unified understanding of the goals for assured autonomy, the research trends and needs, and a strategy that will facilitate sustained progress in autonomy. The first workshop, held in October 2019, focused on current and anticipated challenges and problems in assuring autonomous systems within and across applications and sectors. The second workshop held in February 2020, focused on existing capabilities, current research, and research trends that could address the challenges and problems identified in workshop. The third event was dedicated to a discussion of a draft of the major findings from the previous two workshops and the recommendations.

📄 PDF Abstract BibTeX arXiv:2010.14443

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Assured autonomy: How operations research powers and orchestrates generative AI systems

2025-12-30 · Tinglong Dai, David Simchi-Levi, Michelle Xiao Wu, Yao Xie arxiv

Generative artificial intelligence (GenAI) is shifting from conversational assistants toward agentic systems -- autonomous decision-making systems that sense, decide, and act within operational workflows. This shift crea…

Adversarial Robustness

Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems

2025-01-30 · Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise Dennis

This report provides an overview of the workshop titled Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems, hosted by the Centre for Robotic Autonomy in Demanding and Long-Lasting E…

IDDMBSE: Integrating Data-Driven and Model-Based Systems Engineering for Trusted Autonomous Cyber-Physical Systems

2026-06-04 · John S. Baras, Sai Sandeep Damera, Ryan Matheu, Clinton Enwerem 외 arxiv

Autonomous cyber-physical systems (CPS) sit at the intersection of Model-Based Systems Engineering (MBSE) and data-driven Machine Learning and Artificial Intelligence (ML/AI), yet no integrated Systems Engineering (SE) m…

Towards Continuous Assurance with Formal Verification and Assurance Cases

2025-11-17 · Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise Dennis arxiv

Autonomous systems must sustain justified confidence in their correctness and safety across their operational lifecycle-from design and deployment through post-deployment evolution. Traditional assurance methods often se…

Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology

2024-03-18 · Josh Hunter, John McDermid, Simon Burton

As the railway industry increasingly seeks to introduce autonomy and machine learning (ML), several questions arise. How can safety be assured for such systems and technologies? What is the applicability of current safet…