English
Related papers

Related papers: A Generic Framework For Capturing Reliability in C…

200 papers

The rapid evolution of Cyber-Physical Systems (CPS) across various domains like mobility systems, networked control systems, sustainable manufacturing, smart power grids, and the Internet of Things necessitates innovative solutions that…

Optimization and Control · Mathematics 2024-06-25 Andreas A. Malikopoulos

Trust is an absolute necessity for digital communications; but is often viewed as an implicit singular entity. The use of the internet as the primary vehicle for information exchange has made accountability and verifiability of system code…

Cryptography and Security · Computer Science 2014-03-04 Orhio Mark Creado , Bala Srinivasan , Phu Dung Le , Jefferson Tan

The analysis of cyber-physical systems (CPS) is challenging due to the large state space and the continuous changes occurring in their constituent parts. Design practices favor modularity to help reducing this complexity. In a previous…

Logic in Computer Science · Computer Science 2022-08-03 Benjamin Lion , Farhad Arbab , Carolyn Talcott

Cyber-Physical Systems (CPS) often leverage Reinforcement Learning (RL) techniques to adapt dynamically to changing environments and optimize performance. However, it is challenging to construct safety cases for RL components. We therefore…

Software Engineering · Computer Science 2025-03-13 Katherine Dearstyne , Pedro , Alarcon Granadeno , Theodore Chambers , Jane Cleland-Huang

Foundation models are trained on a large amount of data to learn generic patterns. Consequently, these models can be used and fine-tuned for various purposes. Naturally, studying such models' use in the context of digital twins for…

Software Engineering · Computer Science 2025-07-03 Shaukat Ali , Paolo Arcaini , Aitor Arrieta

This paper summarizes the state of knowledge and ongoing research on methods and techniques for resilience evaluation, taking into account the resilience-scaling challenges and properties related to the ubiquitous computerized systems. We…

Performance · Computer Science 2012-11-27 Mohamed Kaaniche , Paolo Lollini , Andrea Bondavalli , Karama Kanoun

Cyber-physical systems (CPSs) are part of most critical infrastructures such as industrial automation and transportation systems. Thus, security incidents targeting CPSs can have disruptive consequences to assets and people. As prior…

Cryptography and Security · Computer Science 2019-07-02 Faeq Alrimawi , Liliana Pasquale , Deepak Mehta , Nobukazu Yoshioka , Bashar Nuseibeh

Simulation is a foundational tool for the analysis and testing of cyber-physical systems (CPS), underpinning activities such as algorithm development, runtime monitoring, and system verification. As CPS grow in complexity and scale,…

Software Engineering · Computer Science 2025-06-13 Quinn Thibeault , Giulia Pedrielli

Machine Learning (ML) has achieved great successes in recent decades, both in research and in practice. In Cyber-Physical Systems (CPS), ML can for example be used to optimize systems, to detect anomalies or to identify root causes of…

Machine Learning · Computer Science 2021-12-20 Henrik S. Steude , Alexander Windmann , Oliver Niggemann

Digital embedded systems in safety-critical cyber-physical-systems (CPSs) require high levels of resilience and robustness against different fault classes. In recent years, self-healing concepts based on biological physiology have received…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-27 Shawkat Khairullah , Carl Elks

The operation of a system, such as a vehicle, communication network or automatic process, heavily depends on the correct operation of its components. A Stochastic Binary System (SBS) mathematically models the behavior of on-off systems,…

Discrete Mathematics · Computer Science 2020-11-05 Héctor Cancela , Gustavo Guerberoff , Franco Robledo , Pablo Romero

System complexity has become ubiquitous in the design, assessment, and implementation of practical and useful cyber-physical systems. This increased complexity is impacting the management of models necessary for designing cyber-physical…

Software Engineering · Computer Science 2021-06-04 Georgios Bakirtzis , Tim Sherburne , Stephen Adams , Barry M. Horowitz , Peter A. Beling , Cody H. Fleming

In this paper, we study the impact of stealthy attacks on the Cyber-Physical System (CPS) modeled as a stochastic linear system. An attack is characterised by a malicious injection into the system through input, output or both, and it is…

Systems and Control · Electrical Eng. & Systems 2020-02-06 Tianju Sui , Yilin Mo , Damián Marelli , Ximing Sun , Minyue Fu

Cyber-physical systems (CPS) have experienced rapid growth in recent decades. However, like any other computer-based systems, malicious attacks evolve mutually, driving CPS to undesirable physical states and potentially causing…

Systems and Control · Electrical Eng. & Systems 2024-04-09 Pengyuan Lu , Lin Zhang , Mengyu Liu , Kaustubh Sridhar , Fanxin Kong , Oleg Sokolsky , Insup Lee

In this chapter, we introduce methods to address resiliency issues for control systems. The main challenge for control systems is its cyber-physical system nature which strongly couples the cyber systems with physical layer dynamics. Hence…

Systems and Control · Electrical Eng. & Systems 2021-05-19 Quanyan Zhu

Cyber-Physical Systems (CPS) provide enormous potential for innovation but a precondition for this is that the issue of dependability has been addressed. This paper presents the concept of a Digital Dependability Identity (DDI) of a…

Other Computer Science · Computer Science 2021-06-03 Daniel Schneider , Mario Trapp , Yiannis Papadopoulos , Eric Armengaud , Marc Zeller , Kai Hoefig

As machine learning (ML) systems increasingly permeate high-stakes settings such as healthcare, transportation, military, and national security, concerns regarding their reliability have emerged. Despite notable progress, the performance of…

Machine Learning · Computer Science 2023-08-01 Anthony Corso , David Karamadian , Romeo Valentin , Mary Cooper , Mykel J. Kochenderfer

Smart cities must integrate a number of interdependent cyber-physical systems that operate in a coordinated manner to improve the well-being of the city's residents. A cyber-physical system (CPS) is a system of computational elements…

Computer Science and Game Theory · Computer Science 2017-07-18 Aidin Ferdowsi , Walid Saad , Behrouz Maham , Narayan B. Mandayam

By achieving their purposes through interactions with the physical world, Cyber-Physical Systems (CPS) pose new challenges in terms of dependability. Indeed, the evolution of the physical systems they control with transducers can be…

Artificial Intelligence · Computer Science 2019-12-16 Gérald Rocher , Jean-Yves Tigli , Stéphane Lavirotte , Nhan Le Thanh

Cyber-physical systems (CPSs) constitute the backbone of critical infrastructures such as power grids or water distribution networks. Operating failures in these systems can cause serious risks for society. To avoid or minimize downtime,…

Cryptography and Security · Computer Science 2023-11-22 Nils Müller , Kaibin Bao , Jörg Matthes , Kai Heussen
‹ Prev 1 8 9 10 Next ›