中文
相关论文

相关论文: Towards Developing Safety Assurance Cases for Lear…

200 篇论文

The explosion in the performance of Machine Learning (ML) and the potential of its applications are strongly encouraging us to consider its use in industrial systems, including for critical functions such as decision-making in autonomous…

计算机与社会 · 计算机科学 2023-11-14 François Terrier

The emergence and continued reliance on the Internet and related technologies has resulted in the generation of large amounts of data that can be made available for analyses. However, humans do not possess the cognitive capabilities to…

机器学习 · 计算机科学 2021-01-12 MohammadNoor Injadat , Abdallah Moubayed , Ali Bou Nassif , Abdallah Shami

The real-world use cases of Machine Learning (ML) have exploded over the past few years. However, the current computing infrastructure is insufficient to support all real-world applications and scenarios. Apart from high efficiency…

Cyber-physical systems (CPS), in most instances, represent systems of systems with an informationally decentralized structure such as emerging mobility systems, networked control systems, sustainable manufacturing, smart power grids, power…

最优化与控制 · 数学 2024-05-15 Andreas Malikopoulos

Machine learning (ML) offers a collection of powerful approaches for detecting and modeling associations, often applied to data having a large number of features and/or complex associations. Currently, there are many tools to facilitate…

Applying machine learning methods to physical systems that are supposed to act in the real world requires providing safety guarantees. However, methods that include such guarantees often come at a high computational cost, making them…

系统与控制 · 电气工程与系统科学 2025-05-14 Dominik Baumann , Krzysztof Kowalczyk , Cristian R. Rojas , Koen Tiels , Pawel Wachel

The open-world deployment of Machine Learning (ML) algorithms in safety-critical applications such as autonomous vehicles needs to address a variety of ML vulnerabilities such as interpretability, verifiability, and performance limitations.…

机器学习 · 计算机科学 2022-03-09 Sina Mohseni , Haotao Wang , Zhiding Yu , Chaowei Xiao , Zhangyang Wang , Jay Yadawa

Context: An increasing demand is observed in various domains to employ Machine Learning (ML) for solving complex problems. ML models are implemented as software components and deployed in Machine Learning Software Systems (MLSSs). Problem:…

软件工程 · 计算机科学 2024-08-06 Pierre-Olivier Côté , Amin Nikanjam , Rached Bouchoucha , Ilan Basta , Mouna Abidi , Foutse Khomh

The synthesis of technology and the medical industry has partly contributed to the increasing interest in Medical Cyber-Physical Systems (MCPS). While these systems provide benefits to patients and professionals, they also introduce new…

密码学与安全 · 计算机科学 2017-08-18 George Grispos , William Bradley Glisson , Kim-Kwang Raymond Choo

As machine learning (ML) technologies and applications are rapidly changing many computing domains, security issues associated with ML are also emerging. In the domain of systems security, many endeavors have been made to ensure ML model…

密码学与安全 · 计算机科学 2022-01-07 Kha Dinh Duy , Taehyun Noh , Siwon Huh , Hojoon Lee

Machine learning (ML)-based cyber-physical systems (CPSs) have been extensively developed to improve the print quality of additive manufacturing (AM). However, the reproducibility of these systems, as presented in published research, has…

计算工程、金融与科学 · 计算机科学 2024-10-23 Jiarui Xie , Mutahar Safdar , Andrei Mircea , Bi Cheng Zhao , Yan Lu , Hyunwoong Ko , Zhuo Yang , Yaoyao Fiona Zhao

Machine learning (ML) is a subfield of artificial intelligence. The term applies broadly to a collection of computational algorithms and techniques that train systems from raw data rather than a priori models. ML techniques are now…

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

Machine Learning (ML), particularly deep learning, has seen vast advancements, leading to the rise of Machine Learning-Enabled Systems (MLS). However, numerous software engineering challenges persist in propelling these MLS into production,…

软件工程 · 计算机科学 2023-08-22 Shubham Kulkarni , Arya Marda , Karthik Vaidhyanathan

Medication errors continue to be the leading cause of avoidable patient harm in hospitals. This paper sets out a framework to assure medication safety that combines machine learning and safety engineering methods. It uses safety analysis to…

机器学习 · 计算机科学 2021-01-15 Yan Jia , Tom Lawton , John McDermid , Eric Rojas , Ibrahim Habli

The increasing use of autonomous and semi-autonomous agents in society has made it crucial to validate their safety. However, the complex scenarios in which they are used may make formal verification impossible. To address this challenge,…

系统与控制 · 电气工程与系统科学 2023-03-03 Jared J. Beard , Ali Baheri

In safety-critical systems that interface with the real world, the role of uncertainty in decision-making is pivotal, particularly in the context of machine learning models. For the secure functioning of Cyber-Physical Systems (CPS), it is…

机器学习 · 计算机科学 2024-04-29 Neha Kumari , Sumit Kumar. Sneha Priya , Ayush Kumar , Akash Fogla

Machine learning is expected to fuel significant improvements in medical care. To ensure that fundamental principles such as beneficence, respect for human autonomy, prevention of harm, justice, privacy, and transparency are respected,…

Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on properties of the inner ML modules. While learning algorithms aim to…

系统与控制 · 计算机科学 2018-12-20 Tommaso Dreossi , Alexandre Donzé , Sanjit A. Seshia

Reinforcement learning (RL) methods have demonstrated their efficiency in simulation environments. However, many applications for which RL offers great potential, such as autonomous driving, are also safety critical and require a certified…

系统与控制 · 电气工程与系统科学 2021-01-19 Kim P. Wabersich , Lukas Hewing , Andrea Carron , Melanie N. Zeilinger