English
Related papers

Related papers: Applying and Extending the Delta Debugging Algorit…

200 papers

Provenance-based Intrusion Detection Systems (PIDSes) have been widely used to detect Advanced Persistent Threats (APTs). Although many studies achieve high performance in the evaluations of their original papers, their performance in…

Cryptography and Security · Computer Science 2026-03-25 Yue Xiao , Ling Jiang , Sen Nie , Ding Li , Shi Wu , Ke Xu , Qi Li

Deterministic replay is a method for allowing complex multitasking real-time systems to be debugged using standard interactive debuggers. Even though several replay techniques have been proposed for parallel, multi-tasking and real-time…

The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and smart cities. A critical attribute of CPS is robustness,…

Systems and Control · Electrical Eng. & Systems 2024-03-27 Changjian Zhang , Parv Kapoor , Romulo Meira-Goes , David Garlan , Eunsuk Kang , Akila Ganlath , Shatadal Mishra , Nejib Ammar

In this paper, we describe the algorithms we implemented in FDPS to make efficient use of accelerator hardware such as GPGPUs. We have developed FDPS to make it possible for many researchers to develop their own high-performance parallel…

Instrumentation and Methods for Astrophysics · Physics 2020-02-12 Masaki Iwasawa , Daisuke Namekata , Keigo Nitadori , Kentaro Nomura , Long Wang , Miyuki Tsubouchi , Junichiro Makino

We study the security of Cyber-Physical Systems (CPS) in the context of the supervisory control layer. Specifically, we propose a general model of a CPS attacker in the framework of discrete event systems and investigate the problem of…

Systems and Control · Electrical Eng. & Systems 2020-08-05 Romulo Meira-Goes , Eunsuk Kang , Raymond H. Kwong , Stephane Lafortune

Modern scientific repositories are growing rapidly in size. Scientists are increasingly interested in viewing the latest data as part of query results. Current scientific middleware cache systems, however, assume repositories are static.…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-09-21 Tanu Malik , Xiaodan Wang , Philip Little , Amitabh Chaudhary , Ani Thakar

Simulation tools and testbeds have been proposed to assess the performance of control designs and wireless protocols in isolation. A cyber-physical system (CPS), however, integrates control with network elements, which must be evaluated…

Networking and Internet Architecture · Computer Science 2021-04-19 Dominik Baumann , Fabian Mager , Harsoveet Singh , Marco Zimmerling , Sebastian Trimpe

Cyber-physical systems (CPS), in most instances, represent systems of systems with an informationally decentralized structure such as emerging mobility systems, networked control systems, sustainable manufacturing, smart power grids, power…

Optimization and Control · Mathematics 2024-05-15 Andreas Malikopoulos

Cyber-physical systems (CPSs) are used extensively in critical infrastructure, underscoring the need for anomaly detection systems that are able to catch even the most motivated attackers. Traditional anomaly detection techniques typically…

Cryptography and Security · Computer Science 2026-02-17 Qingyuan Hu , Christopher M. Poskitt , Jun Sun , Yuqi Chen

With the rapid advancement of information technology, the complexity of applications continues to increase, and the cybersecurity challenges we face are also escalating. This paper aims to investigate the methods and practices of system…

Cryptography and Security · Computer Science 2026-02-02 Chunyi Zhang , Jin Zeng , Xiaoqi Li

False alerts due to misconfigured/ compromised IDS in ICS networks can lead to severe economic and operational damage. To solve this problem, research has focused on leveraging deep learning techniques that help reduce false alerts.…

Artificial Intelligence · Computer Science 2022-03-14 Abhijeet Sahu , Katherine Davis

Fully test-time adaptation aims at adapting a pre-trained model to the test stream during real-time inference, which is urgently required when the test distribution differs from the training distribution. Several efforts have been devoted…

Machine Learning · Computer Science 2023-01-31 Bowen Zhao , Chen Chen , Shu-Tao Xia

Deep reinforcement learning (DRL) has shown success in diverse domains such as robotics, computer games, and recommendation systems. However, like any other software system, DRL-based software systems are susceptible to faults that pose…

Software Engineering · Computer Science 2024-10-08 Rached Bouchoucha , Ahmed Haj Yahmed , Darshan Patil , Janarthanan Rajendran , Amin Nikanjam , Sarath Chandar , Foutse Khomh

The design of cyber-physical systems (CPSs) faces various new challenges that are unheard of in the design of classical real-time systems. Power optimization is one of the major design goals that is witnessing such new challenges. The…

Other Computer Science · Computer Science 2016-02-01 Hyung-Chan An , Hoeseok Yang , Soonhoi Ha

Cyber-physical system (CPS) forecasting models depend on sensor streams with noisy, biased, missing, or temporally misaligned readings, yet standard forecasting evaluation often selects models by nominal error without showing whether they…

Machine Learning · Computer Science 2026-05-12 Alexander Windmann , Philipp Wittenberg , Gianluca Manca , Marcel Dix , Jens U. Brandt , Oliver Niggemann

Many physical plants that are controlled by embedded systems have safety requirements that need to be respected at all times - any deviations from expected behavior can result in damage to the system (often to the physical plant), the…

Cryptography and Security · Computer Science 2017-05-04 Fardin Abdi , Chien-Ying Chen , Monowar Hasan , Songran Liu , Sibin Mohan , Marco Caccamo

Deep neural networks (DNNs) are becoming a key component in diverse systems across the board. However, despite their success, they often err miserably; and this has triggered significant interest in formally verifying them. Unfortunately,…

Logic in Computer Science · Computer Science 2023-05-31 Raya Elsaleh , Guy Katz

Artificial intelligence and distributed algorithms have been widely used in mechanical fault diagnosis with the explosive growth of diagnostic data. A novel intelligent fault diagnosis system framework that allows intelligent terminals to…

Information Theory · Computer Science 2023-02-16 Liang Yu , Qixin Guo , Rui Wang , Minyan Shi , Fucheng Yan , Ran Wang

Cyber-Physical Systems (CPSs) are vastly used in today's cities critical infrastructure. The cyber part of these systems usually has a network component through which cyber attacks can be launched. In this paper, we first design an…

Cryptography and Security · Computer Science 2020-02-17 Soheila Barchinezhad , Mohammad Sayad Haghighi

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