English
Related papers

Related papers: Verification and Optimization of Cyber-Physical Sy…

200 papers

The reach and scale of Cyber Physical Systems (CPS) are expanding to many aspects of our everyday lives. Health, safety, transportation and education are a few areas where CPS are increasingly prevalent. There is a pressing need to secure…

Networking and Internet Architecture · Computer Science 2018-06-29 Filipo Sharevski , Sharief Oteafy

Cyber-Physical Systems (CPS) are complex systems that require powerful models for tasks like verification, diagnosis, or debugging. Often, suitable models are not available and manual extraction is difficult. Data-driven approaches then…

Artificial Intelligence · Computer Science 2025-08-21 Swantje Plambeck , Ali Salamati , Eyke Huellermeier , Goerschwin Fey

Cyber-physical systems (CPS) integrate sensing, computing, and control to improve infrastructure performance, focusing on economic goals like performance and safety. However, they often neglect potential human-centered (or ''social'')…

Computer Vision and Pattern Recognition · Computer Science 2025-10-07 Cheyu Lin , John Martins , Katherine A. Flanigan , Ph. D

Characterizing attacker behavior with respect to Cyber-Physical Systems is important to assuring the security posture and resilience of these systems. Classical cyber vulnerability assessment approaches rely on the knowledge and experience…

Cryptography and Security · Computer Science 2021-03-18 Christopher Deloglos , Carl Elks , Ashraf Tantawy

In times of Industry 4.0 and cyber-physical systems (CPS) providing security is one of the biggest challenges. A cyber attack launched at a CPS poses a huge threat, since a security incident may affect both the cyber and the physical world.…

Cryptography and Security · Computer Science 2019-05-16 Igor Ivkic , Andreas Mauthe , Markus Tauber

Conceptual view of fitness and fitness measurement of strategic decisions on information systems, technological systems and innovation are becoming more important in recent years. This paper determines some dynamics of fitness landscape…

Other Statistics · Statistics 2011-07-04 H. Kemal Ilter

Neural networks have been increasingly applied for control in learning-enabled cyber-physical systems (LE-CPSs) and demonstrated great promises in improving system performance and efficiency, as well as reducing the need for complex…

Systems and Control · Electrical Eng. & Systems 2020-10-19 Yixuan Wang , Chao Huang , Qi Zhu

The present article introduces a reference framework for discussing resilience of computational systems. Rather than a property that may or may not be exhibited by a system, resilience is interpreted here as the emerging result of a dynamic…

Systems and Control · Computer Science 2015-04-13 Vincenzo De Florio

This paper presents the cyber-physcial model of a computer-mediated control system that is a seamless, fully synergistic integration of the physical system and the cyber system, which provides a systematic framework for synthesis of…

Systems and Control · Electrical Eng. & Systems 2023-03-06 Lirong Huang

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

Environmentally-powered computer systems operate on renewable energy harvested from their environment, such as solar or wind, and stored in batteries. While harvesting environmental energy has long been necessary for small-scale embedded…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-05-02 Noman Bashir , Yasra Chandio , David Irwin , Fatima M. Anwar , Jeremy Gummeson , Prashant Shenoy

Nature is in constant flux, so animals must account for changes in their environment when making decisions. How animals learn the timescale of such changes and adapt their decision strategies accordingly is not well understood. Recent…

Neurons and Cognition · Quantitative Biology 2018-12-24 Zachary P. Kilpatrick , William R. Holmes , Tahra L. Eissa , Krešimir Josić

It has been challenging for the technical and regulatory communities to formulate requirements for trustworthiness of the cyber-physical systems (CPS) due to the complexity of the issues associated with their design, deployment, and…

Cryptography and Security · Computer Science 2018-03-21 Marcello Balduccini , Edward Griffor , Michael Huth , Claire Vishik , Martin Burns , David Wollman

Vast investments have recently been made worldwide in developing the Cyber-Physical System (CPS) technology with the expectations of improving economical and societal structures. However, great care must be paid to the CPS' complexity, the…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-17 Bagula Antoine , Tuyishimire Emmanuel , Ajayi Olasupo

Cyber physical systems CPSs embodies the conception as well as the implementation of the integration of the state-of-art technologies in sensing, communication, computing, and control. Such systems incorporate new trends such as cloud…

Computers and Society · Computer Science 2018-02-15 Walid Gomaa

Cyber-physical systems (CPSs) are now widely deployed in many industrial domains, e.g., manufacturing systems and autonomous vehicles. To further enhance the capability and applicability of CPSs, there comes a recent trend from both…

Software Engineering · Computer Science 2023-05-09 Xuan Xie , Jiayang Song , Zhehua Zhou , Fuyuan Zhang , Lei Ma

Cyber Physical Systems (CPS) are characterized by their ability to integrate the physical and information or cyber worlds. Their deployment in critical infrastructure have demonstrated a potential to transform the world. However, harnessing…

Cryptography and Security · Computer Science 2021-02-16 Felix Olowononi , Danda B. Rawat , Chunmei Liu

Validating the behavior of autonomous Cyber-Physical Systems (CPS) and Artificial Intelligence (AI) agents, which rely on automated controllers, is an objective of great importance. In recent years, Neural-Network (NN) controllers have been…

Robotics · Computer Science 2024-12-25 Khen Elimelech , Morteza Lahijanian , Lydia E. Kavraki , Moshe Y. Vardi

Current cyber-physical systems (CPS) are expected to accomplish complex tasks. To achieve this goal, high performance, but unverified controllers (e.g. deep neural network, black-box controllers from third parties) are applied, which makes…

Systems and Control · Electrical Eng. & Systems 2021-09-24 Bingzhuo Zhong , Majid Zamani , Marco Caccamo

Cyber-Physical Systems (CPSs) are often safety-critical and deployed in uncertain environments. Identifying scenarios where CPSs do not comply with requirements is fundamental but difficult due to the multidisciplinary nature of CPSs. We…

Software Engineering · Computer Science 2024-08-20 Claudio Mandrioli , Seung Yeob Shin , Martina Maggio , Domenico Bianculli , Lionel Briand