English
Related papers

Related papers: Architectural Transformations and Emerging Verific…

200 papers

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…

Systems and Control · Electrical Eng. & Systems 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…

Computer Vision and Pattern Recognition · Computer Science 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,…

Logic in Computer Science · Computer Science 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…

Programming Languages · Computer Science 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…

Cryptography and Security · Computer Science 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…

Software Engineering · Computer Science 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,…

Machine Learning · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Logic in Computer Science · Computer Science 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,…

Software Engineering · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Cryptography and Security · Computer Science 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…

Software Engineering · Computer Science 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…

Cryptography and Security · Computer Science 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…

Machine Learning · Computer Science 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.…

Cryptography and Security · Computer Science 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…

Software Engineering · Computer Science 2020-07-29 Muhammad Atif , Siddique Latif , Rizwan Ahmad , Adnan Khalid Kiani , Junaid Qadir , Adeel Baig , Hisao Ishibuchi , Waseem Abbas

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…

Computer Vision and Pattern Recognition · Computer Science 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…

Human-Computer Interaction · Computer Science 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…

Robotics · Computer Science 2018-03-07 Alexander Ivanov , Mark Campbell