中文
相关论文

相关论文: Architectural Transformations and Emerging Verific…

200 篇论文

A driving force for the realization of a sustainable energy supply is the integration of renewable energy resources. Due to their stochastic generation behaviour, energy utilities are confronted with a more complex operation of the…

系统与控制 · 电气工程与系统科学 2025-02-25 Thomas I. Strasser , Filip Pröstl Andrén

Embodied Artificial Intelligence (Embodied AI) is crucial for achieving Artificial General Intelligence (AGI) and serves as a foundation for various applications (e.g., intelligent mechatronics systems, smart manufacturing) that bridge…

计算机视觉与模式识别 · 计算机科学 2025-08-26 Yang Liu , Weixing Chen , Yongjie Bai , Xiaodan Liang , Guanbin Li , Wen Gao , Liang Lin

Industrial cyber-physical systems are hybrid systems with strict safety requirements. Despite not having a formal semantics, most of these systems are modeled using Stateflow/Simulink for mainly two reasons: (1) it is easier to model, test,…

计算机科学中的逻辑 · 计算机科学 2018-06-26 Nima Roohi , Ramneet Kaur , James Weimer , Oleg Sokolsky , Insup Lee

Although timing and synchronization of a dynamically-changing set of elements and their related power considerations are essential to many cyber-physical systems (CPS), they are absent from today's programming languages, forcing programmers…

编程语言 · 计算机科学 2024-09-23 Bob Iannucci , Aviral Shrivastava , Mohammad Khayatian

Cyber-physical systems (CPS) incorporate the complex and large-scale engineered systems behind critical infrastructure operations, such as water distribution networks, energy delivery systems, healthcare services, manufacturing systems, and…

密码学与安全 · 计算机科学 2021-09-29 Charalambos Konstantinou , George Stergiopoulos , Masood Parvania , Paulo Esteves-Verissimo

Utilising quantum computing technology to enhance artificial intelligence systems is expected to improve training and inference times, increase robustness against noise and adversarial attacks, and reduce the number of parameters without…

软件工程 · 计算机科学 2024-12-18 Mykhailo Klymenko , Thong Hoang , Xiwei Xu , Zhenchang Xing , Muhammad Usman , Qinghua Lu , Liming Zhu

The world is witnessing an unprecedented growth of cyber-physical systems (CPS), which are foreseen to revolutionize our world {via} creating new services and applications in a variety of sectors such as environmental monitoring,…

机器学习 · 计算机科学 2018-10-31 Rachad Atat , Lingjia Liu , Jinsong Wu , Guangyu Li , Chunxuan Ye , Yang Yi

This paper presents our work-in-progress study on reference architectures as boundary objects for realizing trustworthy collaborative Cyber-Physical Systems (CPS). Furthermore, the preliminary results from interviews with systems…

分布式、并行与集群计算 · 计算机科学 2021-08-31 Muhammad Rusyadi Ramli , Fredrik Asplund , Martin Torngren

Cyber-physical systems (CPSs) are important whenever computer technology interfaces with the physical world as it does in self-driving cars or aircraft control support systems. Due to their many subtleties, controllers for cyber-physical…

计算机科学中的逻辑 · 计算机科学 2021-02-15 André Platzer

Critical and cyber-physical systems (CPS) that exist in large industries, such as nuclear power plants, railway, automotive or aeronautical industries are complex heterogeneous systems. They are complex because they are open,…

软件工程 · 计算机科学 2021-05-27 Abdelkader Khouass , Christian Attiogbé , Mohamed Messabihi

Artificial intelligence (AI) is transforming the practice of science. Machine learning and large language models (LLMs) can generate hypotheses at a scale and speed far exceeding traditional methods, offering the potential to accelerate…

人工智能 · 计算机科学 2025-12-18 Cristina Cornelio , Takuya Ito , Ryan Cory-Wright , Sanjeeb Dash , Lior Horesh

A Cyber-Physical System (CPS) testbed serves as a powerful platform for testing and validating cyber intrusion detection and mitigation strategies in substations. This study presents the design and development of a CPS testbed that can…

密码学与安全 · 计算机科学 2025-06-02 Akila Herath , Chen-Ching Liu , Junho Hong , Mansi Girdhar

The ability to capture different levels of abstraction in a system model is especially important for remote integration, testing/verification, and manufacturing of cyber-physical systems (CPSs). However, the complexity of modelling and…

软件工程 · 计算机科学 2016-01-26 Maria Spichkova , Anna Zamansky , Eitan Farchi

Cyber-Physical Systems (CPSs) are increasingly important in critical areas of our society such as intelligent power grids, next generation mobile devices, and smart buildings. CPS operation has characteristics including considerable…

密码学与安全 · 计算机科学 2020-04-02 Jose Moura , David Hutchison

Machine learning components such as deep neural networks are used extensively in Cyber-Physical Systems (CPS). However, such components may introduce new types of hazards that can have disastrous consequences and need to be addressed for…

机器学习 · 计算机科学 2021-10-08 Dimitrios Boursinos , Xenofon Koutsoukos

In recent years, the convergence of cybersecurity, artificial intelligence (AI), and data management has emerged as a critical area of research, driven by the increasing complexity and interdependence of modern technological ecosystems.…

密码学与安全 · 计算机科学 2024-08-13 Marwan Omar

Cyber-Physical Systems (CPS) allow us to manipulate objects in the physical world by providing a communication bridge between computation and actuation elements. In the current scheme of things, this sought-after control is marred by…

In the construction industry, safety assessment is vital to ensure both the reliability of assets and the safety of workers. Scaffolding, a key structural support asset requires regular inspection to detect and identify alterations from the…

计算机视觉与模式识别 · 计算机科学 2025-09-29 Sameer Prabhu , Amit Patwardhan , Ramin Karim

Integrating mixed reality (MR) with artificial intelligence (AI) technologies, including vision, language, audio, reasoning, and planning, enables the AI-powered MR assistant [1] to substantially elevate human efficiency. This enhancement…

人机交互 · 计算机科学 2024-05-10 Yan-Ming Chiou , Bob Price , Chien-Chung Shen , Syed Ali Asif

Cyber Physical Systems (CPS) are becoming ubiquitous and affect the physical world, yet security is seldom at the forefront of their design. This is especially true of robotic control algorithms which seldom consider the effect of a cyber…

机器人学 · 计算机科学 2018-03-07 Alexander Ivanov , Mark Campbell