中文
相关论文

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

200 篇论文

This tutorial paper focuses on safe physics-informed machine learning in the context of dynamics and control, providing a comprehensive overview of how to integrate physical models and safety guarantees. As machine learning techniques…

系统与控制 · 电气工程与系统科学 2025-06-16 Jan Drgona , Truong X. Nghiem , Thomas Beckers , Mahyar Fazlyab , Enrique Mallada , Colin Jones , Draguna Vrabie , Steven L. Brunton , Rolf Findeisen

The expanding role of Artificial Intelligence (AI) in diverse engineering domains highlights the challenges associated with deploying AI models in new operational environments, involving substantial investments in data collection and model…

计算机视觉与模式识别 · 计算机科学 2024-03-22 Daryl Mupupuni , Anupama Guntu , Liang Hong , Kamrul Hasan , Leehyun Keel

Cyber-Physical Systems (CPS) are systems controlled by one or more computer-based components tightly integrated with a set of physical components, typically described as sensors and actuators, that can either be directly attached to the…

计算机科学中的逻辑 · 计算机科学 2018-03-09 Andre Metelo , Christiano Braga , Diego Brandão

Safety cases, structured arguments that a system is acceptably safe, are becoming central to the governance of AI systems. Yet, traditional safety-case practices from aviation or nuclear engineering rely on well-specified system boundaries,…

软件工程 · 计算机科学 2026-03-09 Sung Une Lee , Liming Zhu , Md Shamsujjoha , Liming Dong , Qinghua Lu , Jieshan Chen , Lionel Briand

Security risk assessment is essential in establishing the trustworthiness and reliability of modern systems. While various security risk assessment approaches exist, prevalent applications are "pen and paper" implementations that -- even if…

密码学与安全 · 计算机科学 2025-09-23 Avi Shaked

This paper presents a novel, structured decision support framework that systematically aligns diverse artificial intelligence (AI) agent architectures, reactive, cognitive, hybrid, and learning, with the comprehensive National Institute of…

人工智能 · 计算机科学 2025-10-03 Masike Malatji

Design of cyber-physical systems (CPSs) is a challenging task that involves searching over a large search space of various CPS configurations and possible values of components composing the system. Hence, there is a need for…

机器学习 · 计算机科学 2020-09-28 Prerit Terway , Kenza Hamidouche , Niraj K. Jha

Cyber-Physical Systems (CPS) play a significant role in our critical infrastructure networks from power-distribution to utility networks. The emerging smart-grid concept is a compelling critical CPS infrastructure that relies on two-way…

密码学与安全 · 计算机科学 2019-12-03 Leonardo Babun , Hidayet Aksu , A. Selcuk Uluagac

This paper explores the rapidly evolving ecosystem of publicly available AI models, and their potential implications on the security and safety landscape. As AI models become increasingly prevalent, understanding their potential risks and…

计算机与社会 · 计算机科学 2024-11-20 Huzaifa Sidhpurwala , Garth Mollett , Emily Fox , Mark Bestavros , Huamin Chen

Safety alignment in large language models (LLMs) is commonly implemented as a single static policy embedded in model parameters. However, real-world deployments often require context-dependent safety rules that vary across users, regions,…

人工智能 · 计算机科学 2026-03-18 Jingyu Peng , Hongyu Chen , Jiancheng Dong , Maolin Wang , Wenxi Li , Yuchen Li , Kai Zhang , Xiangyu Zhao

Modern industrial systems face a growing threat from sophisticated cyberattacks that can cause significant operational disruptions. This work presents a novel methodology for identification of the most critical cyberattacks that may disrupt…

系统与控制 · 电气工程与系统科学 2024-05-31 Bruno Paes Leao , Jagannadh Vempati , Siddharth Bhela , Tobias Ahlgrim , Daniel Arnold

This paper presents the cognitive module of the cognitive architecture for artificial intelligence (CAAI) in cyber-physical production systems (CPPS). The goal of this architecture is to reduce the implementation effort of artificial…

Integrated cyber-physical systems (CPSs), such as the smart grid, are increasingly becoming the underpinning technology for major industries. A major concern regarding such systems are the seemingly unexpected large-scale failures, which…

物理与社会 · 物理学 2018-07-27 Yingrui Zhang , Osman Yagan

A cyber-physical system (CPS) is a tight coupling of computational resources, network communication, and physical processes. They are composed of a set of networked components, including sensors, actuators, control processing units, and…

系统与控制 · 电气工程与系统科学 2019-11-11 Shamila Nateghi , Yuri Shtessel , Christopher Edwards , Jean-Pierre Barbot

Neural networks have shown great promises in planning, control, and general decision making for learning-enabled cyber-physical systems (LE-CPSs), especially in improving performance under complex scenarios. However, it is very challenging…

机器人学 · 计算机科学 2022-01-25 Xiangguo Liu , Chao Huang , Yixuan Wang , Bowen Zheng , Qi Zhu

Frontier AI systems are rapidly advancing in their capabilities to persuade, deceive, and influence human behaviour, with current models already demonstrating human-level persuasion and strategic deception in specific contexts. Humans are…

Cyber-physical systems (CPSs) in modern real-time applications integrate numerous control units linked through communication networks, each responsible for executing a mix of real-time safety-critical and non-critical tasks. To ensure…

系统与控制 · 电气工程与系统科学 2024-11-15 Arkaprava Sain , Sunandan Adhikary , Ipsita Koley , Soumyajit Dey

All of the frontier AI companies have published safety frameworks where they define capability thresholds and risk mitigations that determine how they will safely develop and deploy their models. Adoption of systematic approaches to risk…

计算机与社会 · 计算机科学 2025-06-03 Simon Mylius

The application of Artificial Intelligence (AI) and Machine Learning (ML) to cybersecurity challenges has gained traction in industry and academia, partially as a result of widespread malware attacks on critical systems such as cloud…

密码学与安全 · 计算机科学 2022-07-14 Subash Neupane , Jesse Ables , William Anderson , Sudip Mittal , Shahram Rahimi , Ioana Banicescu , Maria Seale

As our cities and communities become smarter, the systems that keep us safe, such as traffic control centers, emergency response networks, and public transportation, also become more complex. With this complexity comes a greater risk of…

密码学与安全 · 计算机科学 2026-03-16 Sharif Noor Zisad , Ragib Hasan