中文
相关论文

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

200 篇论文

Cyber-physical systems require the construction and management of various models to assure their correct, safe, and secure operation. These various models are necessary because of the coupled physical and computational dynamics present in…

计算机科学中的逻辑 · 计算机科学 2021-10-04 Georgios Bakirtzis , Cody H. Fleming , Christina Vasilakopoulou

Cyber-Physical Systems (CPSs) combine software and physical components. These systems are widely applied in society within many domains, including the automotive, aerospace, railway, etc. Testing these systems is extremely challenging,…

软件工程 · 计算机科学 2021-01-15 Aitor Arrieta

Optimizing CPS behavior in terms of energy consumption can have a significant impact on system reliability. The environment influences the system's behavior, and neglecting the environmental behavior has an indirect negative impact on…

软件工程 · 计算机科学 2021-09-06 Reza Soltani , Eun-Young Kang , Juan Esteban Heredia Mena

As the era of autonomous cyber-physical systems (ACPSs), such as unmanned aerial vehicles and self-driving cars, unfolds, the demand for robust testing methodologies is key to realizing the adoption of such systems in real-world scenarios.…

软件工程 · 计算机科学 2024-05-03 Christian Birchler , Sajad Khatiri , Pooja Rani , Timo Kehrer , Sebastiano Panichella

Robotic platforms are highly programmable, scalable and versatile to complete several tasks including Inspection, Maintenance and Repair (IMR). Mobile robotics offer reduced restrictions in operating environments, resulting in greater…

机器人学 · 计算机科学 2022-03-25 Daniel Mitchell , Jamie Blanche , Sam T. Harper , Theodore Lim , Valentin Robu , Ikuo Yamamoto , David Flynn

Current cyber-physical systems (CPS) are expected to accomplish complex tasks. To achieve this goal, high performance, but unverified controllers (e.g. deep neural network, black-box controllers from third parties) are applied, which makes…

系统与控制 · 电气工程与系统科学 2021-09-24 Bingzhuo Zhong , Majid Zamani , Marco Caccamo

Developing and implementing AI-based solutions help state and federal government agencies, research institutions, and commercial companies enhance decision-making processes, automate chain operations, and reduce the consumption of natural…

人工智能 · 计算机科学 2021-12-02 Andrei Svetovidov , Abdul Rahman , Feras A. Batarseh

Indoor robotic systems within Cyber-Physical Systems (CPS) are increasingly exposed to Denial of Service (DoS) attacks that compromise localization, control and telemetry integrity. We propose a privacy-aware malware detection framework for…

密码学与安全 · 计算机科学 2025-10-16 Tan Le , Van Le , Sachin Shetty

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

Embodied Artificial Intelligence (Embodied AI) integrates perception, cognition, planning, and interaction into agents that operate in open-world, safety-critical environments. As these systems gain autonomy and enter domains such as…

Cyber Physical Systems solve complex problems through their tight integration between the physical and computational components. Therefore, the reliability of a complex system is the most critical requirement for the cyber physical system…

软件工程 · 计算机科学 2020-10-13 Nazakat Ali , Manzoor Hussain , Youngjae Kim , Jang-Eui Hong

A Collaborative Artificial Intelligence System (CAIS) performs actions in collaboration with the human to achieve a common goal. CAISs can use a trained AI model to control human-system interaction, or they can use human interaction to…

软件工程 · 计算机科学 2024-01-24 Diaeddin Rimawi , Antonio Liotta , Marco Todescato , Barbara Russo

A growing number of Internet of Things (IoT) devices are used across consumer, medical, and industrial domains. They interact with their environment through sensors and actuators and connect to networks such as the Internet. Because sensors…

密码学与安全 · 计算机科学 2026-04-27 Simon Liebl , Ian Ferguson , Andreas Aßmuth , Natalie Coull , George R. S. Weir

Datasets play a key role in imparting advanced capabilities to artificial intelligence (AI) foundation models that can be adapted to various downstream tasks. These downstream applications can introduce both beneficial and harmful…

计算机与社会 · 计算机科学 2025-07-02 Srija Chakraborty

Industrial cyber-physical systems (ICPS) are gradually integrating information technology and automating industrial processes, leading systems to become more vulnerable to malicious actors. Thus, to deploy secure Industrial Control and…

密码学与安全 · 计算机科学 2023-12-27 Kumar Saurabh , Deepak Gajjala , Krishna Kaipa , Ranjana Vyas , O. P. Vyas , Rahamatullah Khondoker

Cyber-physical power systems, such as grids, integrate computational and communication components with physical systems to introduce novel functions and improve resilience and fault tolerance. These systems employ computational components…

系统与控制 · 电气工程与系统科学 2024-06-27 Rahul Bhadani , Satyaki Banik , Hao Tu , Srdjan Lukic , Gabor Karsai

Cyber-physical systems (CPS) integrate sensing, computing, communication and actuation capabilities to monitor and control operations in the physical environment. A key requirement of such systems is the need to provide predictable…

分布式、并行与集群计算 · 计算机科学 2016-07-29 Hyoseung Kim

Technical advances in ubiquitous sensing, embedded computing, and wireless communication are leading to a new generation of engineered systems called cyber-physical systems (CPS). CPS promises to transform the way we interact with the…

网络与互联网体系结构 · 计算机科学 2008-12-18 Feng Xia , Longhua Ma , Jinxiang Dong , Youxian Sun

Cyber-Physical Systems (CPS) consist of distributed engineered environments where the monitoring and surveillance tasks are governed by tightly integrated computing, communication and control technologies. CPS are omnipresent in our…

密码学与安全 · 计算机科学 2019-11-11 Michel Barbeau , Georg Carle , Joaquin Garcia-Alfaro , Vicenç Torra

Software development for Cyber-Physical Systems (CPS) is a sophisticated activity as these systems are inherently complex. The engineering of CPS requires composition and interaction of diverse distributed software modules. Describing both,…

软件工程 · 计算机科学 2014-08-26 Jan Oliver Ringert , Bernhard Rumpe , Andreas Wortmann
‹ 上一页 1 8 9 10 下一页 ›