中文
相关论文

相关论文: Mosaic: Model-based Safety Analysis Framework for …

200 篇论文

Cyber Physical Systems (CPS) are the conjoining of an entities' physical and computational elements. The development of a typical CPS system follows a sequence from conceptual modeling, testing in simulated (virtual) worlds, testing in…

计算机与社会 · 计算机科学 2014-08-05 Vijay Gadepally , Ashok Krishnamurthy , Umit Ozguner

Validating the behavior of autonomous Cyber-Physical Systems (CPS) and Artificial Intelligence (AI) agents, which rely on automated controllers, is an objective of great importance. In recent years, Neural-Network (NN) controllers have been…

机器人学 · 计算机科学 2024-12-25 Khen Elimelech , Morteza Lahijanian , Lydia E. Kavraki , Moshe Y. Vardi

Safety risk assessment is an essential process to ensure a dependable Cyber-Physical System (CPS) design. Traditional risk assessment considers only physical failures. For modern CPS, failures caused by cyber attacks are on the rise. The…

密码学与安全 · 计算机科学 2022-08-18 Ashraf Tantawy , Sherif Abdelwahed , Abdelkarim Erradi

Cyber-Physical Systems (CPS) integrate sensing, communication, computation, and control to support critical infrastructure, including smart grids, industrial automation, and control systems. In the electrical utility domain, various…

密码学与安全 · 计算机科学 2026-05-28 Abile Jean , Kuniyilh S

Significant progress has been made in anomaly detection and run-time monitoring to improve the safety and security of cyber-physical systems (CPS). However, less attention has been paid to hazard mitigation. This paper proposes a combined…

密码学与安全 · 计算机科学 2025-07-01 Xugui Zhou , Maxfield Kouzel , Chloe Smith , Homa Alemzadeh

We outline the principles of classical assurance for computer-based systems that pose significant risks. We then consider application of these principles to systems that employ Artificial Intelligence (AI) and Machine Learning (ML). A key…

人工智能 · 计算机科学 2025-06-04 Robin Bloomfield , John Rushby

Cyber-Physical Systems (CPS) operate in dynamic environments, leading to different types of uncertainty. This work provides a comprehensive review of uncertainty representations and categorizes them based on the dimensions used to represent…

系统与控制 · 电气工程与系统科学 2025-04-01 Johannes Mäkelburg , Diego Perez-Palacin , Raffaela Mirandola , Maribel Acosta

The growing complexity of Cyber-Physical Systems (CPS) and challenges in ensuring safety and security have led to the increasing use of deep learning methods for accurate and scalable anomaly detection. However, machine learning (ML) models…

机器学习 · 计算机科学 2022-05-04 Xugui Zhou , Maxfield Kouzel , Homa Alemzadeh

Cyberphysical systems (CPS) are ubiquitous in our personal and professional lives, and they promise to dramatically improve micro-communities (e.g., urban farms, hospitals), macro-communities (e.g., cities and metropolises), urban…

Although general-purpose AI systems offer transformational opportunities in science and industry, they simultaneously raise critical concerns about safety, misuse, and potential loss of control. Despite these risks, methods for assessing…

As frontier AI systems advance toward transformative capabilities, we need a parallel transformation in how we measure and evaluate these systems to ensure safety and inform governance. While benchmarks have been the primary method for…

人工智能 · 计算机科学 2025-05-12 Markov Grey , Charbel-Raphaël Segerie

A major concern amongst AI safety practitioners is the possibility of loss of control, whereby humans lose the ability to exert control over increasingly advanced AI systems. The range of concerns is wide, spanning current day risks to…

计算机与社会 · 计算机科学 2026-02-04 Steve Barrett , Anna Bruvere , Sean P. Fillingham , Catherine Rhodes , Stefano Vergani

Cyber-Physical Systems (CPS) are complex systems that require powerful models for tasks like verification, diagnosis, or debugging. Often, suitable models are not available and manual extraction is difficult. Data-driven approaches then…

人工智能 · 计算机科学 2025-08-21 Swantje Plambeck , Ali Salamati , Eyke Huellermeier , Goerschwin Fey

AI/ML-based intrusion detection systems (IDSs) and misbehavior detection systems (MDSs) have shown great potential in identifying anomalies in the network traffic of networked autonomous systems. Despite the vast research efforts, practical…

网络与互联网体系结构 · 计算机科学 2023-05-10 Opeyemi Ajibuwa , Bechir Hamdaoui , Attila A. Yavuz

This work focuses on the use of deep learning for vulnerability analysis of cyber-physical systems (CPS). Specifically, we consider a control architecture widely used in CPS (e.g., robotics), where the low-level control is based on e.g.,…

密码学与安全 · 计算机科学 2022-04-11 Amir Khazraei , Spencer Hallyburton , Qitong Gao , Yu Wang , Miroslav Pajic

Cyber-physical production systems (CPPS) integrate physical and computational resources due to increasingly available sensors and processing power. This enables the usage of data, to create additional benefit, such as condition monitoring…

Most cyber-physical systems (CPS) encounter a large volume of data which is added to the system gradually in real time and not altogether in advance. In this paper, we provide a theoretical framework that yields optimal control strategies…

最优化与控制 · 数学 2022-12-21 Andreas A. Malikopoulos

Cyber physical systems (CPS) are mission critical systems engineered by combination of cyber and physical systems respectively. These systems are tightly coupled, resource constrained systems and have dynamic real time applications. Due to…

密码学与安全 · 计算机科学 2016-11-03 Anees Ara , Mznah Al-Rodhaan , Yuan Tian , Abdullah Al-Dhelaan

Cyber-physical systems (CPS) can be viewed as a new generation of systems with integrated control, communication and computational capabilities. Like the internet transformed how humans interact with one another, cyber-physical systems will…

网络与互联网体系结构 · 计算机科学 2012-01-04 Jin Wang , Hassan Abid , Sungyoung Lee , Lei Shu , Feng Xia

This paper introduces the MIP Platform architecture model, a novel AI-based cognitive computing platform architecture. The goal of the proposed application of MIP is to reduce the implementation burden for the usage of AI algorithms applied…

分布式、并行与集群计算 · 计算机科学 2020-03-31 Pasquale Giampa , Massimiliano Dibitonto