English
Related papers

Related papers: Modeling Basic Aspects of Cyber-Physical Systems, …

200 papers

The development of cyber-physical system (CPS) is a big challenge because of its complexity and its complex requirements. Especially in Requirements Engineering (RE), there exist many redundant and conflict requirements. Eliminating…

Software Engineering · Computer Science 2017-05-10 Md. Masudur Rahman , Naushin Nower

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…

Logic in Computer Science · Computer Science 2018-03-09 Andre Metelo , Christiano Braga , Diego Brandão

The integration of machine learning (ML) into cyber-physical systems (CPS) offers significant benefits, including enhanced efficiency, predictive capabilities, real-time responsiveness, and the enabling of autonomous operations. This…

Software Engineering · Computer Science 2024-05-17 Xi Zheng , Aloysius K. Mok , Ruzica Piskac , Yong Jae Lee , Bhaskar Krishnamachari , Dakai Zhu , Oleg Sokolsky , Insup Lee

Cyber-physical systems have encountered a huge success in the past decade in several scientific communities, and specifically in production topics. The main attraction of the concept relies in the fact that it encompasses many scientific…

Software Engineering · Computer Science 2018-11-09 Olivier Cardin

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

In cyber-physical systems like automotive systems, there are components like sensors, actuators, and controllers that communicate asynchronously with each other. The computational model of actor supports modeling distributed asynchronously…

Systems and Control · Electrical Eng. & Systems 2024-12-20 Iman Jahandideh , Fatemeh Ghassemi , Marjan Sirjani

Datasets are essential to apply AI algorithms to Cyber Physical System (CPS) Security. Due to scarcity of real CPS datasets, researchers elected to generate their own datasets using either real or virtualized testbeds. However, unlike other…

Cryptography and Security · Computer Science 2022-08-18 Ashraf Tantawy

Cyber-physical systems (CPSs) facilitate the integration of physical entities and cyber infrastructures through the utilization of pervasive computational resources and communication units, leading to improved efficiency, automation, and…

Systems and Control · Electrical Eng. & Systems 2024-02-19 Zirui Liao , Jian Shi , Yuwei Zhang , Shaoping Wang , Zhiyong Sun

Robustness as a system property describes the degree to which a system is able to function correctly in the presence of disturbances, i.e., unforeseen or erroneous inputs. In this paper, we introduce a notion of robustness termed…

Systems and Control · Computer Science 2017-06-19 Matthias Rungger , Paulo Tabuada

The notion of Cyber-Physical-Social System (CPSS) is an emerging concept developed as a result of the need to understand the impact of Cyber-Physical Systems (CPS) on humans and vice versa. This paradigm shift from CPS to CPSS was mainly…

Artificial Intelligence · Computer Science 2021-04-15 Bereket Abera Yilma , Hervé Panetto , Yannick Naudet

Effective progress monitoring is crucial for the successful delivery of the construction project within the stipulated time and budget. Construction projects are often monitored irregularly through time-consuming physical site visits by…

Robotics · Computer Science 2024-02-13 Srijeet Halder , Kereshmeh Afsari , Abiola Akanmu

We provide an overview of the emergence of large language models for scientific computing applications. We highlight use cases that involve natural language processing of scientific documents and specialized languages designed to describe…

Computation and Language · Computer Science 2024-06-12 Christopher Culver , Peter Hicks , Mihailo Milenkovic , Sanjif Shanmugavelu , Tobias Becker

Cyber-Physical Systems (CPS) revolutionize various application domains with integration and interoperability of networking, computing systems, and mechanical devices. Due to its scale and variety, CPS faces a number of challenges and opens…

Networking and Internet Architecture · Computer Science 2017-01-09 Pradeeban Kathiravelu , Luís Veiga

Cyber-Physical Systems (CPS) now support critical infrastructure spanning transportation, energy, manufacturing, medical devices, and autonomous robotics. Their defining characteristic is the tight coupling between digital computation and…

Systems and Control · Electrical Eng. & Systems 2025-12-25 Rahul Bulusu

We propose a hybrid process calculus for modelling and reasoning on cyber-physical systems (CPS{s}). The dynamics of the calculus is expressed in terms of a labelled transition system in the SOS style of Plotkin. This is used to define a…

Logic in Computer Science · Computer Science 2018-07-10 Ruggero Lanotte , Massimo Merro

Building Automation Systems (BAS) are exemplars of Cyber-Physical Systems (CPS), incorporating digital control architectures over underlying continuous physical processes. We provide a modular model library for BAS drawn from expertise…

Systems and Control · Computer Science 2018-04-18 Nathalie Cauchi , Alessandro Abate

Cyber-Physical System (CPS) represents systems that join both hardware and software components to perform real-time services. Maintaining the system's reliability is critical to the continuous delivery of these services. However, the CPS…

Software Engineering · Computer Science 2023-11-10 Diaeddin Rimawi

Cyber-physical space systems are engineered systems operating within physical space with design requirements that depend on space, e.g., regarding location or movement behavior. They are built from and depend upon the seamless integration…

Software Engineering · Computer Science 2020-07-15 Nianyu Li , Christos Tsigkanos , Zhi Jin , Zhenjiang Hu , Carlo Ghezzi

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…

Cryptography and Security · Computer Science 2019-11-11 Michel Barbeau , Georg Carle , Joaquin Garcia-Alfaro , Vicenç Torra

In this paper, we address two main problems in the context of covert cyber-attacks in cyber-physical systems (CPS). First, we aim to investigate and develop necessary and sufficient conditions in terms of disruption resources of the CPS…

Systems and Control · Electrical Eng. & Systems 2025-12-10 Mahdi Taheri , Khashayar Khorasani , Nader Meskin