English
Related papers

Related papers: A Compositional Approach to Safety-Critical Resili…

200 papers

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

Increasing reliance on Information and Communication Technology~(ICT) exposes the power grid to cyber-attacks. In particular, Coordinated Cyber-Attacks (CCAs) are considered highly threatening and difficult to defend against, because they…

Systems and Control · Computer Science 2018-05-31 Christian Moya , Jiankang Wang

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

Cyber-physical systems (CPS) encounter a large volume of data which is added to the system gradually in real time and not altogether in advance. As the volume of data increases, the domain of the control strategies also increases, and thus…

Optimization and Control · Mathematics 2022-11-29 Andreas A. Malikopoulos

Cyber-Physical Production Systems (CPPS) are long-living and mechatronic systems, which include mechanics, electrics/electronics and software. The interdisciplinary nature combined with challenges and trends in the context of Industry 4.0…

Software Engineering · Computer Science 2022-12-20 Birgit Vogel-Heuser , Juliane Fischer , Dieter Hess , Eva-Maria Neumann , Marcus Wuerr

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

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

The advantages of using communication networks to interconnect controllers and physical plants motivate the increasing number of Networked Control Systems, in industrial and critical infrastructure facilities. However, this integration also…

Cryptography and Security · Computer Science 2017-04-05 A. O. Sa , L. F. R. C. Carmo , R. C. S. Machado

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

Networked power grid systems are susceptible to a phenomenon known as Coherent Swing Instability (CSI), in which a subset of machines in the grid lose synchrony with the rest of the network. We develop network level evaluation metrics to…

Physics and Society · Physics 2019-05-24 Daniel Dylewsky , Xiu Yang , Alexandre Tartakovsky , J. Nathan Kutz

This paper considers the problem of decentralized analysis and control synthesis to verify and ensure properties like stability and dissipativity of a large-scale networked system comprised of linear subsystems interconnected in an…

Systems and Control · Electrical Eng. & Systems 2022-09-05 Shirantha Welikala , Hai Lin , Panos Antsaklis

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

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

In this draft article, we consider the problem of achieving safe control of a dynamic system for which the safety index or (control barrier function (loosely)) has relative degree equal to two. We consider parameter affine nonlinear dynamic…

Optimization and Control · Mathematics 2022-08-26 Jaskaran Singh Grover , Changliu Liu , Katia Sycara

Collaborative AI systems (CAISs) aim at working together with humans in a shared space to achieve a common goal. This critical setting yields hazardous circumstances that could harm human beings. Thus, building such systems with strong…

Human-Computer Interaction · Computer Science 2022-09-23 Jubril Gbolahan Adigun , Matteo Camilli , Michael Felderer , Andrea Giusti , Dominik T Matt , Anna Perini , Barbara Russo , Angelo Susi

Virtualization of computing and networking, IT-OT convergence, cybersecurity and AI-based enhancement of autonomy are significantly increasing the complexity of CPS and CPSoS. New challenges have emerged to demonstrate that these systems…

Systems and Control · Electrical Eng. & Systems 2021-04-28 Emmanuel Ledinot

Cyber-physical systems are becoming core of the most modern systems consisting control, data sharing and real-time monitoring. While centralized control technique has been implemented in the past, recent innovation in distributed control…

Systems and Control · Electrical Eng. & Systems 2021-06-28 Md Amimul Ehsan

Cyber Physical Systems (CPS) are becoming ubiquitous and affect the physical world, yet security is seldom at the forefront of their design. This is especially true of robotic control algorithms which seldom consider the effect of a cyber…

Robotics · Computer Science 2018-03-07 Alexander Ivanov , Mark Campbell

The essence of the microgrid cyber-physical system (CPS) lies in the cyclical conversion of information flow and energy flow. Most of the existing coupling models are modeled with static networks and interface structures, in which the…

Signal Processing · Electrical Eng. & Systems 2021-02-08 Xiaoyong Bo , Xiaoyu Chen , Huashun Li , Yunchang Dong , Zhaoyang Qu , Lei Wang , Yang Li

In this paper, we consider a class of denial-of-service (DoS) attacks, which aims at overloading the communication channel. On top of the security issue, continuous or periodic transmission of information within feedback loop is necessary…

Systems and Control · Electrical Eng. & Systems 2022-07-19 Niladri Sekhar Tripathy , Mohammadreza Chamanbaz , Roland Bouffanais