English
Related papers

Related papers: Green Resilience of Cyber-Physical Systems

200 papers

Collaborative problem solving (CPS) enables student groups to complete learning tasks, construct knowledge, and solve problems. Previous research has argued the importance to examine the complexity of CPS, including its multimodality,…

Artificial Intelligence · Computer Science 2022-10-31 Fan Ouyang , Weiqi Xu , Mutlu Cukurova

The open and cooperative nature of Cyber-Physical Systems (CPS) poses new challenges in assuring dependability. The DEIS project (Dependability Engineering Innovation for automotive CPS. This project has received funding from the European…

Critical infrastructures integrate a wide range of smart technologies and become highly connected to the cyber world. This is especially true for Cyber-Physical Systems (CPSs), which integrate hardware and software components. Despite the…

Cryptography and Security · Computer Science 2025-04-04 Romain Dagnas , Michel Barbeau , Joaquin Garcia-Alfaro , Reda Yaich

Given the rapid evolution of threats to cyber systems, new management approaches are needed that address risk across all interdependent domains (i.e., physical, information, cognitive, and social) of cyber systems. Further, the traditional…

Cryptography and Security · Computer Science 2018-06-11 Igor Linkov , Alexander Kott

The cooperative operation of grid-edge power and energy resources is crucial to improving the resilience of power systems during contingencies. However, given the complex cyber-physical nature of power grids, it is hard to respond timely…

Systems and Control · Electrical Eng. & Systems 2025-02-11 Xiang Huo , Shining Sun , Khandaker Akramul Haque , Leen Al Homoud , Ana E. Goulart , Katherine R. Davis

Research in the area of Cyber-Physical Systems (CPS) is hampered by the lack of available project environments in which to explore open challenges and to propose and rigorously evaluate solutions. In this "New Ideas and Emerging Results"…

Software Engineering · Computer Science 2018-04-10 Jane Cleland-Huang , Michael Vierhauser , Sean Bayley

In Cyber Physical Systems (CPSs), two groups of actors interact toward the maximization of system performance: the sensors, observing and disseminating the system state, and the actuators, performing physical decisions based on the received…

Systems and Control · Electrical Eng. & Systems 2024-01-23 Pietro Talli , Federico Mason , Federico Chiariotti , Andrea Zanella

Through the continued progress and advances of networking technology and also through efforts like Industry 4.0, SmartGrid, SmartCities, systems, that have been self-sustaining for the most part are now forming networked Cyber-physical…

Cryptography and Security · Computer Science 2016-09-22 Christoph Ponikwar

The threats faced by cyber-physical systems (CPSs) in critical infrastructure have motivated the development of different attack detection mechanisms, such as those that monitor for violations of invariants, i.e. properties that always hold…

Cryptography and Security · Computer Science 2020-10-08 Cheah Huei Yoong , Venkata Reddy Palleti , Arlindo Silva , Christopher M. Poskitt

We propose a hybrid probabilistic process calculus for modelling and reasoning on cyber-physical systems (CPSs). The dynamics of the calculus is expressed in terms of a probabilistic labelled transition system in the SOS style of Plotkin.…

Logic in Computer Science · Computer Science 2021-05-25 Ruggero Lanotte , Massimo Merro , Simone Tini

We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally…

Software Engineering · Computer Science 2021-10-06 Benjamin Lion , Farhad Arbab , Carolyn Talcott

We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally…

Systems and Control · Electrical Eng. & Systems 2022-03-28 Benjamin Lion , Farhad Arbab , Carolyn Talcott

Modern control systems are featured by their hierarchical structure composing of cyber, physical, and human layers. The intricate dependencies among multiple layers and units of modern control systems require an integrated framework to…

Systems and Control · Electrical Eng. & Systems 2019-10-22 Yunhan Huang , Juntao Chen , Linan Huang , Quanyan Zhu

Systems modeling practice lacks security analysis tools that can interface with modeling languages to facilitate security by design. Security by design is a necessity in the age of safety critical cyber-physical systems, where security…

Cryptography and Security · Computer Science 2020-10-19 Georgios Bakirtzis , Garrett L. Ward , Christopher J. Deloglos , Carl R. Elks , Barry M. Horowitz , Cody H. Fleming

Some hybrid systems models are unsafe for mathematically correct but physically unrealistic reasons. For example, mathematical models can classify a system as being unsafe on a set that is too small to have physical importance. In…

Logic in Computer Science · Computer Science 2019-09-17 Katherine Cordwell , André Platzer

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

Modern power systems are increasingly evolving Cyber-Physical Systems (CPS) that feature close interaction between Information and Communication Technology (ICT), physical and electrical devices, and human factors. The interactivity and…

Systems and Control · Electrical Eng. & Systems 2019-09-17 Zeyu Mao , Hao Huang , Katherine Davis

The sustainable use of common-pool resources (CPRs) is a major environmental governance challenge because of their possible over-exploitation. Research in this field has overlooked the feedback between user decisions and resource dynamics.…

Theoretical Economics · Economics 2021-10-04 Chengyi Tu , Paolo DOdorico , Zhe Li , Samir Suweis

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

Failures in safety-critical Cyber-Physical Systems (CPS), both software and hardware-related, can lead to severe incidents impacting physical infrastructure or even harming humans. As a result, extensive simulations and field tests need to…

Software Engineering · Computer Science 2025-01-28 Ankit Agrawal , Philipp Zech , Michael Vierhauser
‹ Prev 1 8 9 10 Next ›